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
/
z3
Commit message (
Expand
)
Author
Age
*
z3: 4.8.12 -> 4.8.14
Sergei Trofimovich
2022-01-02
*
treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate
Alyssa Ross
2021-10-13
*
z3: 4.8.10 -> 4.8.12
Bruce Collie
2021-09-24
*
treewide: remove meta.version
Felix Buehler
2021-07-18
*
z3: Add output for Java bindings (*.jar and *.so)
Lorenz Leutgeb
2021-02-27
*
z3: 4.8.9 -> 4.8.10
Fabian Affolter
2021-02-09
*
treewide: fix double quoted strings in meta.description
volth
2021-01-24
*
treewide: stdenv.lib -> lib
Ben Siraphob
2021-01-16
*
z3: enable build on non-x86_64 unix; checked the build on aarch64-linux
Michael Raskin
2020-11-27
*
treewide: ran ./maintainers/scripts/update_redirected_urls.sh
Patrick Hilhorst
2020-11-27
*
Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"
Vladimír Čunát
2020-10-26
*
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
*
z3: 4.8.8 -> 4.8.9
Thomas Tuegel
2020-09-11
*
z3: add ttuegel to maintainers
Thomas Tuegel
2020-08-21
*
z3: 4.8.7 -> 4.8.8
Thomas Tuegel
2020-08-21
*
z3: Add Java Bindings (#92096)
Lorenz Leutgeb
2020-08-15
*
z3: 4.8.5 -> 4.8.7
Austin Seipp
2019-12-14
*
z3: 4.8.4 -> 4.8.5
Will Dietz
2019-06-10
*
z3: Patch file to get rid of python error
Samuel W. Flint
2019-02-14
*
z3-tptp: init
Michael Raskin
2019-01-22
*
z3: 4.8.3 -> 4.8.4
Austin Seipp
2019-01-08
*
z3: 4.8.1 -> 4.8.3
Will Dietz
2018-11-27
*
z3: restrict to x86_64
Jörg Thalheim
2018-11-15
*
z3: 4.7.1 -> 4.8.1
Will Dietz
2018-10-16
*
z3: fix darwin build (#43526)
Mario Rodas
2018-07-14
*
z3: move to multiple output packages
Austin Seipp
2018-07-12
*
z3: 4.6.0 -> 4.7.1
Will Dietz
2018-05-30
*
nixpkgs: remove z3 4.5.0
Austin Seipp
2018-04-07
*
z3: also needs setuptools
Jörg Thalheim
2018-02-14
*
z3: 4.5.0-2017-11-06 -> 4.6.0
Austin Seipp
2018-01-03
*
z3_4_5_0: New expression, to access the release version's API
John Wiegley
2017-12-14
*
z3: update to latest git
Austin Seipp
2017-11-09
*
use https://github.com for all homepages
Matthew Bauer
2017-08-17
*
haskellPackages.z3: fix #16357
Domen Kožar
2017-01-03
*
z3: 4.4.1 -> 4.5.0
Gabriel Ebner
2016-11-08
*
z3: use python2
Frederik Rietdijk
2016-10-18
*
z3: 4.4.0 -> 4.4.1
Ricardo M. Correia
2016-01-21
*
nixpkgs: z3 4.3.2 -> 4.4.0
Austin Seipp
2015-06-11
*
nixpkgs: z3 is now MIT licensed.
Austin Seipp
2015-03-28
*
z3: copy all headers into nix store
Eric Seidel
2015-03-26
*
nixpkgs: z3 4.3.1 -> 4.3.2
Austin Seipp
2015-01-23
*
z3/verifast: update license
Austin Seipp
2014-05-01
*
z3: version 4.3.1
Austin Seipp
2014-03-21