NixOS/nixpkgs
NixOS/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs synced 2024-10-23 09:00:28 -04:00
Code 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