marcnnn e46ca1b95f cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808) ... * cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514 * cvc4: use stable url upstream delete their tarballs		2017-05-20 14:00:39 +01:00
..
default.nix	cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)	2017-05-20 14:00:39 +01:00