Cyril Cohen 547466064e coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed		2019-06-03 15:23:35 +00:00
..
default.nix	coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed	2019-06-03 15:23:35 +00:00
extra.nix	coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed	2019-06-03 15:23:35 +00:00