You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
volth 7b8fb5c06c treewide: remove redundant quotes 3 years ago
..
Cheerios treewide: remove redundant rec 3 years ago
CoLoR
HoTT
InfSeqExt treewide: remove redundant rec 3 years ago
QuickChick treewide: remove redundant rec 3 years ago
StructTact treewide: remove redundant rec 3 years ago
Velisarios treewide: remove redundant rec 3 years ago
Verdi treewide: remove redundant rec 3 years ago
autosubst coqPackages.autosubst: fix build 4 years ago
bignums treewide: remove redundant rec 3 years ago
category-theory treewide: remove redundant rec 3 years ago
contribs treewide: remove redundant quotes 3 years ago
coq-elpi treewide: remove redundant quotes 3 years ago
coq-ext-lib treewide: remove redundant quotes 3 years ago
coq-extensible-records coqPackages.coq-extensible-records: init at 1.2.0 3 years ago
coq-haskell treewide: remove redundant rec 3 years ago
coqhammer treewide: remove redundant quotes 3 years ago
coqprime treewide: remove redundant quotes 3 years ago
coquelicot coqPackages.coquelicot: 3.0.2 -> 3.0.3 3 years ago
corn coq: init at 8.10+β1 3 years ago
dpdgraph treewide: remove redundant quotes 3 years ago
equations treewide: remove redundant quotes 3 years ago
fiat coqPackages_8_5.fiat_HEAD: fix build 4 years ago
flocq coqPackages.flocq: fetch sources from gitlab 3 years ago
gappalib coqPackages.gappalib: disable for Coq 8.10 3 years ago
heq coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. 4 years ago
interval coqPackages.interval: 3.4.0 -> 3.4.1 3 years ago
iris coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0 3 years ago
ltac2 treewide: remove redundant quotes 3 years ago
math-classes coqPackages.math-classes: 8.8.1 -> 8.9.1 3 years ago
mathcomp treewide: remove redundant rec 3 years ago
metalib coqPackages_8_9: disable a few packages that do not build 3 years ago
paco coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. 4 years ago
paramcoq treewide: remove redundant quotes 3 years ago
simple-io coqPackages.simple-io: 1.0.0 -> 1.2.0 3 years ago
ssreflect treewide: remove unused variables (#63177) 3 years ago
stdpp coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0 3 years ago
tlc coqPackages.tlc: 20180316 -> 20181116 3 years ago