index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
Commit message (
Expand
)
Author
Age
*
clingo: 5.4.0 -> 5.4.1
R. RyanTM
2020-12-07
*
abc-verifier: 2020.06.22 -> 2020.11.24
Austin Seipp
2020-12-02
*
Merge pull request #100750 from arcz/boolector
Austin Seipp
2020-12-02
|
\
|
*
boolector: fix darwin build
Artur Cygan
2020-11-29
|
*
btor2tools: fix install_name on darwin
Artur Cygan
2020-11-29
*
|
proverif: install emacs mode
Vincent Laporte
2020-11-29
*
|
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox
Sandro
2020-11-29
|
\
\
|
|
/
|
/
|
|
*
tlaplusToolbox: 1.6.0 -> 1.7.0
R. RyanTM
2020-07-07
*
|
z3: enable build on non-x86_64 unix; checked the build on aarch64-linux
Michael Raskin
2020-11-27
*
|
Merge pull request #105111 from r-ryantm/auto-update/workcraft
Sandro
2020-11-27
|
\
\
|
*
|
workcraft: 3.3.1 -> 3.3.2
R. RyanTM
2020-11-27
*
|
|
treewide: ran ./maintainers/scripts/update_redirected_urls.sh
Patrick Hilhorst
2020-11-27
*
|
|
Merge pull request #99761 from fgaz/key/init
Sandro
2020-11-25
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
key: init at 2.6.3
Francesco Gazzetta
2020-10-06
*
|
|
Merge pull request #103590 from r-ryantm/auto-update/workcraft
Sandro
2020-11-24
|
\
\
\
|
*
|
|
workcraft: 3.3.0 -> 3.3.1
R. RyanTM
2020-11-12
*
|
|
|
coq_8_12: 8.12.0 → 8.12.1
Vincent Laporte
2020-11-15
*
|
|
|
lean: 3.21.0 -> 3.23.0
R. RyanTM
2020-11-11
|
/
/
/
*
|
|
Merge branch 'master' into staging-next
Jan Tojnar
2020-11-05
|
\
\
\
|
*
|
|
lean: build olean files
Gabriel Ebner
2020-11-04
*
|
|
|
Merge staging-next into staging
Frederik Rietdijk
2020-11-03
|
\
|
|
|
|
*
|
|
treewide: simplify rev/repo arguments in src
Pavol Rusnak
2020-11-01
*
|
|
|
Merge staging-next into staging
Frederik Rietdijk
2020-11-01
|
\
|
|
|
|
*
|
|
Revert "coq: propagate and install ocaml and findlib"
Vincent Laporte
2020-10-31
*
|
|
|
Merge branch master into staging to fix eval error
Andreas Rammhold
2020-10-28
|
\
|
|
|
|
*
|
|
treewide: remove package names from prefix of descriptions
Ben Siraphob
2020-10-27
|
*
|
|
Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"
Vladimír Čunát
2020-10-25
|
*
|
|
Merge #101508: libraw: 0.20.0 -> 0.20.2
Vladimír Čunát
2020-10-25
|
|
\
\
\
|
|
*
\
\
Merge branch 'staging-next' into staging
Jan Tojnar
2020-10-22
|
|
|
\
\
\
|
|
*
\
\
\
Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook
Daiderd Jordan
2020-10-21
|
|
|
\
\
\
\
|
|
|
*
|
|
|
treewide: move fixDarwinDylibNames to nativeBuildInputs
Andrew Childs
2020-10-21
*
|
|
|
|
|
|
Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"
Vladimír Čunát
2020-10-26
|
/
/
/
/
/
/
*
|
|
/
/
/
cryptoverif: 2.01pl1 → 2.03pl1
Vincent Laporte
2020-10-23
|
|
_
|
/
/
/
|
/
|
|
|
|
*
|
|
|
|
coq: propagate and install ocaml and findlib
Théo Zimmermann
2020-10-21
|
/
/
/
/
*
|
|
|
Merge pull request #100741 from arcz/btor2tools
Austin Seipp
2020-10-19
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
btor2tools: enable unix platforms
Artur Cygan
2020-10-16
*
|
|
|
lean: 3.19.0 -> 3.21.0
R. RyanTM
2020-10-18
|
/
/
/
*
|
|
tamarin-prover: 1.4.1 → 1.6.0 (#100148)
Vincent Laporte
2020-10-13
*
|
|
z3_4_4_0: add old version for Isabelle
Jakub Kądziołka
2020-10-03
*
|
|
ocamlPackages.z3: init at 4.8.9
Vincent Laporte
2020-09-30
*
|
|
Merge pull request #98441 from vbgl/why3-1.3.3
Doron Behar
2020-09-23
|
\
\
\
|
*
|
|
why3: 1.3.1 -> 1.3.3
Vincent Laporte
2020-09-23
*
|
|
|
cvc3: enable for darwin
Robert Scott
2020-09-22
*
|
|
|
cvc3: fix build against bison 3.7
Robert Scott
2020-09-22
*
|
|
|
Merge pull request #98239 from Sohalt/avy
Austin Seipp
2020-09-22
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
avy: 2017.10.16 -> 2019.05.01
sohalt
2020-09-20
|
|
/
/
*
/
/
leo3: fix executable
Gabriel Ebner
2020-09-19
|
/
/
*
|
ott: 0.30 → 0.31
Vincent Laporte
2020-09-14
*
|
z3: 4.8.8 -> 4.8.9
Thomas Tuegel
2020-09-11
*
|
tlaplus: remove myself from maintainers list
Badi Abdul-Wahid
2020-09-09
[next]