3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic/picosat
Austin Seipp 2dfb657b94 nixpkgs: picosat 936 -> 960, add myself as a maintainer
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 19:48:12 -05:00
..
default.nix nixpkgs: picosat 936 -> 960, add myself as a maintainer 2015-06-14 19:48:12 -05:00