public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic
History
Vincent Laporte b0274abf85 tamarin-prover: 1.6.0 → 1.6.1 
(cherry picked from commit 05838a1632cab4f0371356666ed57f0be01575a9)
2021-10-22 08:13:56 +02: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: 2.4.0 → 2.4.1
2021-10-13 10:50:22 +02: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
beluga: 2020-03-11 -> 1.0
2021-04-01 04:20:00 +00:00
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
gnome: rename from gnome3
2021-05-08 09:47:42 +02:00
coq2html
coq2html: 20170720 -> 1.2
2021-05-09 22:00:15 +02: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
elan: fix darwin build
2021-05-15 12:02:46 +02: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
test-utilities: version test
2021-05-07 09:53:35 +02:00
lci
treewide: fix double quoted strings in meta.description
2021-01-24 19:56:59 +07:00
lean
lean: substitute release commit sha1
2021-05-26 13:47:23 -03:00
lean2
lean2: stay with python2
2021-04-03 17:06:21 +02:00
leo2
leo2: 1.6.2 → 1.7.0
2021-10-14 11:05:40 +00: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
petrinizer: restrict platforms by sbv
2021-05-06 16:24:58 +02:00
picosat
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
poly
libpoly: fix darwin build
2021-05-21 20:21:20 -07:00
potassco
clingo: 5.4.1 -> 5.5.0
2021-04-22 07:44:27 +00: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: add missing lib inputs
2021-03-03 13:40:45 +01: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
tamarin-prover: 1.6.0 → 1.6.1
2021-10-22 08:13:56 +02:00
tlaplus
tlaToolbox: fix crash on file open dialog
2021-07-03 05:50:45 +00: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: Add output for Java bindings (*.jar and *.so)
2021-02-27 09:01:25 +01:00