nixpkgs/pkgs/development/coq-modules
Pierre Roux 62ecaec63a
coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 (#361371)
* coqPackages.mathcomp-infotheo: 0.7.3 -> 0.7.5
* coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0
2024-12-04 14:58:29 +01:00
..
aac-tactics
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
autosubst-ocaml coqPackages_8_19.autosubst-ocaml: init at 1.1 2024-11-14 06:36:11 +01:00
bbv coqPackages.bbv: init at 1.5 2024-08-27 11:47:40 +02:00
bignums
category-theory
ceres
Cheerios
coinduction coqPackages.coinduction: init at 1.9 2024-08-07 15:44:13 +02:00
CoLoR
compcert compcert: add support for Coq 8.20.0 2024-10-04 12:57:01 +02:00
contribs
coq-bits
coq-elpi Fixing coqPackages_8_19.coq-elpi 2024-10-14 14:04:52 +02:00
coq-hammer
coq-haskell
coq-lsp coqPackages_8_16.coq-lsp: fix for recent findlib 2024-11-14 21:22:42 +01:00
coq-record-update
coqeal
coqhammer
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
deriving
dpdgraph coqPackages_8_20.dpdgraph: init at 1.0+8.20 2024-11-19 21:37:32 +01:00
ElmExtraction coqPackages.ElmExtraction: init at 0.1.0 (#326305) 2024-09-11 05:51:15 +02:00
equations
ExtLib coqPackages.ExtLib: 0.12.1 → 0.12.2 2024-11-07 14:55:06 +01:00
extructures
fiat
flocq pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
fourcolor coqPackages.fourcolor: 1.3.1 → 1.4.0 2024-11-26 17:29:11 +01:00
gaia coqPackages.gaia: 1.17 -> 2.2 2024-08-01 17:13:09 +02:00
gaia-hydras
gappalib coqPackages.gappalib: enable for Coq 8.20 2024-09-11 10:20:13 +02:00
goedel
graph-theory
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
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
InfSeqExt
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
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
lemma-overloading coqPackages.lemma-overloading: init at 8.12 2024-11-22 06:55:28 +01:00
LibHyps
ltac2 pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
math-classes
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
mathcomp-analysis coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 (#361371) 2024-12-04 14:58:29 +01:00
mathcomp-apery
mathcomp-bigenough
mathcomp-finmap
mathcomp-infotheo coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 (#361371) 2024-12-04 14:58:29 +01:00
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word
mathcomp-zify
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
odd-order
Ordinal coqPackages.Ordinal: init at 0.5.3 2024-11-28 07:30:11 +01:00
paco
paramcoq
parsec coqPackages.ExtLib: 0.12.1 → 0.12.2 2024-11-07 14:55:06 +01:00
pocklington
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
serapi coqPackages.serapi: fix build 2024-11-14 21:22:39 +01:00
simple-io coqPackages.ExtLib: 0.12.1 → 0.12.2 2024-11-07 14:55:06 +01:00
smpl
smtcoq pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
ssprove coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 (#361371) 2024-12-04 14:58:29 +01: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
tlc
topology pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
trakt
unicoq coqPackages.mtac2: init at 1.4-coq8.19 2024-09-16 09:58:24 +02:00
vcfloat
Velisarios
Verdi
Vpl
VplTactic
vscoq-language-server coqPackages.vscoq-language-server: 2.1.4 → 2.1.7 2024-09-18 17:25:13 +02:00
VST
waterproof coqPackages.waterproof: init at 2.1.1+8.18 2024-08-27 16:00:55 +02:00
zorns-lemma