Vincent Laporte 782c8b0451 coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0 ... coqPackages.mathcomp-infotheo: 0.7.1 → 0.7.2		2024-10-08 20:58:47 +02:00
..
aac-tactics
addition-chains
async-test
atbr
autosubst	coq.autosubst: 1.8 -> 1.9	2024-09-20 11:49:34 +02:00
bbv
bignums
category-theory
ceres
Cheerios
coinduction
CoLoR
compcert	compcert: add support for Coq 8.20.0	2024-10-04 12:57:01 +02:00
contribs
coq-bits
coq-elpi
coq-ext-lib
coq-hammer
coq-haskell
coq-lsp	coqPackages.coq-lsp: 0.2.0 -> 0.2.2	2024-10-07 05:36:37 +02:00
coq-record-update
coqeal
coqhammer
coqide	coqPackages.coqide: fix desktopItems	2024-10-01 23:08:21 +02:00
coqprime
coqtail-math
coquelicot
corn
deriving
dpdgraph
ElmExtraction
equations
extructures
fiat
flocq
fourcolor
gaia
gaia-hydras
gappalib
goedel
graph-theory
heq
hierarchy-builder
high-school-geometry
HoTT	coqPackages.HoTT: 8.19 -> 8.20	2024-09-30 21:01:31 +02:00
http
hydra-battles
InfSeqExt
interval
iris
iris-named-props
itauto
ITree
itree-io
json
LibHyps
ltac2
math-classes
mathcomp
mathcomp-abel
mathcomp-algebra-tactics
mathcomp-analysis	coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0	2024-10-08 20:58:47 +02:00
mathcomp-apery
mathcomp-bigenough
mathcomp-finmap
mathcomp-infotheo	coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0	2024-10-08 20:58:47 +02:00
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word
mathcomp-zify
MenhirLib
metacoq
metalib
mtac2
multinomials
odd-order
paco
paramcoq
parsec
pocklington
QuickChick	coqPackages.QuickChick: 2.0.2 → 2.0.4	2024-09-23 12:57:00 +02:00
reglang
relation-algebra
rewriter
semantics
serapi
simple-io	coqPackages.simple-io: 1.8.0 → 1.10.0	2024-09-23 12:57:00 +02:00
smpl
smtcoq
ssprove
stalmarck
stdpp
StructTact
tlc
topology
trakt
unicoq
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
zorns-lemma