Commit Graph
117999 Commits
Author SHA1 Message Date
Bjørn Forsman 38e6ae8e44 at: fix permission errors with "batch" on NixOS
Fixes https://github.com/NixOS/nixpkgs/issues/12392
2017-10-16 19:08:19 +02:00
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 b72f543f96 picosat: install more stuff
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

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
Austin Seipp 35c885dc3d nixpkgs: yosys 2017.09.01 -> 2017.10.16, enable parallel builds
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp 3b08d97e07 nixpkgs: simplify arachne-pnr makeFlags, make myself maintainer
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp 11cd2c52c4 nixpkgs: icestorm 2017.08.31 -> 2017.10.16
Also add myself to the maintainers list.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Lancelot SIXandGitHub eaeb6721d9 Merge pull request #30471 from thall/qgis_2_18_13
qgis: 2.18.12 -> 2.18.13
2017-10-16 18:29:09 +02:00
Jörg ThalheimandGitHub be18284ea1 Merge pull request #30472 from zx2c4/fix-mdns
nsswitch: use [NOTFOUND=return] for mdns
2017-10-16 14:48:58 +01:00
Tim Steinbach 00669df0c1 linux: 4.14-rc4 -> 4.14-rc5 2017-10-16 09:26:36 -04:00
Jason A. Donenfeld f6d8a96993 nsswitch: use [NOTFOUND=return] for mdns
Commit 987aac7 and issue #18183 were intended to fix support for other
things, but in the process, changed mdns_minimal to use the wrong return
setting, resulting in permanent failures in early boot, affecting things
like issue #30459.

Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
2017-10-16 15:11:58 +02:00
Markus MuellerandFranz Pletz 60b0db0e08 gitlab: link tmp/ directory to writable path 2017-10-16 14:58:02 +02:00
Markus MuellerandFranz Pletz f250015ea3 nixos/gitlab: fix uploades directory permissions 2017-10-16 14:58:02 +02:00
Joerg Thalheim 3f4a6754ef wireguard: 0.0.20171005 -> 0.0.20171011 2017-10-16 13:50:40 +01:00
Niclas Thall 2c8058183f qgis: 2.18.12 -> 2.18.13 2017-10-16 13:41:39 +02:00
Graham Christensen ea50efcc67 wpa_supplicant: patch for KRACKAttack
CVE-2017-13077: Reinstallation of the pairwise encryption key (PTK-TK) in the 4-way handshake.
    CVE-2017-13078: Reinstallation of the group key (GTK) in the 4-way handshake.
    CVE-2017-13079: Reinstallation of the integrity group key (IGTK) in the 4-way handshake.
    CVE-2017-13080: Reinstallation of the group key (GTK) in the group key handshake.
    CVE-2017-13081: Reinstallation of the integrity group key (IGTK) in the group key handshake.
    CVE-2017-13082: Accepting a retransmitted Fast BSS Transition (FT) Reassociation Request and reinstalling the pairwise encryption key (PTK-TK) while processing it.
    CVE-2017-13084: Reinstallation of the STK key in the PeerKey handshake.
    CVE-2017-13086: reinstallation of the Tunneled Direct-Link Setup (TDLS) PeerKey (TPK) key in the TDLS handshake.
    CVE-2017-13087: reinstallation of the group key (GTK) when processing a Wireless Network Management (WNM) Sleep Mode Response frame.
    CVE-2017-13088: reinstallation of the integrity group key (IGTK) when processing a Wireless Network Management (WNM) Sleep Mode Response frame.
2017-10-16 07:33:44 -04:00
Graham Christensen 629965a532 hostapd: patch for KRACKAttack
CVE-2017-13077: Reinstallation of the pairwise encryption key (PTK-TK) in the 4-way handshake.
    CVE-2017-13078: Reinstallation of the group key (GTK) in the 4-way handshake.
    CVE-2017-13079: Reinstallation of the integrity group key (IGTK) in the 4-way handshake.
    CVE-2017-13080: Reinstallation of the group key (GTK) in the group key handshake.
    CVE-2017-13081: Reinstallation of the integrity group key (IGTK) in the group key handshake.
    CVE-2017-13082: Accepting a retransmitted Fast BSS Transition (FT) Reassociation Request and reinstalling the pairwise encryption key (PTK-TK) while processing it.
    CVE-2017-13084: Reinstallation of the STK key in the PeerKey handshake.
    CVE-2017-13086: reinstallation of the Tunneled Direct-Link Setup (TDLS) PeerKey (TPK) key in the TDLS handshake.
    CVE-2017-13087: reinstallation of the group key (GTK) when processing a Wireless Network Management (WNM) Sleep Mode Response frame.
    CVE-2017-13088: reinstallation of the integrity group key (IGTK) when processing a Wireless Network Management (WNM) Sleep Mode Response frame.
