Ali Caglayan 463643afa8 coqPackages.HoTT: 8.16 -> 8.17 ... We bump the HoTT library to 8.17 and switch to using Dune for the build. I attempted to include the 8.10 - 8.13 builds but I couldn't get autoconf to work the way I wanted so I gave up in the end. Signed-off-by: Ali Caglayan <alizter@gmail.com>		2023-03-30 20:05:15 +02:00
..
aac-tactics
addition-chains
autosubst
bignums
category-theory
ceres
Cheerios
CoLoR
compcert	compcert: 3.11 → 3.12	2023-03-01 09:45:31 +00:00
contribs
coq-bits
coq-elpi	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
coq-ext-lib	coqPackages.coq-ext-lib: enable for Coq 8.17	2023-03-15 09:14:01 +01:00
coq-haskell
coq-lsp	coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16	2023-02-21 04:20:00 +00:00
coq-record-update
coqeal	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
coqhammer	coqPackages.coqhammer: fix src URL	2023-02-28 10:59:42 +00:00
coqide
coqprime
coqtail-math
coquelicot	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
corn
deriving
dpdgraph
equations	coqPackages_8_17.equations: init at 1.3+8.17	2023-02-01 07:41:17 +01:00
extructures
fiat
flocq	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
fourcolor
gaia
gaia-hydras
gappalib
goedel
graph-theory	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
heq
hierarchy-builder	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
HoTT	coqPackages.HoTT: 8.16 -> 8.17	2023-03-30 20:05:15 +02:00
hydra-battles
InfSeqExt
interval	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
iris
itauto
ITree	coqPackages.ITree: 4.0.0 → 5.1.0	2023-03-15 09:14:01 +01:00
LibHyps
ltac2
math-classes
mathcomp	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
mathcomp-abel
mathcomp-algebra-tactics
mathcomp-analysis	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
mathcomp-apery	Add coqPackages.mathcomp-apery	2023-03-30 13:55:40 +02:00
mathcomp-bigenough	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
mathcomp-finmap	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
mathcomp-real-closed	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
mathcomp-tarjan
mathcomp-word
mathcomp-zify	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
metacoq
metalib
multinomials	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
odd-order
paco	coqPackages.paco: enable for Coq 8.17	2023-03-15 09:14:01 +01:00
paramcoq	coqPackages_8_17.paramcoq: init at 1.1.3+coq8.17	2023-02-02 08:12:32 +01:00
parsec
pocklington
QuickChick
reglang
relation-algebra
semantics
serapi	coqPackages_8_16.serapi: 8.16.0+0.16.0 -> 8.16.0+0.16.3	2023-02-21 04:20:00 +00:00
simple-io	Merge pull request #212009 from Shawn8901/remove_with_lib_2	2023-01-24 01:39:55 +01:00
smpl
smtcoq	coqPackages.smtcoq.cvc4: fix build with bash 5.2	2023-03-01 10:02:09 +00:00
stdpp	coqPackages_8_17.stdpp: init at 1.8.0	2023-03-27 16:56:32 +02:00
StructTact
tlc
topology
trakt
Velisarios
Verdi
VST
zorns-lemma