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