about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2022-06-23coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16Vincent Laporte1-1/+2
2022-06-18mkCoqDerivation: do not set DESTDIRVincent Laporte1-0/+3
2022-06-13coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16Vincent Laporte2-2/+2
2022-06-13coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte7-8/+8
2022-06-13coqPackages.simple-io: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.StructTact: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.coqprime: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.coq-record-update: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.LibHyps: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.ITree: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.math-classes: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.metalib: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.parsec: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.semantics: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.iris: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.stdpp: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.CoLoR: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.tlc: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.paco: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.coq-ext-lib: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-08coq_8_16: init at 8.16+rc1Pierre Roux1-0/+1
2022-06-08coqPackages.coq-elpi: 1.13.0 → 1.14.0Vincent Laporte1-3/+4
2022-06-03compcert: add support for Coq 8.15.2Vincent Laporte1-0/+5
2022-06-03coqPackages.VST: fix build with Coq 8.15.2Vincent Laporte1-1/+1
2022-05-25coqPackages: etcCyril Cohen29-87/+73
2022-05-16coqPackages.interval: 4.4.0 -> 4.5.1Ben Siraphob1-2/+2
2022-05-13Revert "coqPackages: etc"Vincent Laporte29-74/+88
2022-05-13Revert "moving findlib to propagedNativeBuildInputs"Vincent Laporte1-1/+1
2022-05-12moving findlib to propagedNativeBuildInputsCyril Cohen1-1/+1
2022-05-12coqPackages: etcCyril Cohen29-88/+74
2022-05-07coqPackages.mathcomp-tarjan: enable with Coq 8.15Vincent Laporte1-1/+1
2022-05-07coqPackages.semantics: enable with Coq 8.15Vincent Laporte1-1/+1
2022-05-07coqPackages.smpl: init at 8.14 & 8.15Vincent Laporte1-0/+4
2022-05-07coqPackages.itauto: init at 8.14.0 & 8.15.0Vincent Laporte1-0/+4
2022-05-07coqPackages.smtcoq: disable for Coq > 8.13Vincent Laporte1-2/+2
2022-05-07coqPackages.goedel: enable with Coq 8.15Vincent Laporte1-1/+1
2022-05-07coqPackages.category-theory: enable with Coq 8.15Vincent Laporte1-1/+1
2022-05-07coqPackages.graph-theory: enable for Coq 8.15Vincent Laporte1-1/+1
2022-05-07coqPackages.QuickChick: 1.5.0 → 1.6.2Vincent Laporte1-2/+11
2022-05-03coqPackages.metacoq: create package (#162639)Kenji Maillard1-0/+76
2022-04-30Merge branch 'master' into staging-next-2022-04-23Vladimír Čunát3-5/+18
2022-04-29coqPackages.simple-io: 1.3.0 → 1.7.0Vincent Laporte1-3/+10
2022-04-29coqPackages.parsec: 0.1.0 → 0.1.1Vincent Laporte1-2/+6
2022-04-28coqPackages.tlc: 20210316 → 20211215Vincent Laporte1-0/+2
2022-04-27Merge branch 'master' into staging-next-2022-04-23Vladimír Čunát2-4/+13
2022-04-27coqPackages.coqtail-math: 20201124 → 8.14Vincent Laporte1-1/+6
2022-04-27coqPackages.metalib: clean & init at 8.15Vincent Laporte1-3/+7
2022-04-26Merge master into staging-nextgithub-actions[bot]1-1/+2
2022-04-26coqPackages.mathcomp-word: 1.0 → 1.1Vincent Laporte1-1/+2
2022-04-22Merge pull request #166605 from siraben/remove-redundant-stdenvArtturi1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-15 05:41:13 +0000