depot/third_party/nixpkgs/pkgs/development/coq-modules/pocklington/default.nix
32 lines
633 B
Nix
32 lines
633 B
Nix