Jan Malakhovski 5852f26bdc treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases		2023-08-03 16:32:03 +00:00
..
aac-tactics
addition-chains
autosubst	coqPackages.autosubst: 1.7 -> 1.8	2023-07-13 13:36:20 +02:00
bignums	coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17	2023-07-25 03:45:12 +02:00
category-theory
ceres	coqPackages.ceres: 0.4.0 → 0.4.1	2023-07-25 04:36:39 +02:00
Cheerios
CoLoR
compcert	coqPackages.compcert: enable for Coq 8.17	2023-07-17 07:47:50 +02:00
contribs
coq-bits
coq-elpi
coq-ext-lib	coqPackages.coq-ext-lib: 0.11.7 → 0.11.8	2023-07-27 05:24:26 +02:00
coq-haskell
coq-lsp	coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7	2023-07-21 13:28:51 +02:00
coq-record-update
coqeal
coqhammer
coqide
coqprime
coqtail-math
coquelicot	coqPackages.coquelicot: 3.3.1 → 3.4.0	2023-07-28 08:39:50 +02:00
corn
deriving
dpdgraph
equations
extructures
fiat
flocq
fourcolor
gaia
gaia-hydras
gappalib
goedel
graph-theory
heq
hierarchy-builder
HoTT
hydra-battles
InfSeqExt
interval	coqPackages.interval: 4.7.0 → 4.8.0	2023-07-28 08:26:05 +02:00
iris	coqPackages_8_17.iris: init at 4.0.0	2023-08-02 22:17:26 +02:00
itauto
ITree	coqPackages.ITree: 5.1.0 → 5.1.1	2023-07-11 23:39:52 +02:00
LibHyps
ltac2
math-classes
mathcomp	treewide: use lib.optional instead of 'then []'	2023-07-12 09:36:28 +01:00
mathcomp-abel
mathcomp-algebra-tactics
mathcomp-analysis	treewide: use lib.optional instead of 'then []'	2023-07-12 09:36:28 +01:00
mathcomp-apery
mathcomp-bigenough
mathcomp-finmap
mathcomp-infotheo
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word
mathcomp-zify
metacoq	treewide: use lib.optional instead of 'then []'	2023-07-12 09:36:28 +01:00
metalib	treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases	2023-08-03 16:32:03 +00:00
multinomials
odd-order
paco	coqPackages.paco: 4.1.2 → 4.2.0	2023-08-03 04:30:34 +02:00
paramcoq
parsec	coqPackages.parsec: 0.1.1 → 0.1.2	2023-07-25 04:36:39 +02:00
pocklington
QuickChick
reglang
relation-algebra
semantics
serapi
simple-io
smpl
smtcoq
stdpp
StructTact
tlc
topology
trakt	coqPackages.trakt: fix documented license	2023-07-27 08:37:02 +02:00
Velisarios
Verdi
VST
zorns-lemma