Tuomas Tynkkynen 3364230d56 Disable bunch of non-compiling packages on Darwin ... These ones have a "Last successful build" timestamp in the 2014s or 2015s. Presumably no one will notice if we now stop building them. softether_4_18 2015-09-20 http://hydra.nixos.org/build/39418483 lensfun 2014-09-30 http://hydra.nixos.org/build/39394104 net_snmp 2015-09-20 http://hydra.nixos.org/build/39410553 djview 2015-08-11 http://hydra.nixos.org/build/39413233 libmusicbrainz2 2015-09-20 http://hydra.nixos.org/build/39410106 fox_1_6 2014-05-07 http://hydra.nixos.org/build/39410858 libofx 2015-09-24 http://hydra.nixos.org/build/39423507 yacas 2014-09-30 http://hydra.nixos.org/build/39393150 iomelt 2014-09-30 http://hydra.nixos.org/build/39408486 softether 2015-09-20 http://hydra.nixos.org/build/39425800 mp4v2 2014-09-30 http://hydra.nixos.org/build/39421899 virtuoso7 2014-09-21 http://hydra.nixos.org/build/39415206 man_db 2015-04-23 http://hydra.nixos.org/build/39404236 libdiscid 2014-09-30 http://hydra.nixos.org/build/39412202 zabbix22.agent 2014-09-21 http://hydra.nixos.org/build/39412149 vidalia 2015-08-06 http://hydra.nixos.org/build/39411500 libmtp 2015-09-20 http://hydra.nixos.org/build/39419199 wxGTK29 2015-09-20 http://hydra.nixos.org/build/39415296 ncmpcpp 2015-11-06 http://hydra.nixos.org/build/39404455 libtorrent 2014-09-21 http://hydra.nixos.org/build/39394646 shishi 2014-03-21 http://hydra.nixos.org/build/39418874 ocaml_3_12_1 2014-09-30 http://hydra.nixos.org/build/39392996 djview4 2015-08-11 http://hydra.nixos.org/build/39427799 vimNox 2014-05-23 http://hydra.nixos.org/build/39397012 ttfautohint 2015-08-06 http://hydra.nixos.org/build/39398330 libraw 2015-09-24 http://hydra.nixos.org/build/39402271 wxGTK30 2015-09-20 http://hydra.nixos.org/build/39401871 sbcl_1_2_5 2015-09-20 http://hydra.nixos.org/build/39426091 prover9 2014-09-30 http://hydra.nixos.org/build/39406476 rcs 2015-08-25 http://hydra.nixos.org/build/39392037 gpac 2015-09-24 http://hydra.nixos.org/build/39399470 virtuoso6 2014-09-30 http://hydra.nixos.org/build/39398651 xlslib 2015-09-24 http://hydra.nixos.org/build/39410387 ucommon 2015-03-27 http://hydra.nixos.org/build/39414040 commoncpp2 2014-09-30 http://hydra.nixos.org/build/39420117 virtuoso 2014-09-21 http://hydra.nixos.org/build/39399978 miniHttpd 2014-09-30 http://hydra.nixos.org/build/39392925 mpack 2014-09-26 http://hydra.nixos.org/build/39399535 nbd 2014-09-26 http://hydra.nixos.org/build/39401367 newsbeuter-dev 2014-07-29 http://hydra.nixos.org/build/39406259 gimp_2_8 2015-09-20 http://hydra.nixos.org/build/39436271 gimp 2015-09-20 http://hydra.nixos.org/build/39435976 zabbix20.agent 2014-09-30 http://hydra.nixos.org/build/39393242 gst_all_1.gst-plugins-good 2015-09-20 http://hydra.nixos.org/build/39408506 ocaml_4_00_1 2014-09-30 http://hydra.nixos.org/build/39399526 inadyn 2014-09-30 http://hydra.nixos.org/build/39426389 gst_all_1.gst-plugins-bad 2015-09-20 http://hydra.nixos.org/build/39392970 zabbix.agent 2014-09-30 http://hydra.nixos.org/build/39421412 cmake-2_8 2015-09-24 http://hydra.nixos.org/build/39399443 liblastfm 2015-08-06 http://hydra.nixos.org/build/39421812 newsbeuter 2014-07-29 http://hydra.nixos.org/build/39396605 sdcv 2014-09-26 http://hydra.nixos.org/build/39412928		2016-09-01 20:39:33 +03:00
..
abc	nixpkgs: abc-verifier 20160813 -> 20160818	2016-08-19 01:55:13 +00:00
abella
acgtk
alt-ergo
aspino	aspino: patch to use c++ instead of g++	2016-08-10 22:29:18 -05:00
boolector	treewide: fix darwin builds by using getOutput	2016-08-25 08:44:20 +00:00
coq	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
cryptoverif	cryptoverif: init at 1.22	2016-06-28 04:37:29 +00:00
cvc3
cvc4	cvc4: 1.4 -> 1.5pre-smtcomp2016	2016-07-24 13:11:17 +02:00
ekrhyper
eprover
gappa
glucose	glucose, glucose-syrup: init at 4.0	2016-06-21 13:26:51 +02:00
hol	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
hol_light	Update HOL Light to version 2016-07-23.	2016-07-28 15:56:20 +02:00
iprover
isabelle	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
jonprl	Fix lots of fetchgit hashes (fallout from #15469)	2016-06-03 17:17:08 +03:00
lci
lean	lean: 20160117 -> 2016-07-05	2016-07-27 11:01:45 +02:00
leo2	leo2: remove use of builderDefsPackage (#17398)	2016-07-31 13:57:29 +02:00
logisim	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
ltl2ba	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-07-15 14:41:01 +00:00
matita
mcrl2	mcrl2: 2009.01 -> 2014.09	2016-04-12 22:16:30 +02:00
metis-prover	metis-prover: 2.3.20160102 -> 2.3.20160713	2016-07-21 18:41:26 +02:00
minisat	minisat: support clang	2016-06-19 15:19:25 +02:00
opensmt
ott
otter	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-05-02 22:58:02 +00:00
picosat
prooftree
prover9	Disable bunch of non-compiling packages on Darwin	2016-09-01 20:39:33 +03:00
proverif	proverif: init at 1.94	2016-06-28 04:36:11 +00:00
sad	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
satallax	treewide: Use more makeBinPath	2016-08-23 01:18:10 +03:00
saw-tools	replace ${stdenv.cc.cc}/lib occurences	2016-05-01 00:13:23 +03:00
spass	spass: 3.7 -> 3.9	2016-06-21 08:18:20 +02:00
statverif	statverif: init at 1.86pl4	2016-06-28 04:36:11 +00:00
stp
tptp	tptp: 6.3.0 -> 6.4.0	2016-07-16 11:34:32 +02:00
twelf
verifast	replace ${stdenv.cc.cc}/lib occurences	2016-05-01 00:13:23 +03:00
verit	veriT: disable broken static linking	2016-05-08 15:11:29 +02:00
why3	why3: 0.87.0 -> 0.87.1	2016-06-09 09:51:38 +02:00
yices
z3
z3_opt