summary refs log tree commit diff
path: root/pkgs/development/coq-modules/fiat/HEAD.nix
Commit message (Expand)AuthorAge
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* coqPackages: refactorCyril Cohen2021-01-09
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* 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.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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-05 05:31:50 +0000