alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
nixpkgs/pkgs/applications/science/logic/coq
History
…
..
8.3.nix
8.4.nix
configure.8.3.patch
configure.patch
default.nix
no-codesign.patch