summary refs log tree commit diff
path: root/pkgs/development/coq-modules/fiat
Commit message (Expand)AuthorAge
* coqPackages_8_5.fiat_HEAD: fix buildVincent Laporte2018-11-06
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"John Wiegley2018-10-10
* coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27John Wiegley2018-03-05
* coqPackages: move to a separate file and filter the package setVincent Laporte2017-12-18
* coqPackages_8_4.fiat: removeVincent Laporte2017-12-02
* coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6Vincent Laporte2017-10-22
* Use consistent package naming for HEAD.nix filesrht2017-05-09
* coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2John Wiegley2016-10-31
* coq-fiat: do not run tests on i686Vincent Laporte2015-07-09
* coqPackages.fiat: disable parallel build to fix buildPascal Wittmann2015-06-10
* meta.description fixupsJoachim Fasting2015-04-30
* coqPackages.fiat: enable building the examples as a testJohn Wiegley2015-01-09
* coqPackages.fiat: correct installation directoryJohn Wiegley2015-01-09
* coqPackages.fiat: new expressionJohn Wiegley2015-01-09
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-06 21:58:34 +0000