13 commits

Author	SHA1	Message	Date
Artur Cygan	da3c0ca0dd	boolector: fix darwin build	2020-11-29 22:31:54 +01:00
Symphorien Gibol	0a488516be	boolector: 3.0.0 -> 3.2.1 ... enable tests optionnally enable gmp	2020-06-08 17:32:07 -05:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Robert Scott	b9185a96be	boolector: add patch for CVE-2019-7560	2019-12-12 10:37:02 -06:00
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
Austin Seipp	d5e496a2bb	boolector: 2.4.1 -> 3.0.0, relicensed to MIT ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2018-08-15 20:44:05 -05:00
Will Dietz	46cbded0de	boolector: patch usage of ar and ranlib for cross ... eep.	2018-02-13 09:44:32 -06:00
Will Dietz	9138d055bf	boolector: fix missing stdint.h include	2018-02-13 09:44:31 -06:00
Symphorien Gibol	d7103eadc8	boolector: 1.{5,6} -> 2.4.1	2017-07-18 23:50:31 +02:00
Robin Gloster	eddc0a5549	treewide: fix darwin builds by using getOutput ... This fixes eval for pkgs referring to optional static output	2016-08-25 08:44:20 +00:00
Franz Pletz	df275f5b85	treewide: fix darwin builds by referring to stdenv's libc	2016-08-25 02:56:25 +02:00
Robin Gloster	bd44c7fd70	boolector: fix build with multiple outputs	2016-08-24 18:19:40 +00:00
Austin Seipp	5aa4495cb5	boolector: add version 1.5 and 1.6 ... There are two versions here because beginning with 1.6.0, Boolector has a more restrictive, unfree license which disallows commercial use. As a result, Boolector 1.5 is the default 'boolector' expression. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-07 09:17:05 -05:00