nixpkgs/pkgs/development/coq-modules
2023-11-01 07:07:41 +01:00
..
aac-tactics coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
addition-chains coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
autosubst coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
bignums coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
category-theory coqPackages_8_17: enable a few packages for Coq 8.17 2023-04-13 14:23:14 +02:00
ceres coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
Cheerios coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
CoLoR coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
compcert compcert: add aarch64 support 2023-09-19 13:30:30 +02:00
contribs treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
coq-bits treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
coq-elpi coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
coq-ext-lib coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
coq-haskell treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
coq-lsp coqPackages.coq-lsp: 0.1.7 -> 0.1.8 2023-10-26 10:13:24 +02:00
coq-record-update coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
coqeal Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
coqhammer coqPackages.coqhammer: fix src URL 2023-02-28 10:59:42 +00:00
coqide treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
coqprime coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
coqtail-math treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
coquelicot coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
corn coqPackages.corn: 8.16.0 → 8.18.0 2023-10-25 07:56:54 +02:00
deriving coqPackages.deriving: 0.1.1 -> 0.2.0 (#258038) 2023-10-17 16:24:58 +02:00
dpdgraph coqPackages_8_17.dpdgraph: init at 1.0+8.17 2023-05-22 06:40:31 +02:00
equations coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
extructures Update pkgs/development/coq-modules/extructures/default.nix 2023-10-25 18:19:16 +02:00
fiat treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
flocq coqPackages.flocq: 4.1.1 → 4.1.3 2023-09-21 11:02:55 +02:00
fourcolor fourcolor: 1.3.0 -> 1.3.1 2023-10-31 08:17:03 +01:00
gaia treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
gaia-hydras treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
gappalib coqPackages.gappalib: 1.5.2 → 1.5.3 2023-06-07 10:35:09 +02:00
goedel treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
graph-theory coqPackages: various 8.16 -> 8.17 2023-03-09 13:13:00 +01:00
heq treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
hierarchy-builder coqPackages.hierarchy-builder: 1.4.0 → 1.5.0 2023-08-28 07:36:16 +02:00
HoTT coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
hydra-battles treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
InfSeqExt coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
interval coqPackages.interval: 4.7.0 → 4.8.0 2023-07-28 08:26:05 +02:00
iris coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1 2023-10-13 13:15:46 +02:00
itauto coqPackages.itauto: enable for Coq 8.18 2023-09-21 11:02:55 +02:00
ITree coqPackages.ITree: 5.1.0 → 5.1.1 2023-07-11 23:39:52 +02:00
LibHyps coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
ltac2 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
math-classes coqPackages.math-classes: 8.17.0 → 8.18.0 2023-10-25 07:56:54 +02:00
mathcomp Add mathcomp 2.1.0 2023-10-25 17:45:56 +02:00
mathcomp-abel treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
mathcomp-algebra-tactics Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
mathcomp-analysis treewide: use lib.optional instead of 'then []' 2023-07-12 09:36:28 +01:00
mathcomp-apery Add coqPackages.mathcomp-apery 2023-03-30 13:55:40 +02:00
mathcomp-bigenough coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
mathcomp-finmap Add a few packages for Coq 8.18 and MathComp 2.0 2023-09-04 10:02:59 +02:00
mathcomp-infotheo mathcomp-infotheo: 0.5.1 -> 0.5.2 2023-06-20 21:18:53 +02:00
mathcomp-real-closed Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
mathcomp-tarjan Add a few packages for Coq 8.18 and MathComp 2.0 2023-09-04 10:02:59 +02:00
mathcomp-word coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
mathcomp-zify Add a few packages for Coq 8.18 and MathComp 2.0 2023-09-04 10:02:59 +02:00
metacoq treewide: use lib.optional instead of 'then []' 2023-07-12 09:36:28 +01:00
metalib coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
multinomials Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
odd-order treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
paco coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
paramcoq coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
parsec coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
pocklington treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
QuickChick coqPackages.QuickChick: 1.6.4 → 1.6.5 2023-06-08 08:55:44 +02:00
reglang Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
relation-algebra coqPackages.relation-algebra: init at 1.7.9 for Coq 8.17 2023-06-07 11:51:39 +02:00
semantics coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
serapi coqPackages.serapi: fix build with Coq 8.16 2023-09-26 14:10:44 +02:00
simple-io coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
smpl treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
smtcoq coqPackages.smtcoq.cvc4: fix build with bash 5.2 2023-03-01 10:02:09 +00:00
stdpp coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1 2023-10-13 13:15:46 +02:00
StructTact coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
tlc treewide: use use lib.optionalAttrs instead of 'then {}' 2023-06-06 22:54:31 +02:00
topology topology: 9.0.0 -> 10.2.0 2023-09-04 10:02:59 +02:00
trakt coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
vcfloat coqPackages.vcfloat: init at 2.1.1 2023-09-29 23:57:07 +02:00
Velisarios treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Verdi coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
VST coqPackages.VST: 2.11.1 → 2.12 2023-11-01 07:07:41 +01:00
zorns-lemma topology: 9.0.0 -> 10.2.0 2023-09-04 10:02:59 +02:00