1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 13:41:26 +00:00
Nix Packages collection
Go to file
Arseniy Seroka 4fd4112593 Merge pull request #7765 from sheganinans/master
Z3 solver, optimization edition.
2015-05-09 15:42:10 +03:00
doc Docs: non-empty value -> true 2015-05-05 20:12:37 +00:00
lib z3 opt 2015-05-08 23:45:07 -07:00
maintainers Travis: disable tarball creating check, because travis can't handle it 2015-03-04 15:28:09 +01:00
nixos Revert restartIfChanged on fetch-ec2-data, as it breaks deployments that set ec2.metadata = true, as the existing (default) blackhole will not be cleared. 2015-05-07 08:51:38 +00:00
pkgs Merge pull request #7765 from sheganinans/master 2015-05-09 15:42:10 +03:00
.gitignore gitignore: pkgs/development/libraries/qt-5/*/tmp/ 2015-02-21 11:39:20 -06:00
.travis.yml .travis.yml: add "sudo: required" to opt out of containers 2015-04-07 15:45:00 +02:00
.version release: 15.04 -> 15.05 2014-12-09 15:09:06 +01:00
COPYING
default.nix if we abort with too old Nix, hint docs 2015-01-21 21:41:40 +01:00
README.md add: logo 2015-04-06 20:10:25 +03:00