depot/third_party/nixpkgs/pkgs/development/coq-modules/zorns-lemma/default.nix
72 lines
1.9 KiB
Nix
72 lines
1.9 KiB
Nix