Vincent Laporte dfbef0d770 coq-coqeal: fix installation		2015-05-29 11:42:45 +02:00
..
bedrock	bedrock: Change build to use "src native"	2015-05-21 10:55:17 -05:00
contribs
coq-ext-lib
coqeal	coq-coqeal: fix installation	2015-05-29 11:42:45 +02:00
domains
fiat	meta.description fixups	2015-04-30 18:17:42 +02:00
flocq	meta.description fixups	2015-04-30 18:17:42 +02:00
heq
interval
mathcomp
paco	meta.description fixups	2015-04-30 18:17:42 +02:00
QuickChick	coqPackages.QuickChick: New expression	2015-05-08 11:35:23 -05:00
ssreflect
tlc	meta.description fixups	2015-04-30 18:17:42 +02:00
unimath
ynot	meta.description fixups	2015-04-30 18:17:42 +02:00