nixpkgs/pkgs/development
Austin Seipp 54ae0aa1b0 z3_opt: remove and replace with z3
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
..
arduino arduino: 1.6.12 -> 1.8.2 2017-06-01 08:44:27 +02:00
beam-modules use https://github.com for all homepages 2017-08-17 14:53:40 -07:00
bower-modules/generic
compilers z3_opt: remove and replace with z3 2017-09-02 04:19:11 -05:00
coq-modules coqPackages.interval: fix URL 2017-08-11 16:29:14 +00:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules go-modules/generic: add missing PATHs to GOPATH when using nix-shell (#26176) 2017-06-01 20:40:21 +02:00
guile-modules pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
haskell-modules ghcHEAD: Add new boot packages to configuration file 2017-09-01 13:49:56 +00:00
idris-modules idrisPackages.idris: 1.0 -> 1.1.1 2017-08-23 06:45:32 -05:00
interpreters Merge commit '2858c41' into HEAD 2017-08-30 21:07:07 +02:00
java-modules treewide: use boolToString function 2017-04-11 18:18:53 +02:00
libraries profanity support for unix 2017-08-31 21:29:26 +02:00
lisp-modules Do an ASDF build of StumpWM in quicklisp-converted version 2017-08-18 02:22:04 +02:00
lua-modules
misc pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
mobile androidndk: wrap scripts in $out/libexec 2017-08-17 15:46:01 +00:00
node-packages nodePackages.live-server : init at 1.2.0 2017-09-01 16:47:11 +01:00
ocaml-modules ocamlPackages.ppx_deriving: 4.1 -> 4.2 2017-08-30 02:33:23 +00:00
perl-modules perlPackages.CompressRawZlib: 2.071 -> 2.074 2017-08-19 21:07:57 +02:00
pharo pharo: set platforms based on flavor selection 2017-08-26 16:03:31 +02:00
pure-modules purePackages.octave: Use octaveHg 2017-04-09 21:54:39 +10:00
python-modules python/pyocr: 0.4.6 -> 0.4.7 2017-09-02 05:31:22 +02:00
qtcreator pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
r-modules R: update package set 2017-08-31 21:59:06 +02:00
ruby-modules bundler: 1.15.3 -> 1.15.4 2017-08-30 21:05:45 +08:00
tools icestorm: 2016.11.01 -> 2017.08.31 2017-09-02 04:19:11 -05:00
web nodejs: 8.3.0 -> 8.4.0 2017-08-30 02:57:36 +02:00