Jörg Thalheim 5b813ebbc4 coqPackages.ssreflect: inherit mathcomp's source/meta attributes		2018-11-06 15:00:45 +00:00
..
default.nix	coqPackages.ssreflect: inherit mathcomp's source/meta attributes	2018-11-06 15:00:45 +00:00