My personal project and infrastructure archive

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Théo Zimmermann 290b16bfe5 coqPackages.zorns-lemma: fix build of versions pre-9.0 ... The source was fetched from the wrong location and thus did not match the provided sha.		3 years ago
..
default.nix	coqPackages.zorns-lemma: fix build of versions pre-9.0	3 years ago