1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 09:02:46 +00:00
nixpkgs/pkgs/applications/science/logic/yices
Will Dietz db66c996bf yices: 2.5.2 -> 2.5.3
Move to github URL, homepage seems to be down currently.
2017-08-27 10:10:48 -05:00
..
default.nix yices: 2.5.2 -> 2.5.3 2017-08-27 10:10:48 -05:00