public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic
History
volth bc0d605cf1 treewide: fix double quoted strings in meta.description 
Signed-off-by: Ben Siraphob <bensiraphob@gmail.com>
2021-01-24 19:56:59 +07: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: use dune install
2021-01-21 11:26:26 +01:00
aiger
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
alt-ergo
alt-ergo: 2.3.2 → 2.3.3
2020-08-29 06:21:23 +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: 20180403 -> unstable-2020-03-11
2020-04-19 21:54:06 -04: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: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
coq
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08: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
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01: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: stdenv.lib -> lib
2021-01-16 17:58:11 +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
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
lean2
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
leo2
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01: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
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01: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: stdenv.lib -> lib
2021-01-16 17:58:11 +07: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: fix double quoted strings in meta.description
2021-01-24 19:56:59 +07:00
saw-tools
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07: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
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
tamarin-prover
tamarin-prover: 1.4.1 → 1.6.0 (#100148)
2020-10-13 10:16:11 +02:00
tlaplus
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +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: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
workcraft
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
yices
treewide: fix double quoted strings in meta.description
2021-01-24 19:56:59 +07:00
z3
treewide: fix double quoted strings in meta.description
2021-01-24 19:56:59 +07:00