Benjamin Hipple eb11feaa0b treewide: change fetchCargoTarball default to opt-out ... Changes the default fetcher in the Rust Platform to be the newer `fetchCargoTarball`, and changes every application using the current default to instead opt out. This commit does not change any hashes or cause any rebuilds. Once integrated, we will start deleting the opt-outs and recomputing hashes. See #79975 for details.		2020-02-13 22:41:37 -08:00
..
abc	abc-verifier: passthru rev	2020-02-01 12:49:45 +01:00
abella
acgtk
aiger	aiger: enable for darwin	2019-12-08 18:31:49 +00:00
alt-ergo
aspino	treewide: update which packages I'm currently maintaining	2019-12-26 15:27:47 +01:00
avy	treewide: NIX_*_COMPILE -> string	2019-12-31 00:10:18 +01:00
beluga
boolector	boolector: add patch for CVE-2019-7560	2019-12-12 10:37:02 -06:00
btor2tools	btor2tools: correct meta information	2019-12-12 10:37:02 -06:00
cedille
celf
clprover	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
coq	coqPackages_8_11.coq: 8.11+β1 → 8.11.0	2020-01-31 14:09:51 +01:00
coq2html
cryptominisat
cryptoverif
cubicle	Renamed maintainer lucas8 -> dwarfmaster	2020-01-21 16:39:52 +10:00
cvc3
cvc4
drat-trim	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
ekrhyper
elan	treewide: change fetchCargoTarball default to opt-out	2020-02-13 22:41:37 -08:00
eprover	eprover: 2.3 -> 2.4	2019-11-01 14:00:31 -07:00
fast-downward	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
gappa
glucose
hol
hol_light	Merge branch 'master' into rename-z77z-into-maggesi	2019-10-13 18:06:23 +02:00
iprover	iprover: 2018_Jul_24_11h -> 3.1	2020-02-09 09:38:57 +01:00
isabelle
jonprl	treewide: mark some broken packages as broken	2019-10-08 17:14:26 +02:00
lci
lean
lean2	treewide: mark some broken packages as broken	2019-10-08 17:14:26 +02:00
leo2
leo3
lingeling	lingeling: enable for darwin	2019-12-08 18:32:04 +00:00
logisim
ltl2ba
mcrl2	treewide: Get rid of libGLU_combined	2019-11-18 20:10:43 +00:00
metis-prover	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
minisat	minisat: 2.2.0 -> 2.2.1	2019-12-30 03:50:35 +01:00
monosat	monosat: 60528a3 -> 1.8.0	2019-10-15 16:52:25 -04:00
open-wbo	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
opensmt
ott	ott: 0.29 -> 0.30	2020-01-26 09:43:23 +00:00
otter
petrinizer	petrinizer: fix build by pinning the neccessary library versions	2019-09-07 13:33:50 +03:00
picosat
poly
potassco	Merge pull request #69477 from r-ryantm/auto-update/clingo	2019-09-27 10:12:24 +00:00
prooftree
prover9	treewide: replace make/build/configure/patchFlags with nix lists	2019-12-30 12:58:11 +01:00
proverif
redprl
sad
satallax
saw-tools	saw-tools: use default llvm	2020-01-30 18:35:30 -05:00
spass	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
statverif
stp	minisat: 2.2.0 -> 2.2.1	2019-12-30 03:50:35 +01:00
symbiyosys	symbiyosys: 2019.10.11 -> 2020.02.08	2020-02-08 23:00:07 -06:00
tamarin-prover	tamarin-prover: mark as broken because upstream is broken	2019-09-24 15:25:43 +02:00
tlaplus
tptp
twelf
vampire
verifast	verifast: 18.02 -> 19.12	2020-02-09 14:29:31 -06:00
verit	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
why3	why3: 1.2.0 → 1.2.1	2019-11-11 11:30:52 +00:00
workcraft	workcraft: 3.1.9 -> 3.2.5	2020-02-07 21:09:41 +00:00
yices	tree-wide: replace uses of splitString "." with lib.versions	2019-09-26 17:42:49 +02:00
z3	z3: 4.8.5 -> 4.8.7	2019-12-14 20:33:59 -06:00