tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
applications
/
science
/
logic
/
at
22.05-pre
79 folders
Michael Raskin
Merge branch 'master' into remove-opensmt
5 years ago
f2210b72
abc
Merge branch 'master' into remove-opensmt
5 years ago
abella
abella: 2.0.6 -> 2.0.7
4 years ago
acgtk
ocamlPackages.menhir: 20190626 → 20210419
4 years ago
aiger
treewide: stdenv.lib -> lib
5 years ago
alt-ergo
alt-ergo: 2.4.0 → 2.4.1
4 years ago
aspino
pkgs/applications: rename name to pname&version part 2
4 years ago
avy
treewide: stdenv.lib -> lib
5 years ago
beluga
beluga: 2020-03-11 -> 1.0
4 years ago
bitwuzla
bitwuzla: init at unstable-2021-07-01
4 years ago
boolector
boolector: add patch fixing build on aarch64-linux
4 years ago
btor2tools
treewide: stdenv.lib -> lib
5 years ago
cadical
Merge pull request #141541 from trofi/fix-yices-links
4 years ago
cedille
cedille: set no hydra platforms
4 years ago
celf
Merge branch 'master' into remove-opensmt
5 years ago
clprover
Merge staging-next into staging
5 years ago
coq
coq_8_14: 8.14+rc1 -> 8.14.0
4 years ago
cryptominisat
treewide: editorconfig fixes
5 years ago
cryptoverif
treewide: stdenv.lib -> lib
5 years ago
cubicle
Merge branch 'master' into remove-opensmt
5 years ago
cvc3
Merge branch 'master' into remove-opensmt
5 years ago
cvc4
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
5 years ago
drat-trim
Merge branch 'master' into remove-opensmt
5 years ago
ekrhyper
treewide: stdenv.lib -> lib
5 years ago
elan
Merge pull request #146243 from figsoda/treewide-rust-feature
4 years ago
eprover
eprover: 2.5 -> 2.6
4 years ago
fast-downward
Merge branch 'master' into remove-opensmt
5 years ago
gappa
pkgs/applications: rename name to pname&version part 2
4 years ago
glucose
Merge branch 'master' into remove-opensmt
5 years ago
hol
hol: expand platforms to unix
4 years ago
hol_light
pkgs/applications: rename name to pname&version part 2
4 years ago
iprover
Merge pull request #110487 from r-ryantm/auto-update/lean
5 years ago
isabelle
isabelle: Add desktop entry
4 years ago
jonprl
treewide: stdenv.lib -> lib
5 years ago
key
Merge branch 'master' into haskell-updates
4 years ago
kissat
kissat: init at 2.0.1
4 years ago
lci
Merge pull request #110487 from r-ryantm/auto-update/lean
5 years ago
lean
lean: 3.34.0 -> 3.35.0
4 years ago
lean2
lean2: stay with python2
4 years ago
leo2
leo2: 1.6.2 → 1.7.0
4 years ago
leo3
leo3-bin: deprecate phases
4 years ago
lingeling
lingeling: pre1_03b4860d -> pre1_708beb26
4 years ago
logisim
Merge pull request #130663 from symphorien/bitwuzla
4 years ago
logisim-evolution
logisim-evolution: 3.5.0 -> 3.7.1
4 years ago
ltl2ba
treewide: stdenv.lib -> lib
5 years ago
mcrl2
Merge pull request #108888 from ttuegel/feature--staging--qt-no-mkDerivation
5 years ago
mcy
treewide: stdenv.lib -> lib
5 years ago
metis-prover
Merge branch 'master' into remove-opensmt
5 years ago
minisat
Merge branch 'master' into remove-opensmt
5 years ago
monosat
treewide: refactor isi686 && isx86_64 -> isx86
4 years ago
open-wbo
pkgs/applications: rename name to pname&version part 2
4 years ago
opensmt
Merge pull request #144502 from r-ryantm/auto-update/opensmt
4 years ago
ott
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
5 years ago
otter
treewide: stdenv.lib -> lib
5 years ago
petrinizer
petrinizer: restrict platforms by sbv
4 years ago
picosat
treewide: stdenv.lib -> lib
5 years ago
poly
libpoly: 0.1.9 -> 0.1.10
4 years ago
potassco
treewide: remove meta.version
4 years ago
prooftree
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
5 years ago
prover9
Merge pull request #145056 from angustrau/logisim-evolution-3.7.1
4 years ago
proverif
proverif: 2.02pl1 → 2.03
4 years ago
redprl
redprl: unstable-2017-03-28 -> unstable-2019-11-04
4 years ago
sad
pkgs/applications: rename name to pname&version part 2
4 years ago
satallax
treewide: remove meta.version
4 years ago
saw-tools
Merge pull request #131463 from angustrau/logisim-evolution
4 years ago
spass
Merge branch 'master' into remove-opensmt
5 years ago
statverif
treewide: stdenv.lib -> lib
5 years ago
stp
Merge branch 'master' into remove-opensmt
5 years ago
symbiyosys
symbiyosys: 2020.08.22 -> 2021.09.13
4 years ago
tamarin-prover
tamarin-prover: 1.6.0 → 1.6.1
4 years ago
tlaplus
tlaplusToolbox: deprecate phases
4 years ago
tptp
Merge branch 'master' into remove-opensmt
5 years ago
twelf
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
5 years ago
vampire
Merge branch 'master' into remove-opensmt
5 years ago
verifast
verifast: 19.12 -> 21.04
4 years ago
verit
Merge branch 'master' into remove-opensmt
5 years ago
why3
why3: remove spurious camlp5 dependency
4 years ago
workcraft
Merge pull request #135404 from r-ryantm/auto-update/workcraft
4 years ago
yices
yices: drop symlink hack, avoid ldconfig on linux
4 years ago
z3
treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate
4 years ago