Commit graph

10 commits

Author SHA1 Message Date
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