cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/applications/science/logic/yices
History
Will Dietz fbb6b90ed0 yices: 2.5.1 -> 2.5.2
2017-08-12 13:02:33 -05:00
..
default.nix yices: 2.5.1 -> 2.5.2 2017-08-12 13:02:33 -05:00