My personal project and infrastructure archive

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.

Vincent Laporte 4ace0daa21 coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6		7 years ago
..
CoLoR	coqPackages: remove duplication in mkCoqPackages	7 years ago
HoTT	coqPackages.HoTT: init at 20170921	7 years ago
QuickChick	coqPackages_8_7: New expression, but don't make it the default yet	7 years ago
autosubst	coqPackages.autosubst: fix hash	7 years ago
bedrock	…
contribs	…
coq-ext-lib	coqPackages_8_7: New expression, but don't make it the default yet	7 years ago
coqeal	…
coquelicot	coqPackages_8_7: New expression, but don't make it the default yet	7 years ago
domains	…
dpdgraph	coqPackages_8_7: New expression, but don't make it the default yet	7 years ago
fiat	coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6	7 years ago
flocq	coqPackages.flocq: 2.5.2 -> 2.6.0	7 years ago
heq	…
interval	coqPackages.coquelicot: 2.1.2 -> 3.0.1	7 years ago
math-classes	coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6	7 years ago
mathcomp	coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1	7 years ago
paco	coqPackages.paco: 1.2.7 -> 1.2.8	7 years ago
ssreflect	coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1	7 years ago
tlc	…
unimath	…
ynot	…