2017-10-16 07:33:43 -04:00
Vladimír Čunát 88b853eb80 Revert "libinput: 1.7.3 -> 1.8.3"
This reverts commit 12f460e9e6.
It doesn't build.  Discuss at #29784.
2017-10-16 11:55:40 +02:00
Dario BertiniandJoerg Thalheim e55b99e840 pipenv: init at 8.2.7
fixes #30442
2017-10-16 08:59:14 +01:00
Dario BertiniandJoerg Thalheim 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 ThalheimandGitHub 09deacb7b8 Merge pull request #30388 from Infinisil/vis-fix
cli-visualizer: fix
2017-10-16 08:46:59 +01:00
Jörg ThalheimandGitHub e4532af925 Merge pull request #30421 from KaiHa/lbdb-0.44
lbdb: 0.38 -> 0.44
2017-10-16 08:46:22 +01:00
Vincent Laporte 4cec2d6fb7 ocamlPackages.qtest: 2.6 -> 2.7 2017-10-16 07:02:03 +00:00
Peter Hoeg 02a23b7b24 sddm: theme background images use a relative path which breaks sddm-kcm 2017-10-16 14:25:23 +08:00
Nikolay Amiantov 7bf191337e opencv: use BLAS and eigen by default
Gives a performance boost.
2017-10-16 03:39:35 +03:00
Simon LackerbauerandRobin Gloster 800f751740 abella: 2.0.2 -> 2.0.4 2017-10-16 02:39:16 +02:00
Simon LackerbauerandRobin Gloster bb94e0408f rstudio: 1.1.351 -> 1.1.383 2017-10-16 02:38:26 +02:00
Mathias SchreckandRobin Gloster cd9d780f89 nodejs: 8.6.0 -> 8.7.0 2017-10-16 02:36:49 +02:00
Ruben MaherandRobin Gloster 8c85edb446 flow: 0.57.0 -> 0.57.2 2017-10-16 02:35:45 +02:00
Nikolay Amiantov d5492433af epson-escpr: 1.6.12 -> 1.6.16 2017-10-16 02:05:19 +03:00
Joachim FandGitHub 3e93e3d245 Merge pull request #30451 from rardiol/patch-1
doc/installing-usb.xml: fix dead kernel parameter link docs.
2017-10-15 23:05:00 +00:00
Shea Levy ad6b8f438d Merge branch 'all-cabal-hashes-components' 2017-10-15 18:13:29 -04:00
Robert Helgesson 2d44e72801 httpie: remove superfluous field 2017-10-16 00:06:06 +02:00
Nikolay Amiantov 50ef776bd4 python.pkgs.Keras: remove default backend
Theano is discontinued. Instead of setting TensorFlow by default let the user
explicitly add preferred backend into environment.
2017-10-16 00:59:51 +03:00
rardiolandGitHub 73a8e002d4 doc/installing-usb.xml: fix dead kernel parameter link docs. 2017-10-15 19:28:30 -02:00
Tim Steinbach 19997f0100 linux-copperhead: 4.13.6.a -> 4.13.7.a 2017-10-15 15:28:16 -04:00
Yegor TimoshenkoandJörg Thalheim 12f460e9e6 libinput: 1.7.3 -> 1.8.3
fixes #29784
2017-10-15 12:14:02 -05:00
Yegor TimoshenkoandJörg Thalheim db11d7fd2b xf86-input-libinput: 0.25.1 -> 0.26.0 2017-10-15 12:13:58 -05:00
Yegor TimoshenkoandJörg Thalheim 8f95aef531 meson: do not strip RPATH
https://github.com/NixOS/nixpkgs/pull/28444#issuecomment-324033323
2017-10-15 12:13:58 -05:00
Jörg ThalheimandGitHub 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 ThalheimandGitHub 58350ad44a Merge pull request #30424 from florianjacob/piwik-3.2
piwik: 3.1.1 -> 3.2.0
2017-10-15 17:57:58 +01:00
Jörg ThalheimandGitHub 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 c100811d63 scudcloud: add jsmin dependency, fixes build 2017-10-15 16:16:36 +02:00
Franz Pletz dc38f6c524 pythonPackages.jsmin: init at 2.2.2 2017-10-15 16:16:33 +02:00
Franz Pletz 1be825f1e5 pythonPackages.libnacl: 1.5.2 -> 1.6.0, fix new libsodum 2017-10-15 16:04:08 +02:00
Joachim FandGitHub 28b0dfac1e Merge pull request #30417 from SuprDewd/astroid-0.10.2
astroid: 0.9.1 -> 0.10.2
2017-10-15 13:48:53 +00:00
Stefan Siegl 0a58a2fe53 plv8: 2.0.3 -> 2.1.0 2017-10-15 15:45:08 +02:00
Stefan Siegl 68d48aae7e plv8: use v8_6_x 2017-10-15 15:44:50 +02:00
Franz Pletz 5190b05fa2 fastd: disable aes128-ctr, fix build with new libsodium 2017-10-15 15:27:32 +02:00