summary refs log tree commit diff
path: root/pkgs/development/coq-modules/fiat
AgeCommit message (Expand)AuthorFilesLines
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-2/+2
2022-05-25coqPackages: etcCyril Cohen1-2/+2
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-2/+2
2022-05-12coqPackages: etcCyril Cohen1-2/+2
2021-01-09coqPackages: refactorCyril Cohen1-18/+13
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2018-11-06coqPackages_8_5.fiat_HEAD: fix buildVincent Laporte1-2/+3
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann1-1/+1
2018-10-10Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"John Wiegley1-8/+7
2018-03-05coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27John Wiegley1-7/+8
2017-12-18coqPackages: move to a separate file and filter the package setVincent Laporte1-1/+3
2017-12-02coqPackages_8_4.fiat: removeVincent Laporte1-41/+0
2017-10-22coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6Vincent Laporte1-0/+1
2017-05-09Use consistent package naming for HEAD.nix filesrht1-2/+2
2016-10-31coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2John Wiegley1-0/+35
2015-07-09coq-fiat: do not run tests on i686Vincent Laporte1-1/+1
2015-06-10coqPackages.fiat: disable parallel build to fix buildPascal Wittmann1-1/+1
2015-04-30meta.description fixupsJoachim Fasting1-1/+1
2015-01-09coqPackages.fiat: enable building the examples as a testJohn Wiegley1-3/+3
2015-01-09coqPackages.fiat: correct installation directoryJohn Wiegley1-1/+1
2015-01-09coqPackages.fiat: new expressionJohn Wiegley1-0/+41
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-03 07:38:28 +0000