Kirill Boltaev
|
e61663a233
|
treewide: move to ocaml-ng system
|
2016-09-26 02:36:49 +03:00 |
|
Tuomas Tynkkynen
|
21f17d69f6
|
treewide: Add lots of meta.platforms
Build-tested on x86_64 Linux & Mac.
|
2016-08-02 21:42:43 +03:00 |
|
Russell O'Connor
|
4cc5f5dbb6
|
coq: Add csdp dependency
The csdp program is invoked for some uses of Micromega tactics.
|
2015-09-10 11:50:38 -04:00 |
|
Vincent Laporte
|
1d72ce49cf
|
coq-8.3: fix (needs make 3)
|
2015-06-25 08:55:31 +02:00 |
|
Vincent Laporte
|
3d049938c8
|
Adds some “branch” meta-data
|
2014-11-06 19:40:50 +00:00 |
|
Vincent Laporte
|
fde68228d9
|
coq: setup-hook for libraries
Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in
lib/coq/${coq-version}/user-contrib/
|
2014-09-28 14:03:14 +01:00 |
|
Russell O'Connor
|
525b8015e7
|
Fixing configure patch for coq 8.3.
|
2012-08-19 01:11:11 -04:00 |
|
Russell O'Connor
|
eafd2008f1
|
Correcting filename.
|
2012-08-19 01:06:15 -04:00 |
|