ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-28 14:22:50 +03:00
Code Issues Projects Releases Wiki Activity
f720a8186b
nixpkgs/pkgs/tools/misc/eProver
History
Eelco Dolstra 5d9dfc1e60 * Removed $installCommand, it's no longer needed since we split the 
install and fixup phases.  You can just override installPhase.

svn path=/nixpkgs/trunk/; revision=12787
2008-09-02 13:51:32 +00:00
..
default.nix * Removed $installCommand, it's no longer needed since we split the 2008-09-02 13:51:32 +00:00