philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
nixpkgs/pkgs/applications/science/logic/ssreflect
History
Russell O'Connor 3538f7c549 Update download link for ssreflect.
2013-07-14 23:41:55 -04:00
..
default.nix Update download link for ssreflect. 2013-07-14 23:41:55 -04:00
static.patch