Jörg Thalheim 846b2faea1 Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflect ... coqPackages.ssreflect: refactor choice of source version		2018-11-06 15:21:19 +00:00
..
autosubst	coqPackages.autosubst: fix build	2018-11-05 14:53:19 +00:00
bignums
category-theory
CoLoR
contribs
coq-ext-lib
coq-haskell
coqprime
coquelicot
dpdgraph
equations
fiat	coqPackages_8_5.fiat_HEAD: fix build	2018-11-06 12:10:09 +00:00
flocq
heq
HoTT
interval
iris
math-classes
mathcomp	coqPackages.ssreflect: inherit mathcomp's source/meta attributes	2018-11-06 15:00:45 +00:00
metalib
multinomials
paco
QuickChick
ssreflect	coqPackages.ssreflect: inherit mathcomp's source/meta attributes	2018-11-06 15:00:45 +00:00
stdpp
tlc
Velisarios