Will Dietz 946a65ca5c yices: use lib.splitString, not everyone has builtins.splitVersion		2018-07-12 19:11:06 -05:00
..
default.nix	yices: use lib.splitString, not everyone has builtins.splitVersion	2018-07-12 19:11:06 -05:00