Commit Graph

31776 Commits

Author SHA1 Message Date
Austin Seipp
635fbcbd33 nixpkgs: add aiger 1.9.9
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
e84cec2762 nixpkgs: add 'avy' -- property directed AIGER model checking
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
740fb165da nixpkgs: add symbiyosys, for HDL verification flows
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Dario Bertini
e55b99e840 pipenv: init at 8.2.7
fixes #30442
2017-10-16 08:59:14 +01:00
Dario Bertini
c6f90f9493 pew: 0.1.14 -> 1.1.0
Pew was actually broken, due to a SHELL PATH check that had been added
in the previous release (though this shouldn't have hampered users with
bash as their shell)
2017-10-16 08:59:06 +01:00
Jörg Thalheim
e4532af925 Merge pull request #30421 from KaiHa/lbdb-0.44
lbdb: 0.38 -> 0.44
2017-10-16 08:46:22 +01:00
Jörg Thalheim
69886a4170 Merge pull request #29819 from Moredread/mechanicalsoup-0.7.0
pythonPackages.MechanicalSoup: 0.4.0 -> 0.7.0
2017-10-15 18:06:40 +01:00
Jörg Thalheim
04c6047b51 Merge pull request #30435 from stesie/update-plv8
Update plv8 + build against V8 6.x
2017-10-15 17:37:15 +01:00
Franz Pletz
dc38f6c524
pythonPackages.jsmin: init at 2.2.2 2017-10-15 16:16:33 +02:00
Stefan Siegl
68d48aae7e
plv8: use v8_6_x 2017-10-15 15:44:50 +02:00
Nikolay Amiantov
f7d308dbdc plyfile: init at 0.5 2017-10-15 15:41:30 +03:00
Vladimír Čunát
3ee33f35f8
Merge branch 'staging'
Contains security fixes in X server and X libs.
On Hydra, the amount to rebuild on master is now higher than on staging;
the comparison looks OK.
2017-10-15 13:59:18 +02:00
Vladimír Čunát
75e4191739
libreoffice(-still): fixup build by using older icu
It's slightly risky, as many dependencies use the newer icu already.
-fresh seems OK without such changes.
2017-10-15 13:49:08 +02:00
Vladimír Čunát
21034a44f0
mailcore2: fixup build by using older icu again 2017-10-15 11:05:34 +02:00
Vladimír Čunát
7cdbc8b246
firebirdSuper: fixup build by using older icu again 2017-10-15 10:53:53 +02:00
Kai Harries
c37198e81d lbdb: 0.38 -> 0.44 2017-10-14 22:02:13 +02:00
Vladimír Čunát
8abbf3379e
v8: fixup build by using older icu again 2017-10-14 19:40:22 +02:00
gnidorah
27bcd6c426 mailnag: fix working (#30358)
* mailnag: fix working

* mailnag: use wrapGAppsHook; add icon theme
2017-10-14 12:07:44 +01:00
Maximilian Bosch
eef496f01c pythonPackages.yowsup: init at v2.5.2 (#30406)
* pythonPackages.yowsup: init at v2.5.2

* python.pkgs.yowsup: fix tests
2017-10-14 10:54:59 +01:00
Justin Humm
5cca8800a4 notmuch-bower: init at 2017-09-27 (#29856)
* bower: init and add erictapen as maintainer

* bower: fix up

* notmuch-bower: rename from bower
2017-10-14 10:08:04 +01:00
Vladimír Čunát
6525c22ef1
Merge branch 'master' into staging
Hydra: ?compare=1401528
2017-10-14 10:36:13 +02:00
Peter Hoeg
f22ce20ec0 Revert "hyperv-daemons: init at current linux kernel version"
This reverts commit 51f1c635e6.
2017-10-14 14:42:49 +08:00
Peter Hoeg
a5e387592a Revert "nix-upgrade-scripts: init at 0.0.4"
This reverts commit 15d2cf5494.
2017-10-14 14:42:49 +08:00
Peter Hoeg
72d8eeea88 Revert "amarok-kf5: init at 2.8.91-20170228"
This reverts commit fde0bad577.
2017-10-14 14:42:49 +08:00
Peter Hoeg
8df1c9ac17 Revert "firewalld: init at 0.4.4.4"
This reverts commit 178a96f99b.
2017-10-14 14:42:48 +08:00
Peter Hoeg
5f6d2d15ac Revert "nvidia-firmware: init at 325.15"
This reverts commit 15bdbc21f9.
2017-10-14 14:42:48 +08:00
Peter Hoeg
15bdbc21f9 nvidia-firmware: init at 325.15 2017-10-14 14:38:04 +08:00
Peter Hoeg
178a96f99b firewalld: init at 0.4.4.4
Includes systemd module.
2017-10-14 14:38:04 +08:00
Peter Hoeg
fde0bad577 amarok-kf5: init at 2.8.91-20170228 2017-10-14 14:38:04 +08:00
Peter Hoeg
15d2cf5494 nix-upgrade-scripts: init at 0.0.4 2017-10-14 14:38:04 +08:00
Peter Hoeg
51f1c635e6 hyperv-daemons: init at current linux kernel version 2017-10-14 14:38:04 +08:00
Peter Hoeg
2fdfefa2da Merge pull request #30342 from acowley/pcl-qt5
pcl: qt4 -> qt5; 1.8.0 -> 1.8.1
2017-10-14 14:00:42 +08:00
Florian Klink
c46fa38c90 gummi: init at 0.6.6 (#30398)
* gummi: init at 0.6.6

* gummi: cleanup
2017-10-13 23:22:12 +01:00
Jörg Thalheim
d7030f7576 Merge pull request #30167 from gnidorah/kmsxx
kmsxx and pykms: init at 2017-10-03
2017-10-13 20:58:44 +01:00
Eisfreak7
06fc476bc6 qutebrowser: 0.11 -> 1.0.1 (#30365)
* qutebrowser: 0.11 -> 1.0

This updates has a few breaking changes, most importantly WebEngine
is now enabled by default and the configuration system was completely
changed (requiring uers to manually migrate their configuration).

More info: https://blog.qutebrowser.org/qutebrowser-v100-released.html

* qutebrowser: 1.0.0 -> 1.0.1
2017-10-13 18:15:19 +01:00
Anthony Cowley
b2c1020a68 pcl: qt4 -> qt5; 1.8.0 -> 1.8.1 2017-10-13 00:59:50 -04:00
Peter Hoeg
f2e7019346 Merge pull request #30340 from peterhoeg/p/cryfs
cryfs: init at 0.9.7 and minor updates to dependencies (scrypt and spdlog)
2017-10-13 11:04:27 +08:00
Peter Hoeg
82b8a22fa9 Merge pull request #30354 from peterhoeg/p/sddm-kcm
sddm-kcm: init at 5.10.5
2017-10-13 09:52:14 +08:00
Frederik Rietdijk
959a5b24b5 Merge pull request #30226 from geistesk/pypcap-1.1.6
pypcap: init at 1.1.6
2017-10-12 19:41:09 +02:00
Peter Hoeg
37172d2b74 sddm-kcm: init at 5.10.5 2017-10-12 23:09:50 +08:00
gnidorah
9087f56b32 ksmxx: 2017-10-03 -> 2017-10-10 2017-10-12 18:01:37 +03:00
gnidorah
cf4a2bb111 kmsxx, pykms: suggestions by @FRidh 2017-10-12 17:59:12 +03:00
gnidorah
86ebd2e684 kmsxx and pykms: init at 2017-10-03 2017-10-12 17:59:12 +03:00
Florian Klink
ab2cc75f78 guzzle_sphinx_theme: init at 0.7.11
* maintainers: add flokli

* sphinx_guzzle_theme: init at 0.7.11

This adds sphinx_guzzle_theme, which is used for sphinx documentation in
various projects, including BorgBackup.
2017-10-12 07:14:37 +01:00
Peter Hoeg
515ea69f09 cryfs: init at 0.9.7 2017-10-12 12:41:05 +08:00
Peter Hoeg
62e73a75f1 pykms: init at 20170719 2017-10-12 08:51:11 +08:00
Graham Christensen
5a43eec070
nixpkgs: expose .git-revision in the nixexprs like NixOS
nixos/lib/make-channel.nix:16:

    echo -n ${nixpkgs.rev or nixpkgs.shortRev} > .git-revision

This means the .git-revision exists in nixos channels, but not
Nixpkgs channels. Adding it to the nixpkgs channel makes it a
common API for any Nixpkgs use cases.
2017-10-11 06:51:36 -04:00
Franz Pletz
28407fad65 Merge pull request #29726 from stesie/v8
V8 6.2.414.15
2017-10-11 12:21:18 +02:00
Maxime Dénès
d1e1ee7b09 coq: 8.7+beta1 -> 8.7+beta2 2017-10-11 03:02:01 +02:00
Langston Barrett
48a49fc12e coqPackages.HoTT: init at 20170921 2017-10-11 02:51:16 +02:00