rht 31b0e34d1d Use consistent package naming for HEAD.nix files		2017-05-09 10:31:15 +07:00
..
QuickChick	…
bedrock	…
contribs	…
coq-ext-lib	…
coqeal	…
coquelicot	…
domains	…
dpdgraph	…
fiat	…
flocq	…
heq	…
interval	…
math-classes	…
mathcomp	…
paco	…
ssreflect	…
tlc	…
unimath	…
ynot	…