talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity
nixpkgs/pkgs/applications/science/logic
History
Frederik Rietdijk c456a2512f Merge master into staging-next
2021-02-26 10:25:13 +01:00
..
abc
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
abella
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
acgtk
acgtk: 1.5.1 → 1.5.2
2021-02-24 08:13:06 +01:00
aiger
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
alt-ergo
alt-ergo: use Dune 2
2021-02-23 22:11:44 +01:00
aspino
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
avy
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
beluga
…
boolector
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
btor2tools
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
cadical
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
cedille
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
celf
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
clprover
treewide: update permanent url redirects
2021-01-30 21:48:57 +01:00
coq
coq: 8.13+beta1 -> 8.13.0 (#109479)
2021-02-03 08:34:47 +01:00
coq2html
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
cryptominisat
treewide: editorconfig fixes
2021-01-20 09:11:11 +10:00
cryptoverif
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
cubicle
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
cvc3
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
cvc4
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
drat-trim
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
ekrhyper
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
elan
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
eprover
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
fast-downward
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
gappa
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
glucose
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
hol
hol: 10 -> 14
2021-02-23 21:31:26 -05:00
hol_light
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
iprover
treewide: fix double quoted strings in meta.description
2021-01-24 19:56:59 +07:00
isabelle
treewide: makeWrapper buildInputs to nativeBuildInputs
2021-02-19 20:09:16 +07:00
jonprl
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
key
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
lci
treewide: fix double quoted strings in meta.description
2021-01-24 19:56:59 +07:00
lean
lean: 3.25.0 -> 3.26.0
2021-01-29 05:15:16 +00:00
lean2
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
leo2
treewide: makeWrapper buildInputs to nativeBuildInputs
2021-02-19 20:09:16 +07:00
leo3
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
lingeling
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
logisim
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
ltl2ba
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
mcrl2
qtbase: Check for wrapQtAppsHook in setupHook
2021-01-25 15:56:15 -06:00
mcy
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
metis-prover
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
minisat
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
monosat
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
open-wbo
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
opensmt
fix mis-merge
2021-01-14 15:26:10 +00:00
ott
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
otter
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
petrinizer
treewide: remove stdenv where not needed
2021-01-25 18:31:47 +01:00
picosat
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
poly
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
potassco
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
prooftree
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
prover9
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
proverif
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
redprl
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
sad
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
satallax
treewide: makeWrapper buildInputs to nativeBuildInputs
2021-02-19 20:09:16 +07:00
saw-tools
saw-tools: update license (#110920)
2021-01-27 17:52:41 +01:00
spass
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
statverif
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
stp
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
symbiyosys
symbiyosys: fix the interpreter of the sby binary.
2021-02-10 18:45:44 -08:00
tamarin-prover
…
tlaplus
treewide: makeWrapper buildInputs to nativeBuildInputs
2021-02-19 20:09:16 +07:00
tptp
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
twelf
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
vampire
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
verifast
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
verit
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
why3
treewide: makeWrapper buildInputs to nativeBuildInputs
2021-02-19 20:09:16 +07:00
workcraft
treewide: makeWrapper buildInputs to nativeBuildInputs
2021-02-19 20:09:16 +07:00
yices
treewide: fix double quoted strings in meta.description
2021-01-24 19:56:59 +07:00
z3
z3: 4.8.9 -> 4.8.10
2021-02-09 12:07:38 +01:00