public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic
History
Stéphan Kochen acf640be7b elan: fix darwin build
2021-05-15 12:02:46 +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.3.3 → 2.4.0
2021-04-26 08:32:18 +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: 3.29.0 -> 3.30.0
2021-05-01 05:49:45 +00:00
lean2
lean2: stay with python2
2021-04-03 17:06:21 +02: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
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: 0.1.8 -> 0.1.9
2021-05-08 18:34:00 -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: Mark broken
2021-05-11 01:56:48 +02:00
tlaplus
tla-toolbox: 1.7.0 -> 1.7.1
2021-03-14 12:27:35 -04: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