nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 23:43:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
f00d895202
nixpkgs/pkgs/development/coq-modules/zorns-lemma
History
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.
2021-10-18 12:01:37 +02:00
..
default.nix coqPackages.zorns-lemma: fix build of versions pre-9.0 2021-10-18 12:01:37 +02:00