Will Dietz 3cf27a654a yices: Build in parallel, run tests, fix test shebang.		2016-10-26 13:01:21 -05:00
..
default.nix	yices: Build in parallel, run tests, fix test shebang.	2016-10-26 13:01:21 -05:00