dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
d5299641bb
nixpkgs/pkgs/applications/science/logic
History
Jan van Brügge d5299641bb
isabelle: make withComponents function use finalAttrs 
Before this change
```
(isabelle.overrideAttrs (
  /* whatever */
)).withComponents (/* whatever */)
```
would ignore the `overrideAttrs` and use the normal `isabelle`
derivation instead. This commit fixes this
2022-12-03 16:40:53 +00:00
..
abc abc-verifier: 2022.07.27 -> unstable-2022-09-08 2022-10-14 19:27:01 -05:00
abella
acgtk ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
aiger
alt-ergo alt-ergo: fix version string 2022-12-03 00:00:05 +01:00
anders
aspino aspino: remove patchShebangs 2022-11-25 16:48:27 +01:00
avy avy: fix build on aarch64-linux 2022-11-25 16:48:03 +01:00
beluga ocamlPackages.extlib: rename from ocaml_extlib 2022-11-16 14:30:37 +01:00
bitwuzla bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03 2022-10-04 18:14:31 +00:00
boolector
btor2tools treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' 2022-07-12 18:25:19 +03:00
cadical cadical: 1.5.0 -> 1.5.3 2022-09-26 00:00:17 +09:00
cbmc cbmc: 5.69.1 -> 5.70.0 2022-11-11 18:08:36 +08:00
cedille
celf
clprover
coq coq_8_16: use OCaml 4.14 2022-10-12 20:38:44 +02:00
cryptominisat
cryptoverif
cubicle
cvc3 cvc3: reenable stackprotector on aarch64-darwin 2022-08-25 19:11:45 -07:00
cvc4 cvc4: fix build on darwin 2022-05-31 23:56:18 -07:00
cvc5 cvc5: 1.0.1 -> 1.0.2 2022-08-29 17:17:59 +00:00
drat-trim
easycrypt easycrypt-runtest: use other format 2022-09-19 16:05:27 +02:00
ekrhyper
elan elan: 1.4.1 -> 1.4.2 2022-09-13 11:02:26 +02:00
eprover
fast-downward treewide: optional -> optionals where the argument is a list 2022-10-10 15:40:21 +03:00
formula formula: unbreak on aarch64-linux 2022-11-28 02:56:13 +01:00
gappa
glucose glucose: fix build on aarch64-linux 2022-11-25 16:48:03 +01:00
hol treewide: pkgs/applications: mark broken for aarch64-linux 2022-05-30 13:42:58 +02:00
hol_light
iprover
isabelle isabelle: make withComponents function use finalAttrs 2022-12-03 16:40:53 +00:00
key treewide: add meta.mainProgram to many packages 2022-05-04 18:08:19 -07:00
kissat kissat: 2.0.1 -> 3.0.0 2022-09-02 10:24:30 +02:00
klee klee: use the same LLVM version for clang 2022-08-30 15:08:15 +09:00
lci
lean lean: 3.48.0 -> 3.49.0 2022-11-11 17:33:01 -03:00
lean2 lean2: 2017-07-22 -> 2018-10-01, unbreak 2022-05-21 16:06:51 -07:00
leo2
leo3 treewide: set sourceProvenance for packages containing downloaded jars 2022-06-04 19:47:57 +01:00
lingeling
logisim treewide: set sourceProvenance for packages containing downloaded jars 2022-06-04 19:47:57 +01:00
logisim-evolution treewide: set sourceProvenance for packages containing downloaded jars 2022-06-04 19:47:57 +01:00
ltl2ba
mcrl2 mcrl2: 201707 -> 202206 2022-07-27 01:25:01 -04:00
mcy pkgs.applications: remove unused args 2022-10-12 16:00:16 +02:00
metis-prover metis-prover: 2.3.20160713 -> 2.4.20200713 2022-07-08 22:22:33 +02:00
minisat
monosat treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' 2022-07-15 02:50:09 +03:00
naproche naproche: 2022-04-19 -> 2022-10-24 2022-10-26 12:10:09 +01:00
nusmv nusmv: init at 2.6.0 2022-10-16 18:21:19 +02:00
nuXmv treewide/applications: add sourceType binaryNativeCode for many packages 2022-06-23 18:38:19 +01:00
open-wbo treewide: pkgs/applications: mark broken for aarch64-linux 2022-05-30 13:42:58 +02:00
opensmt opensmt: 2.4.2 -> 2.4.3 2022-11-22 20:15:56 +00:00
ott ott: 0.31 -> 0.32 2022-03-12 18:31:38 +00:00
petrinizer pkgs.applications: remove unused args 2022-10-12 16:00:16 +02:00
picosat
poly
potassco clingo: 5.6.1 -> 5.6.2 2022-11-07 17:55:20 +00:00
prooftree
prover9 licenses: remove gpl1 2022-09-29 10:54:21 +02:00
proverif
redprl
sad
satallax
saw-tools treewide/applications: add sourceType binaryNativeCode for many packages 2022-06-23 18:38:19 +01:00
spass
statverif
stp
surelog surelog: use latest OpenJDK 2022-11-25 20:10:49 -08:00
symbiyosys treewide: add meta.mainProgram to many packages 2022-04-14 10:24:01 -07:00
symfpu symfpu: init at unstable-2019-05-17 2022-04-04 20:30:28 +00:00
tamarin-prover tamarin-prover: remove darwin from hydraPlatforms 2022-06-17 19:20:10 +09:00
tlaplus treewide/applications: add sourceType binaryNativeCode for many packages 2022-06-23 18:38:19 +01:00
tptp treewide/applications: add sourceType binaryNativeCode for many packages 2022-06-23 18:38:19 +01:00
twelf
uhdm uhdm: 0.9.1.40 -> 1.45 2022-11-08 12:47:14 -08:00
vampire treewide: pkgs/applications: mark broken for aarch64-linux 2022-05-30 13:42:58 +02:00
verifast treewide/applications: add sourceType binaryNativeCode for many packages 2022-06-23 18:38:19 +01:00
verit veriT: Fix build on macos 2022-06-22 16:57:33 -03:00
why3 pkgs.applications: remove unused args 2022-10-12 16:00:16 +02:00
workcraft workcraft: 3.3.6 -> 3.3.8 2022-07-31 06:18:04 +00:00
yices
z3 z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0 2022-08-28 11:06:19 -05:00
zchaff zchaff: 2004.5.13 -> 2007.3.12 2022-06-05 23:22:06 -07:00