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
bignums
category-theory
ceres	coqPackages.ceres: 0.4.0 → 0.4.1	2023-07-25 04:36:39 +02:00
Cheerios
CoLoR
compcert
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
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
LibHyps
ltac2
math-classes
mathcomp
mathcomp-abel
mathcomp-algebra-tactics
mathcomp-analysis
mathcomp-apery
mathcomp-bigenough
mathcomp-finmap
mathcomp-infotheo
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word
mathcomp-zify
metacoq
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