Commit b276eaed authored by Raphael Cauderlier's avatar Raphael Cauderlier
Browse files

Version numbers of dependencies

parent dc9955be
...@@ -55,11 +55,11 @@ The following tools are required to compile the MathTransfer library: ...@@ -55,11 +55,11 @@ The following tools are required to compile the MathTransfer library:
- Zenon Modulo version 0.4.3 Focalide - Zenon Modulo version 0.4.3 Focalide
- Dktactics - Dktactics version 0.2
Dktactics is a tactic language for Dedukti Dktactics is a tactic language for Dedukti
- Zenon Transfer - Zenon Transfer version 0.4.3
Zenon Transfer is a patched version of Zenon Modulo that does not Zenon Transfer is a patched version of Zenon Modulo that does not
perform proof search by itself (unlike Zenon Modulo) but uses perform proof search by itself (unlike Zenon Modulo) but uses
...@@ -106,7 +106,7 @@ other dependencies by typing ...@@ -106,7 +106,7 @@ other dependencies by typing
#+BEGIN_SRC bash #+BEGIN_SRC bash
$ opam repository add deducteam https://gforge.inria.fr/git/opam-deducteam/opam-deducteam.git $ opam repository add deducteam https://gforge.inria.fr/git/opam-deducteam/opam-deducteam.git
$ opam update $ opam update
$ opam install focalize=0.9.2 dedukti=2.5 sukerujo=2.5 zenon_modulo_focalide=0.4.3 coq=8.4.6 coqine=0.4 holide=0.2.1~holala $ opam install math_transfer=0.1
#+END_SRC #+END_SRC
** Building the library ** Building the library
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment