nixpkgs/pkgs/development/coq-modules
Vincent Laporte 7a9a124cad coqPackages.ExtLib: 0.12.1 → 0.12.2
Rename package from `coq-ext-lib` to `ExtLib`.
2024-11-07 14:55:06 +01:00
..
aac-tactics coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
addition-chains
async-test coqPackages.http: init at 0.2.1 2024-08-26 12:02:42 +02:00
atbr coqPackages.atbr: init at 8.20.0 2024-08-22 10:36:04 +02:00
autosubst coq.autosubst: 1.8 -> 1.9 2024-09-20 11:49:34 +02:00
bbv coqPackages.bbv: init at 1.5 2024-08-27 11:47:40 +02:00
bignums coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
category-theory treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
ceres coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
Cheerios coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
coinduction coqPackages.coinduction: init at 1.9 2024-08-07 15:44:13 +02:00
CoLoR coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
compcert compcert: add support for Coq 8.20.0 2024-10-04 12:57:01 +02:00
contribs
coq-bits treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
coq-elpi Fixing coqPackages_8_19.coq-elpi 2024-10-14 14:04:52 +02:00
coq-hammer treewide: remove unused lib (and other) arguments 2024-07-26 11:18:09 +02:00
coq-haskell treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
coq-lsp coqPackages.coq-lsp: 0.2.0 -> 0.2.2 2024-10-07 05:36:37 +02:00
coq-record-update coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
coqeal coq-elpi: 2.0.1 -> 2.2.0 (#323590) 2024-07-01 08:04:15 +02:00
coqhammer Warn about deprecated coqhammer 2024-07-23 13:40:16 +02:00
coqide coqPackages.coqide: fix desktopItems 2024-10-01 23:08:21 +02:00
coqprime pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
coqtail-math
coquelicot coqPackages.coquelicot: 3.4.1 → 3.4.2 2024-08-01 12:02:51 +02:00
coqutil coqPackages.coqutil: init at {0.0.5,0.0.6} (#349174) 2024-10-17 11:08:52 +02:00
corn coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
deriving coq-elpi: 2.0.1 -> 2.2.0 (#323590) 2024-07-01 08:04:15 +02:00
dpdgraph coqPackages_8_19.dpdgraph: init at 1.0+8.19 2024-03-28 06:24:51 +01:00
ElmExtraction coqPackages.ElmExtraction: init at 0.1.0 (#326305) 2024-09-11 05:51:15 +02:00
equations coqPackages.equations: 1.3.1 for Coq 8.20 2024-07-23 06:47:20 +02:00
ExtLib coqPackages.ExtLib: 0.12.1 → 0.12.2 2024-11-07 14:55:06 +01:00
extructures coq-elpi: 2.0.1 -> 2.2.0 (#323590) 2024-07-01 08:04:15 +02:00
fiat treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
flocq pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
fourcolor treewide: remove trailing space in description 2024-07-26 03:38:50 +02:00
gaia coqPackages.gaia: 1.17 -> 2.2 2024-08-01 17:13:09 +02:00
gaia-hydras coqPackages_8_16: fix evaluation with math-comp ≥ 2.0 2023-12-05 06:56:28 +01:00
gappalib coqPackages.gappalib: enable for Coq 8.20 2024-09-11 10:20:13 +02:00
goedel treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
graph-theory coq-elpi: 2.0.1 -> 2.2.0 (#323590) 2024-07-01 08:04:15 +02:00
heq
hierarchy-builder coqPackages.hierarchy-builder: do not pass VFILES if version >= 1.1.0 (#341171) 2024-09-12 21:09:04 +02:00
high-school-geometry coqPackages.high-school-geometry: init at 8.16 2024-07-24 23:57:23 +08:00
HoTT coqPackages.HoTT: 8.19 -> 8.20 2024-09-30 21:01:31 +02:00
http coqPackages.http: init at 0.2.1 2024-08-26 12:02:42 +02:00
hydra-battles coqPackages.{hydra-battles,gaia-hydras}: 0.6 → 0.9 2023-11-30 09:40:04 +01:00
InfSeqExt coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
interval coqPackages.interval: 4.10.0 → 4.11.0 2024-08-14 10:36:09 +02:00
iris coqPackages.stdpp: 1.10.0 → 1.11.0 2024-10-31 20:48:48 +01:00
iris-named-props coqPackages.stdpp: 1.9.0 → 1.10.0 2024-04-15 10:13:00 +02:00
itauto coqPackages_8_20.itauto: init at 8.20.0 2024-09-11 10:20:13 +02:00
ITree coqPackages.ExtLib: 0.12.1 → 0.12.2 2024-11-07 14:55:06 +01:00
itree-io coqPackages.itree-io: init at 0.1.1 2024-08-26 12:02:42 +02:00
json coqPackages.json: 0.1.3 -> 0.2.0 2024-10-14 15:20:35 +02:00
LibHyps coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
ltac2 pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
math-classes coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
mathcomp Merge pull request #331530 from proux01/mc2-default 2024-08-20 08:10:55 +02:00
mathcomp-abel coqPackages_8_10.mathcomp-abel: remove with statements 2024-08-18 06:31:15 -07:00
mathcomp-algebra-tactics coq-elpi: 2.0.1 -> 2.2.0 (#323590) 2024-07-01 08:04:15 +02:00
mathcomp-analysis coqPackages.mathcomp-analysis: rename altreals to experimental-reals 2024-11-06 09:56:01 +01:00
mathcomp-apery treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp-bigenough coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
mathcomp-finmap coq-elpi: 2.0.1 -> 2.2.0 (#323590) 2024-07-01 08:04:15 +02:00
mathcomp-infotheo coqPackages.mathcomp-analysis: 1.4.0 → 1.5.0 2024-10-28 07:20:47 +01:00
mathcomp-real-closed coq-elpi: 2.0.1 -> 2.2.0 (#323590) 2024-07-01 08:04:15 +02:00
mathcomp-tarjan coq-elpi: 2.0.1 -> 2.2.0 (#323590) 2024-07-01 08:04:15 +02:00
mathcomp-word coqPackages: Enable override with dev branches (#329356) 2024-07-23 11:49:28 +02:00
mathcomp-zify coq-elpi: 2.0.1 -> 2.2.0 (#323590) 2024-07-01 08:04:15 +02:00
MenhirLib coqPackages.json: init at 0.1.3 2024-08-26 12:02:42 +02:00
metacoq MetaCoq sub-packages dependencies 2024-10-31 11:09:26 +01:00
metalib
mtac2 coqPackages.mtac2: init at 1.4-coq8.19 2024-09-16 09:58:24 +02:00
multinomials coqPackages.multinomials switched back to coq_makefile 2024-07-16 10:20:41 +02:00
odd-order
paco coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
paramcoq coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
parsec coqPackages.ExtLib: 0.12.1 → 0.12.2 2024-11-07 14:55:06 +01:00
pocklington coq_8_19: init at 8.19+rc1 2023-12-19 14:41:20 +01:00
QuickChick coqPackages.ExtLib: 0.12.1 → 0.12.2 2024-11-07 14:55:06 +01:00
reglang reglang 1.2.1 compiles with Coq 8.20 2024-08-01 10:11:13 +02:00
relation-algebra coqPackages.relation-algebra: 1.7.9 -> 1.7.11 2024-10-24 16:41:26 +02:00
rewriter coqPackages.rewriter: init at 0.0.11 2024-08-28 14:39:54 +02:00
RustExtraction coqPackages.RustExtraction: init at 0.1.0 2024-10-15 08:58:49 +02:00
semantics treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
serapi coqPackages_8_20.serapi: init at 8.20.0+0.20.0 2024-09-11 10:20:13 +02:00
simple-io coqPackages.ExtLib: 0.12.1 → 0.12.2 2024-11-07 14:55:06 +01:00
smpl treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
smtcoq pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
ssprove coqPackages.ssprove: 0.2.0 → 0.2.1 2024-09-11 13:20:18 +02:00
stalmarck coqPackages.stalmarck: init at 8.20.0 2024-08-07 12:15:20 +02:00
stdpp coqPackages.stdpp: 1.10.0 → 1.11.0 2024-10-31 20:48:48 +01:00
StructTact coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
tlc coqPackages: Enable override with dev branches (#329356) 2024-07-23 11:49:28 +02:00
topology pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
trakt treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
unicoq coqPackages.mtac2: init at 1.4-coq8.19 2024-09-16 09:58:24 +02:00
vcfloat treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
Velisarios
Verdi treewide: remove unnecessary patching of configure script 2023-11-25 18:16:12 +02:00
Vpl coqPackages.Vpl: fix meta 2024-04-02 07:06:45 +02:00
VplTactic treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
vscoq-language-server coqPackages.vscoq-language-server: 2.1.4 → 2.1.7 2024-09-18 17:25:13 +02:00
VST compcert: add support for Coq 8.19.2 2024-06-17 09:15:12 +02:00
waterproof coqPackages.waterproof: init at 2.1.1+8.18 2024-08-27 16:00:55 +02:00
zorns-lemma coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00