From b66c3a06caed8a5e240c439d2dafa99ae1f954b6 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Mon, 7 Dec 2015 12:37:45 +0100 Subject: Use a fork of native-coq --- INSTALL.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index 9de0b49..f1929fc 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -10,11 +10,11 @@ amd64). ## Installation from the sources Currently, SMTCoq can be built only from the sources, using the -[version of Coq with native data-structures](https://github.com/maximedenes/native-coq). The design of an opam package is under progress. +[version of Coq with native data-structures](https://github.com/smtcoq/native-coq). The design of an opam package is under progress. 1. Download the git version of Coq with native compilation: ``` -git clone git://github.com/maximedenes/native-coq.git +git clone https://github.com/smtcoq/native-coq.git ``` and compile it by following the instructions available in the repository. We recommand that you do not install it, but only compile -- cgit