John Wiegley
7d6d4af1d1
Add missing default.nix for coqPackages.equations
2017-11-12 09:33:40 -08:00
John Wiegley
dcab51c6f4
coqPackages.QuickChick: Update build for Coq 8.6 and 8.7
2017-11-12 09:17:48 -08:00
John Wiegley
f1fc74359f
coqPackages.ssreflect: Build version 0.6.4 for Coq 8.6 and 8.7
2017-11-12 08:50:37 -08:00
John Wiegley
b2418ca598
coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7
2017-11-12 08:50:36 -08:00
Katona László
c2d9871823
aliza: 1.29.2->1.36.3
2017-11-12 17:46:37 +01:00
Orivej Desh
286faa2834
hydra: 2017-09-14 -> 2017-10-26
...
Fixes the build with the current nixUnstable.
2017-11-12 16:45:19 +00:00
Orivej Desh
228dd9defb
Merge pull request #31550 from orivej/dbus-1
...
make-dbus-conf: prefer local build
2017-11-12 16:44:14 +00:00
Thomas Tuegel
605a2c944c
Merge branch 'qt-fixes' into staging
2017-11-12 09:51:56 -06:00
Thomas Tuegel
d3efa486e5
qt59.qtbase: carefully avoid applying Linux flags to Darwin build
2017-11-12 09:51:48 -06:00
Thomas Tuegel
ded18e4f47
qt59.qtbase: restore Darwin collection-types patch
2017-11-12 09:51:48 -06:00
Thomas Tuegel
2063d54c72
qt56: 5.6.2 -> 5.6.3
2017-11-12 09:51:48 -06:00
Thomas Tuegel
04ba30ef8e
qt59.qtbase: replace type with command for POSIX compatibility
2017-11-12 09:51:48 -06:00
Thomas Tuegel
3729b77531
qt5.mkDerivation: default enableParallelBuilding = true
2017-11-12 09:51:48 -06:00
Thomas Tuegel
4f72831934
qt56.qtbase: replace type with command for POSIX compatibility
2017-11-12 09:51:47 -06:00
Thomas Tuegel
9e05d61dd7
qt56: remove unused obsolete expressions
2017-11-12 09:51:47 -06:00
Thomas Tuegel
91b362c5cf
qt56.qtwebkit: fix build with ICU 59
2017-11-12 09:51:47 -06:00
Orivej Desh
5e698100b7
Merge pull request #31562 from dotlambda/braincurses
...
braincurses: init at 1.1.0
2017-11-12 14:31:20 +00:00
Robert Schütz
ebd064b761
braincurses: init at 1.1.0
2017-11-12 15:27:01 +01:00
Michael Alan Dorman
94052e40af
pdf-tools: 0.70 -> 0.80
...
At the same time, remove the unnecessary hand-specified `tablist`
package, in favor of the automatically maintained one from
melpa-stable.
2017-11-12 09:03:34 -05:00
Vladimír Čunát
24f2e730a7
llvm-{4,5}: fix build by using older gcc on i686-linux
...
This is mainly to unblock 32-bit OpenGL.
2017-11-12 14:50:20 +01:00
Evan Wallace
0f315bb01d
glog: 0.3.4 -> 0.3.5
2017-11-12 13:37:36 +00:00
Sarah Brofeldt
7e17685d09
php: Disallow bundled pcre
2017-11-12 13:19:17 +01:00
Sarah Brofeldt
201444f02d
php: Move test comment to the top
2017-11-12 13:07:22 +01:00
Vladimír Čunát
9e7021c97d
json-c*: fixup build with gcc-7 (ignore warning)
2017-11-12 12:36:30 +01:00
Vladimír Čunát
c65c1f6434
dhcp: fixup build with gcc-7 (ignore warning)
...
Upgrade to latest release wouldn't solve this one,
and it would conflict with both of our patches,
so I decided not to spend much time on this for now.
2017-11-12 12:16:47 +01:00
Vladimír Čunát
4efdd7e87d
libjack2: fix build with gcc-7 via upstream patch
2017-11-12 11:35:06 +01:00
Vincent Laporte
dd1a9fa915
ocamlPackages.nocrypto: remove spurious dependency on oasis
2017-11-12 10:19:56 +00:00
Vladimír Čunát
f52bafe8e1
aspell: fix build with gcc-7 via upstream patch
2017-11-12 11:15:07 +01:00
Vincent Laporte
d9dd5425b0
ocamlPackages.angstrom: remove spurious dependency on oasis
2017-11-12 10:14:51 +00:00
Vincent Laporte
45431bed57
ocamlPackages.ocaml_gettext: 0.3.5 -> 0.3.7
2017-11-12 10:14:50 +00:00
Sarah Brofeldt
88195b9863
php: pcre test blocks -small channels as well
2017-11-12 11:03:54 +01:00
Frederik Rietdijk
74c92a341d
Merge pull request #31554 from xvapx/libnacl
...
pythonPackages.libnacl: 1.6.0 -> 1.6.1
2017-11-12 10:43:29 +01:00
Vladimír Čunát
185cd2c60c
librevenge: fixup build with gcc-7 (ignore a warning)
2017-11-12 10:35:39 +01:00
Gabriel Ebner
30cf73cbde
racket: reenable docs by default
2017-11-12 10:12:29 +01:00
Vincent Laporte
27d2eef21a
ocamlPackages.gen: 0.4.0.1 -> 0.5
2017-11-12 09:10:01 +00:00
Vincent Laporte
88389f43f7
ocamlPackages.containers: remove spurious dependency on oasis
2017-11-12 09:09:53 +00:00
Vladimír Čunát
c962702b57
ncurses5: fix by building with gcc6
...
I don't see how to bypass
error: no matching function for call to 'NCursesUserPanel<T>::get_user() const'
and we use this to bootstrap ghc.
2017-11-12 10:05:45 +01:00
Marti Serra
86ffe92e96
pythonPackages.libnacl: 1.6.0 -> 1.6.1
2017-11-12 09:49:14 +01:00
Vladimír Čunát
80e8e555b4
SDL2: disable parallel building
...
Example failure: https://hydra.nixos.org/build/63996552
2017-11-12 09:47:30 +01:00
Vladimír Čunát
16af7480d0
libsepol: fixup build with gcc-7
...
... by ignoring a newly detected warning.
2017-11-12 09:39:50 +01:00
Jens Binkert
dbd333747e
pidginsipe: 1.22.1 -> 1.23.0
2017-11-12 09:35:21 +01:00
Gabriel Ebner
b7490c9702
racket: fix build by using gcc7
...
See #31017 .
2017-11-12 09:30:58 +01:00
Vladimír Čunát
e3bbc4a503
spidermonkey-17: fixup build with gcc-7 via Fedora patch
...
This failed many builds through the polkit dependency.
2017-11-12 09:07:41 +01:00
Sarah Brofeldt
58d07e2d6b
php: Add nixos test to ensure php-pcre works in httpd
2017-11-12 08:05:27 +01:00
taku0
194fed059d
oraclejdk: remove JCE option
...
The unlimited JCE is bundled by default with Oracle JDK 9.
http://www.oracle.com/technetwork/java/javase/terms/readme/jdk9-readme-3852447.html
2017-11-12 15:02:35 +09:00
Samuel Leathers
65424eac66
Merge pull request #31542 from c0bw3b/pkg/lftp
...
lftp: 4.8.2 -> 4.8.3
2017-11-11 23:21:57 -05:00
Orivej Desh
fb8d552026
make-dbus-conf: prefer local build
2017-11-12 03:52:21 +00:00
Dmitry Kalinkin
c66656a18c
gnome-doc-utils: fix build for stores containing '+' character
2017-11-11 22:40:51 -05:00
rnhmjoj
ebbe165860
docs: document networking.wireless changes
2017-11-12 00:39:17 +01:00
Luke Adams
2ce30c5b53
remove prlcc from global systemd services
2017-11-11 17:05:08 -06:00