mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-11 15:08:33 +01:00
Code Issues Wiki Activity
nixpkgs/pkgs/applications/science/logic/ssreflect
History
John Wiegley 708e16e675 ssreflect: 1.4 -> 1.5
2014-08-19 16:03:33 -05:00
..
default.nix ssreflect: 1.4 -> 1.5 2014-08-19 16:03:33 -05:00
static.patch Update SSReflect to version 1.4 2012-09-10 23:15:54 +02:00