nixpkgs/pkgs/applications/science/logic/ at 18.03-beta · pyrox.dev/nixpkgs

abc

abc-verifier: fix typo in meta

8 years ago

abella

abella: 2.0.2 -> 2.0.4

8 years ago

acgtk

ocamlPackages.cairo2: 0.4.6 -> 0.5

8 years ago

aiger

aiger: fix stupid incorrect download link

8 years ago

alt-ergo

Merge pull request #28229 from jpierre03/pr-alt-ergo

8 years ago

aspino

Merge remote-tracking branch 'upstream/master' into hardened-stdenv

9 years ago

avy

avy: fixes to work with clang and musl

8 years ago

boolector

boolector: patch usage of ar and ranlib for cross

8 years ago

coq

Merge staging and PR #35021

8 years ago

coq2html

coq2html: New expression

8 years ago

cryptominisat

cryptominisat: use new xxd package instead of vim

8 years ago

cryptoverif

cryptoverif: 1.22 -> 1.28

8 years ago

cubicle

cubicle: 1.0.2 -> 1.1.1

8 years ago

cvc3

cvc3: Add gcc6 patch from Gentoo.

8 years ago

cvc4

cvc4: build in parallel

8 years ago

drat-trim

drat-trim: fix build on darwin

8 years ago

ekrhyper

Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgs

12 years ago

eprover

eprover: fix build in non-GCC environments

8 years ago

gappa

Adds gappa 1.2.0

10 years ago

glucose

glucose-syrup: Remove unused fetchurl argument

8 years ago

hol

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

hol_light

hol_light: 2016-07-23 -> 2017-07-06

8 years ago

iprover

iprover: 0.8.1 -> 2.5

8 years ago

isabelle

isabelle: 2016-1 -> 2017

8 years ago

jonprl

Merge remote-tracking branch 'upstream/staging' into deps-reorg

8 years ago

lci

Don't use "with licenses;" for single licences

10 years ago

lean

lean: fixup nativeBuildInputs vs buildInputs

8 years ago

lean2

meson/ninja: add setup hooks (#28444)

8 years ago

leo2

Merge remote-tracking branch 'upstream/master' into hardened-stdenv

9 years ago

logisim

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

ltl2ba

Captialize meta.description of all packages

9 years ago

matita

treewide: use ocaml.version (#19192)

9 years ago

mcrl2

treewide: transition mesa to libGLU_combined

8 years ago

metis-prover

metis-prover: 2.3.20160102 -> 2.3.20160713

9 years ago

minisat

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

open-wbo

open-wbo: init at 2.0

8 years ago

opensmt

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

ott

Merge pull request #32538 from vbgl/ott-0.27

8 years ago

otter

otter: Mark broken

9 years ago

picosat

picosat: fix ar and ranlib usage for cross

8 years ago

poly

libpoly: 0.1.3 -> 0.1.4

8 years ago

potassco

clingo: init at 5.2.2

8 years ago

prooftree

misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`

8 years ago

prover9

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

proverif

proverif: 1.95 -> 1.97pl1

8 years ago

redprl

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

sad

Merge remote-tracking branch 'upstream/master' into hardened-stdenv

9 years ago

sapic

nixpkgs: init sapic 0.9

8 years ago

satallax

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

saw-tools

replace ${stdenv.cc.cc}/lib occurences

9 years ago

spass

spass: 3.7 -> 3.9

9 years ago

statverif

statverif: init at 1.86pl4

9 years ago

stp

maintainers: remove mornfall from packages

8 years ago

symbiyosys

symbiyosys: 2018.01.10 -> 2018.02.04

8 years ago

tamarin-prover

tamarin-prover: enable tests

8 years ago

tlaplus

Merge branch 'master'

8 years ago

tptp

Merge branch 'master' into staging

8 years ago

twelf

misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`

8 years ago

verifast

treewide: explicitly specify gtk and related package versions

9 years ago

verit

veriT: 201506 -> 2016

9 years ago

why3

why3: 0.88.1 -> 0.88.3

8 years ago

yices

yices: 2.5.3 -> 2.5.4

8 years ago

z3

Merge remote-tracking branch 'upstream/master' into HEAD

8 years ago