nixpkgs/pkgs/development/coq-modules
2024-06-10 09:08:04 +02:00
..
aac-tactics coqPackages.aac-tactics: 8.19.0 → 8.19.1 2024-06-04 16:22:00 +02:00
addition-chains
autosubst
bignums
category-theory treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
ceres
Cheerios
CoLoR treewide: Remove ending period from meta.description 2024-06-09 23:04:51 +02:00
compcert treewide: remove unused fetch* (and other) arguments 2024-05-30 13:36:48 +02:00
contribs
coq-bits treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
coq-elpi treewide: Remove ending period from meta.description 2024-06-09 23:04:51 +02:00
coq-ext-lib treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
coq-haskell treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
coq-lsp coq-lsp: 0.1.8 -> 0.1.9 2024-05-31 17:51:29 +02:00
coq-record-update coqPackages.coq-record-update: 0.3.3 -> 0.3.4 2024-05-06 14:15:24 +02:00
coqeal Add Coqeal 2.0.1 and algebra-tactics 1.2.3 2024-01-19 10:46:00 +01:00
coqhammer
coqide treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
coqprime coqPackages_8_19.coqprime 2024-01-26 19:35:30 +01:00
coqtail-math
coquelicot treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
corn treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
deriving coqPackages_8_19.extructures 2024-01-26 19:35:30 +01:00
dpdgraph coqPackages_8_19.dpdgraph: init at 1.0+8.19 2024-03-28 06:24:51 +01:00
equations treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
extructures coqPackages_8_19.extructures 2024-01-26 19:35:30 +01:00
fiat treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
flocq treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
fourcolor coqPackages.mathcomp: 1.18.0 -> 1.19.0 2024-01-16 10:34:25 +01:00
gaia
gaia-hydras
gappalib coqPackages.gappalib: 1.5.4 → 1.5.5 2024-04-02 22:41:01 +02:00
goedel treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
graph-theory coqPackages.graph-theory: 0.9.3 → 0.9.4 2024-05-24 06:09:40 +02:00
heq
hierarchy-builder
HoTT treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
hydra-battles
InfSeqExt
interval coqPackages.interval: 4.9.0 → 4.10.0 2024-04-02 22:41:01 +02:00
iris treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
iris-named-props coqPackages.stdpp: 1.9.0 → 1.10.0 2024-04-15 10:13:00 +02:00
itauto treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
ITree treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
LibHyps coqPackages.LibHyps: 2.0.4.1 -> 2.0.8 2024-02-27 15:46:08 +00:00
ltac2 treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
math-classes treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp coqPackages.mathcomp: 2.1.0 -> 2.2.0 2024-01-17 15:40:16 +01:00
mathcomp-abel
mathcomp-algebra-tactics coqPackages_8_19.mathcomp-algebra-tactics 2024-01-26 19:35:30 +01:00
mathcomp-analysis coqPackages.mathcomp-analysis: 1.0.0 → 1.1.0 2024-06-10 09:08:04 +02:00
mathcomp-apery treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp-bigenough treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp-finmap treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp-infotheo treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp-real-closed coqPackages_8_19.mathcomp-real-closed 2024-01-26 19:35:30 +01:00
mathcomp-tarjan coqPackages.mathcomp: 2.1.0 -> 2.2.0 2024-01-17 15:40:16 +01:00
mathcomp-word coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4 2024-05-31 20:55:19 +02:00
mathcomp-zify coqPackages.mathcomp: 2.1.0 -> 2.2.0 2024-01-17 15:40:16 +01:00
metacoq coqPackages.metacoq: 1.2.1 → 1.3.1 2024-03-29 14:00:42 +01:00
metalib
multinomials treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
odd-order
paco treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
paramcoq
parsec
pocklington
QuickChick coqPackages_8_19.QuickChick 2024-01-26 19:35:30 +01:00
reglang coqPackages_8_19.reglang 2024-01-26 19:35:30 +01:00
relation-algebra
semantics treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
serapi coq-lsp: 0.1.8 -> 0.1.9 2024-05-31 17:51:29 +02:00
simple-io
smpl treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
smtcoq coqPackages.smtcoq: expand to more supported versions 2024-02-12 15:40:25 -05:00
ssprove coqPackages.ssprove: init at 0.2.0 (#306981) 2024-05-03 11:32:09 +02:00
stdpp treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
StructTact
tlc treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
topology
trakt treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
vcfloat treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
Velisarios
Verdi
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 treewide: wrapGAppsHook → wrapGAppsHook3 2024-04-27 02:23:22 +02:00
VST coqPackages.VST: 2.13 → 2.14 2024-03-23 07:25:06 +01:00
zorns-lemma