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