Vincent Laporte
|
c71cc0b98b
|
coqPackages.coqprime: init at 8.7.2 & 8.8
|
2018-10-01 10:11:24 +00:00 |
|
Vincent Laporte
|
23900febe7
|
coq: 8.8.1 -> 8.8.2 (#47388)
|
2018-09-26 22:26:39 +02:00 |
|
Vincent Laporte
|
9edd1875bc
|
coq_8_6: use OCaml 4.05
|
2018-08-29 12:49:32 +00:00 |
|
Vincent Laporte
|
9b76bf991f
|
coq_8_5: use OCaml 4.05
|
2018-08-29 12:49:31 +00:00 |
|
Vincent Laporte
|
4f0db5d0ad
|
coq: default to version 8.8
|
2018-08-13 20:43:49 +00:00 |
|
Théo Zimmermann
|
314eb884ec
|
coq_8_8: 8.8.0 -> 8.8.1
|
2018-06-29 11:10:31 +02:00 |
|
Vincent Laporte
|
571a1e19e9
|
coqPackages.iris: init at 3.1.0 (#40909)
|
2018-05-22 19:26:32 +02:00 |
|
Vincent Laporte
|
42462d7b66
|
coqPackages.stdpp: init at 1.1
|
2018-05-15 20:55:53 +00:00 |
|
Vincent Laporte
|
76a43d765c
|
coq: 8.8+beta1 -> 8.8.0
|
2018-04-18 14:37:04 +02:00 |
|
Vincent Laporte
|
6845b248d9
|
coq: init at 8.8+beta1
|
2018-03-21 18:06:28 +00:00 |
|
John Wiegley
|
90252481bf
|
coq: 8.7.1 -> 8.7.2
|
2018-02-15 23:12:43 -08:00 |
|
Vincent Laporte
|
202fb6faea
|
coq: default to 8.7
|
2018-02-07 19:28:38 +00:00 |
|
Vincent Laporte
|
a9d066a990
|
coqPackages.tlc: init at 20171206
TLC is a general purpose Coq library that provides an alternative to Coq's
standard library.
Homepage: http://www.chargueraud.org/softs/tlc/
|
2017-12-28 08:19:54 +01:00 |
|
Vincent Laporte
|
25576df64c
|
coqPackages.contribs: recurse into the nested set
|
2017-12-22 16:56:20 +00:00 |
|
John Wiegley
|
2134543064
|
coqPackages.contribs: new set with all packages from coq-contribs
|
2017-12-21 10:26:56 -08:00 |
|
John Wiegley
|
f962f33593
|
Specify the coq version in a more consistent location
|
2017-12-21 01:24:35 -08:00 |
|
Vincent Laporte
|
fcb89df111
|
coqPackages.multinomials: init at 1.0
|
2017-12-18 15:30:38 +00:00 |
|
Vincent Laporte
|
4c454a3208
|
coq: minor cleaning
|
2017-12-18 15:30:36 +00:00 |
|
Vincent Laporte
|
d9f41a5bce
|
coqPackages: move to a separate file and filter the package set
|
2017-12-18 15:30:36 +00:00 |
|