Will Dietz 0443affe17 yices: Add darwin to meta.platforms		2016-10-30 13:38:07 -05:00
..
default.nix	yices: Add darwin to meta.platforms	2016-10-30 13:38:07 -05:00