1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-05 20:12:52 +00:00
Commit graph

17 commits

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