Vincent Laporte c459597ac0 coqPackages_8_16.coq-lsp: fix for recent findlib		2024-11-14 21:22:42 +01:00
..
aac-tactics
addition-chains
async-test
atbr
autosubst
autosubst-ocaml	coqPackages_8_19.autosubst-ocaml: init at 1.1	2024-11-14 06:36:11 +01:00
bbv
bignums
category-theory
ceres
Cheerios
coinduction
CoLoR
compcert
contribs
coq-bits
coq-elpi
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
coqprime
coqtail-math
coquelicot
coqutil	coqPackages.coqutil: init at {0.0.5,0.0.6} (#349174)	2024-10-17 11:08:52 +02:00
corn
deriving
dpdgraph
ElmExtraction
equations
ExtLib	coqPackages.ExtLib: 0.12.1 → 0.12.2	2024-11-07 14:55:06 +01:00
extructures
fiat
flocq
fourcolor
gaia
gaia-hydras
gappalib
goedel
graph-theory
heq
hierarchy-builder
high-school-geometry
HoTT
http
hydra-battles
InfSeqExt
interval
iris	coqPackages.stdpp: 1.10.0 → 1.11.0	2024-10-31 20:48:48 +01:00
iris-named-props
itauto
ITree	coqPackages.ExtLib: 0.12.1 → 0.12.2	2024-11-07 14:55:06 +01:00
itree-io
json	coqPackages.json: 0.1.3 -> 0.2.0	2024-10-14 15:20:35 +02:00
LibHyps
ltac2
math-classes
mathcomp
mathcomp-abel
mathcomp-algebra-tactics
mathcomp-analysis	coqPackages.mathcomp-analysis: rename altreals to experimental-reals	2024-11-06 09:56:01 +01:00
mathcomp-apery
mathcomp-bigenough
mathcomp-finmap
mathcomp-infotheo	coqPackages.mathcomp-analysis: 1.4.0 → 1.5.0	2024-10-28 07:20:47 +01:00
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word
mathcomp-zify
MenhirLib
metacoq	MetaCoq sub-packages dependencies	2024-10-31 11:09:26 +01:00
metalib
mtac2
multinomials
odd-order
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
relation-algebra	coqPackages.relation-algebra: 1.7.9 -> 1.7.11	2024-10-24 16:41:26 +02:00
rewriter
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
ssprove
stalmarck
stdpp	coqPackages.stdpp: 1.10.0 → 1.11.0	2024-10-31 20:48:48 +01:00
StructTact
tlc
topology
trakt
unicoq
vcfloat
Velisarios
Verdi
Vpl
VplTactic
vscoq-language-server
VST
waterproof
zorns-lemma