Commit graph

86937 commits

Author SHA1 Message Date
Allen Nelson
06a945f017 lsof working on darwin 2017-01-27 15:22:39 -08:00
Kevin Cox
6dcc4623ac
libnl: 3.2.23 -> 2.3.29 to revert accidental downgrade.
libnl was accidentally downgrades to 2.3.29 in
8d342d20b5 instead of being upgraded to
2.3.29 so this fixes that.
2017-01-27 22:41:44 +00:00
Jörg Thalheim
c2a7c448da
android-udev-rules: 20170109 -> 20170125 2017-01-27 22:37:12 +01:00
Tadas Barzdzius
129c4ebfed rustRegistry: 2017-01-08 -> 2017-01-27 2017-01-27 22:07:34 +01:00
Tadas Barzdzius
a2304b0ea3 rustfmt: 0.6.3 -> 0.7.1 2017-01-27 22:07:34 +01:00
Tadas Barzdzius
edbdb4b07e rustracer: 1.2.10 -> 2.0.5 2017-01-27 22:07:34 +01:00
Robin Gloster
ff89e81898
libmsgpack_1_4: remove 2017-01-27 22:03:23 +01:00
Robin Gloster
52be026bba
libmsgpack_0_5: remove 2017-01-27 21:59:16 +01:00
Robin Gloster
264d42b9cf Merge pull request #22212 from rasendubi/musl
musl: build musl-gcc
2017-01-27 21:38:24 +01:00
Robin Gloster
426b61a1c7
openssl_1_0_1: remove 2017-01-27 21:29:53 +01:00
aszlig
61b673c1f1
gajim: Enable running test suite
This is a bit more involved, because first of all, the tests aren't
distributed in the release tarball and second the test suite currently
doesn't work but there are fixes for it that get released in the next
upstream patch, so we cherry-pick the relevant commits as patches.

We now also switch to fetching the tarball directly from their GitLab
instance, because - as mentioned - it contains the tests and also
contains the icon.index file, which we already had included as a patch
and we can now drop it.

The URLs to the cherry-picked upstream commits are the following:

1f0d7387fd
491d32a2ec
46a19733d2

All of these commits are in the gajim_0.16 branch and are thus very
likely becoming part of Gajim 0.16.7.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @7c6f434c
2017-01-27 21:06:21 +01:00
Alexey Shmalko
e799e7b5d6
musl: build musl-gcc
The build of the wrapper was disabled in 93e44be (#21023) and is not
related to the CVE itself. (See comments in the mentioned PR.)
2017-01-27 21:54:27 +02:00
Robin Gloster
c466e31a0f
libressl_2_3: remove 2017-01-27 20:39:32 +01:00
Robin Gloster
c67805ff17
llvmPackages_36: remove 2017-01-27 20:12:54 +01:00
Robin Gloster
edef570ad7
clooj: fix download 2017-01-27 20:09:49 +01:00
Robin Gloster
f66d7823ec
fix eval
cc @Baughn
2017-01-27 18:53:49 +01:00
Robin Gloster
aa686fe5c3
gnutls33: remove 2017-01-27 18:37:24 +01:00
Robin Gloster
a611ecad17
timidity: get rid of composableDerivation 2017-01-27 17:36:43 +01:00
Robin Gloster
0cd1f6bb51
gxemul: get rid of composableDerivation 2017-01-27 17:36:38 +01:00
Franz Pletz
ae3fc70ede Merge pull request #22124 from mayflower/feature/frab
frab: init at 2016-12-28 & module
2017-01-27 17:15:05 +01:00
Svein Ove Aas
3d78976c58 nginx-config-formatter: init at 2016-06-16 (#22179) 2017-01-27 16:52:20 +01:00
Robin Gloster
8769ddc823
apacheHttpd_2_2: remove 2017-01-27 15:33:54 +01:00
Graham Christensen
625680c9fc Merge pull request #22203 from taku0/firefox-bin-51.0.1
firefox, firefox-bin: 50.1.0 -> 51.0.1
2017-01-27 08:58:59 -05:00
Graham Christensen
6a8aa5361e Merge pull request #22202 from taku0/thunderbird-bin-45.7.0
thunderbird, thunderbird-bin: 45.6.0 -> 45.7.0 [Critical security fix]
2017-01-27 08:57:10 -05:00
taku0
403cb72d9a thunderbird, thunderbird-bin: 45.6.0 -> 45.7.0 2017-01-27 22:26:45 +09:00
taku0
0dbe492ca9 firefox, firefox-bin: 50.1.0 -> 51.0.1 2017-01-27 22:26:27 +09:00
Joachim F
da1cd49747 Merge pull request #22193 from Gabriel439/gabriel/dhallToNix
Add a `pkgs.dhallToNix` utility
2017-01-27 13:21:30 +01:00
Robin Gloster
cb6490fc76 Revert "Mark ihaskell as broken. Closes #22047." 2017-01-27 12:38:44 +01:00
Joachim F
7774b9ea84 Merge pull request #22190 from peterhoeg/f/wp
wp-cli: add bash completion
2017-01-27 12:17:42 +01:00
Langston Barrett
d486fb053b coqPackages.math-classes: init at 2016-06-08 2017-01-27 11:16:30 +00:00
Vladimír Čunát
a35373f584
luaPackages: refactor common platform strings 2017-01-27 11:49:04 +01:00
Vladimír Čunát
70909be2ef
luasec: 0.6pre* -> 0.6
/cc maintainer @flosse.
2017-01-27 11:39:01 +01:00
Vladimír Čunát
b095efa969
luasec: another attempt to fix on Darwin 2017-01-27 11:36:41 +01:00
Tom Hunger
6dd5c9de73 Mark ihaskell as broken. Closes #22047.
meta.broken doesn't work in buildEnv so we abort when the dependencies
are evaluated.

See bug for more context.
2017-01-27 11:34:34 +01:00
Moritz Ulrich
3842e825a7
rawtherapee: 4.2.1025 -> 5.0 2017-01-27 11:28:46 +01:00
David Terry
9276178e68 sfml: 2.3 -> 2.4.1 2017-01-27 10:59:20 +01:00
Sander van der Burg
b81001188c xcodeenv, titaniumenv: fix IPA builds by granting codesign the right permissions 2017-01-27 10:50:36 +01:00
Frederik Rietdijk
c42cfa1e91 pythonPackages.ansible_2_1: init at 2.1.4.0 2017-01-27 10:15:31 +01:00
Frederik Rietdijk
46b1ea260a pythonPackages.ansible2: move 2.2 to separate file, make default
`pythonPackages.ansible_2_2` is now the default `ansible`.
2017-01-27 10:15:31 +01:00
Frederik Rietdijk
377b05ae38 pythonPackages.ansible: remove 1.9 2017-01-27 10:10:29 +01:00
Thane Gill
ed67a10fcd pythonPackages.paste 1.7.5.1 -> 2.0.3 2017-01-27 09:41:15 +01:00
Gabriel Gonzalez
c791c0fd16 Add a pkgs.dhallToNix utility
This adds a `dhallToNix` utility which compiles expression from the Dhall
configuration language to Nix using Nix's support for "import from derivation".
The main motivation of this compiler is to allow users to carve out small typed
subsets of Nix projects.  Everything in the Dhall language (except `Double`s)
can be translated to Nix in this way, including functions.
2017-01-26 20:11:49 -08:00
Graham Christensen
d2b17fe357 Merge pull request #22159 from MP2E/chocolate_doom_update
chocolate-doom: 2.2.1 -> 2.3.0
2017-01-26 21:37:55 -05:00
Graham Christensen
2427ba2a39 Merge pull request #22157 from MP2E/obs_studio_update
obs-studio: 0.15.2 -> 17.0.1
2017-01-26 21:37:01 -05:00
Graham Christensen
70270ca6b5 Merge pull request #22163 from MP2E/ffmpeg_full_update
ffmpeg-full: 3.1.3 -> 3.2.2
2017-01-26 21:33:41 -05:00
Graham Christensen
9df33ad764 Merge pull request #22185 from nocoolnametom/rtv-1.14.1
rtv: 1.13.0 -> 1.14.1
2017-01-26 21:31:36 -05:00
Graham Christensen
089e38a3c3 Merge pull request #22189 from NeQuissimus/openjdk8_121_13
openjdk8: 8u122-04 -> 8u121-13
2017-01-26 21:30:30 -05:00
Tim Steinbach
1eea940506
openjdk8: 8u122-04 -> 8u121-13 2017-01-26 20:36:22 -05:00
Graham Christensen
f46c5b293b
qemu: 2.7 -> 2.8, drop 2.7 2017-01-26 20:23:40 -05:00
Tim Steinbach
99c9252e3f
kernel: 4.9.5 -> 4.9.6 2017-01-26 19:56:26 -05:00
Tim Steinbach
4345dfb5ba
kernel: 4.4.44 -> 4.4.45 2017-01-26 19:55:58 -05:00
Tim Steinbach
4ec8ee52e6
zulu: Add home 2017-01-26 19:46:51 -05:00
Tom Doggett
5a3035c587 rtv: 1.13.0 -> 1.14.1 2017-01-26 15:43:19 -08:00
Cray Elliott
2f367e0af7 discord: 0.0.13 -> 0.0.1
Despite the version number confusion, this is a new version of
discord-canary, but since the build is now public/official, the version
number has been reset and the canary suffix has been dropped.

Note that this means that the executable has been renamed from
DiscordCanary to Discord
2017-01-26 23:56:11 +01:00
Arseniy Seroka
88606fff57 Merge pull request #22169 from pradeepchhetri/haproxy
haproxy: 1.6.6 -> 1.7.2
2017-01-27 01:54:50 +03:00
Vladimír Čunát
f0bf46d863
liburcu: 0.8.6 -> 0.9.3, doCheck = true
... with hope it will start to work on Darwin.
/cc maintainer @bjornfor.
2017-01-26 22:32:13 +01:00
Vladimír Čunát
ae892ab675
luasec: attempt to fix build on Darwin 2017-01-26 20:29:05 +01:00
Tuomas Tynkkynen
e2a2f6d595 Merge pull request #22117 from dezgeg/aarch64-for-merge
Aarch64 (ARM64) support
2017-01-26 17:52:28 +02:00
Thomas Tuegel
bca9bcb3c3 Merge pull request #22162 from MP2E/fdk_aac_update
fdk-aac: 0.1.4 -> 0.1.5
2017-01-26 09:12:18 -06:00
Franz Pletz
6626b62241
openssl_1_0_1: not maintained anymore, rename as -vulnerable
This is not maintained anymore upstream but is still used by sslscan.
Until this package is updated or fixed, we'll keep it around under
the unambiguous name openssl_1_0_1-vulnerable.
2017-01-26 15:41:07 +01:00
Franz Pletz
49bfd6068d
openssl_1_1_0: 1.1.0c -> 1.1.0d for multiple CVEs
Fixes:

  * CVE-2017-3731
  * CVE-2017-3730
  * CVE-2017-3732
  * CVE-2016-7055
2017-01-26 15:38:42 +01:00
Franz Pletz
434c15193a
openssl_1_0_2: 1.0.2j -> 1.0.2k for multiple CVEs
Fixes:

  * CVE-2017-3731
  * CVE-2017-3730
  * CVE-2017-3732
  * CVE-2016-7055
2017-01-26 15:38:33 +01:00
Joachim Fasting
4a4bc14260
torbrowser: fix url typo
I used nix-prefetch-url to generate the hashes, so of course this
mistake slipped by ...

Ref: 5bbe54272d
2017-01-26 14:44:33 +01:00
Tim Steinbach
1c3b906b22 Merge pull request #22153 from NeQuissimus/ammonite_0_8_2
ammonite-repl: 0.8.1 -> 0.8.2
2017-01-26 08:43:57 -05:00
Tim Steinbach
cc3426fdaf Merge pull request #22152 from NeQuissimus/atom_1_13_1
atom: 1.13.0 -> 1.13.1
2017-01-26 08:43:45 -05:00
Vladimír Čunát
d1f73b8546
Merge #22171: wireshark: 2.2.3 -> 2.2.4 2017-01-26 14:32:55 +01:00
Lancelot SIX
9eb6668094 gdb: 7.12 -> 7.12.1 (#22167)
See https://lists.gnu.org/archive/html/info-gnu/2017-01/msg00009.html
for release announcementgdb: 7.12 -> 7.12.1

See https://lists.gnu.org/archive/html/info-gnu/2017-01/msg00009.html
for release announcement..
2017-01-26 14:23:19 +01:00
Vladimír Čunát
6edc9788f5
ffmpeg_2_8: maintenance 2.8.8 -> 2.8.10 2017-01-26 14:13:30 +01:00
Joachim Fasting
5bbe54272d
torbrowser: 6.0.8 -> 6.5
Updates to firefox-esr 45.7, which fixes several critical
vulnerabilities [1]

[1]: https://www.mozilla.org/en-US/security/advisories/mfsa2017-02/
2017-01-26 14:03:50 +01:00
Jörg Thalheim
2657ee4229 Merge pull request #21686 from pngwjpgh/locate
locate: extend module
2017-01-26 14:01:54 +01:00
Arseniy Seroka
91321ae09c Merge pull request #22174 from pradeepchhetri/riemann-c-client
riemann-c-client: 1.7.0 -> 1.9.1
2017-01-26 15:11:59 +03:00
Gregor Kleen
06211e700b locate: build in correct dbpath 2017-01-26 12:57:03 +01:00
Pradeep Chhetri
60c26bc9f5 riemann-c-client: 1.7.0 -> 1.9.1 2017-01-26 17:04:37 +05:30
Vladimír Čunát
a1af9cc1cf
gecko-mediaplayer: remove the dead project
It was breaking evaluation since 78fe72265.
2017-01-26 12:28:40 +01:00
Joachim F
fc6e20eded Merge pull request #22129 from mdorman/emacs-updates
Automated emacs package updates
2017-01-26 12:10:38 +01:00
Robin Gloster
86d9de3884
trustedGroup: fix build 2017-01-26 11:51:09 +01:00
Lancelot SIX
c99540d526
wireshark: 2.2.3 -> 2.2.4
This release fixes those security related issues:
- https://www.wireshark.org/security/wnpa-sec-2017-01.html
- https://www.wireshark.org/security/wnpa-sec-2017-02.html
2017-01-26 11:30:48 +01:00
Pradeep Chhetri
04b986cd2d haproxy: 1.6.6 -> 1.7.2 2017-01-26 14:07:51 +05:30
Vladimír Čunát
142696de88
liburcu: platforms: linux -> unix
There's probably no reason to restrict it to Linux.
I can't test directly, but Hombrew does have the package.
My intention is to build knot-resolver for Darwin as well.
2017-01-26 09:26:51 +01:00
Michael Raskin
076e265164 squid4: init at 4.0.17 2017-01-26 09:29:54 +01:00
Michael Raskin
1d44213c7e Merge pull request #21516 from timbertson/gup
gup: 0.5.5 -> 0.6.0 and extract src into JSON
2017-01-26 07:46:16 +00:00
Cray Elliott
35d48f3ba1 ffmpeg-full: 3.1.3 -> 3.2.2
also removed a few flags for features that have been entirely removed from
ffmpeg

removed:
- faac
- aacplus
- incompatibleLibavAbi option

please use fdk-aac or the built-in encoder for your aac audio needs
2017-01-25 18:57:03 -08:00
Cray Elliott
2598d77968 obs-studio: 0.15.2 -> 17.0.1
upstream version scheme change, this is the equivalent of 0.17.1
2017-01-25 18:55:59 -08:00
Cray Elliott
9b2e1621e2 fdk-aac: 0.1.4 -> 0.1.5 2017-01-25 18:54:54 -08:00
Cray Elliott
d1043bf75b chocolate-doom: 2.2.1 -> 2.3.0 2017-01-25 18:54:18 -08:00
Franz Pletz
4276844cb0
powerstat: 0.2.10 -> 0.2.11 2017-01-26 03:52:50 +01:00
Franz Pletz
f4833ed484
smemstat: 0.01.14 -> 0.01.16 2017-01-26 03:52:50 +01:00
Franz Pletz
6a24c6dc32
stunnel: 5.38 -> 5.39 2017-01-26 03:52:50 +01:00
Franz Pletz
e02b96590d
xchainkeys: fix source and homepage url 2017-01-26 03:52:50 +01:00
Franz Pletz
e2b14abbe0
tcsh: 6.19.00 -> 6.20.00 2017-01-26 03:52:49 +01:00
Franz Pletz
b72b6a3160
gentium: fix source url 2017-01-26 03:52:49 +01:00
Franz Pletz
78fe722656
gmtk: remove, source not available anymore 2017-01-26 03:52:49 +01:00
Franz Pletz
a8a5d3dcf8
clipgrab: 3.6.1 -> 3.6.2 2017-01-26 03:52:48 +01:00
Franz Pletz
d14c7bf046
eventstat: 0.03.02 -> 0.03.03 2017-01-26 03:52:48 +01:00
Franz Pletz
2a7707cf5c
dpkg: 1.18.15 -> 1.18.18 2017-01-26 03:52:48 +01:00
Franz Pletz
96c35ad06a
fnotifystat: 0.01.14 -> 0.01.16 2017-01-26 03:52:47 +01:00
Franz Pletz
243272cd2e
forkstat: 0.01.14 -> 0.01.16 2017-01-26 03:52:47 +01:00
Franz Pletz
6821a038b7
freeradius: 3.0.11 -> 3.0.12 2017-01-26 03:52:47 +01:00
Franz Pletz
ceea7adfbb
aiccu: fix unavailable source url, use debian mirror 2017-01-26 03:52:46 +01:00
Franz Pletz
d71fb25b08
apktool: 1.5.2 -> 2.2.2 2017-01-26 03:52:46 +01:00
Franz Pletz
f3e4307f3e
bandwidth: fix unavailable source url 2017-01-26 03:52:46 +01:00
Franz Pletz
8f39095abb
biosdevname: 0.6.1 -> 0.7.2 2017-01-26 03:52:45 +01:00
Franz Pletz
1d251e268c
chrony: 2.4.1 -> 3.0, enable seccomp 2017-01-26 03:52:45 +01:00
Franz Pletz
9ac6297b79
ppp: add patch to fix CVE-2015-3310 2017-01-25 20:53:43 -05:00
Franz Pletz
6a02d48c72
gd: 2.2.3 -> 2.2.4 for multiple CVEs
Fixes:

  * CVE-2016-9317
  * CVE-2016-6912
2017-01-25 20:53:37 -05:00
Franz Pletz
5f3c62698b
libav_0_8: 0.8.19 -> 0.8.20 for multiple CVEs
Fixes:

  * CVE-2016-9819
  * CVE-2016-9820
  * CVE-2016-9821
  * CVE-2016-9822
2017-01-25 20:53:32 -05:00
Graham Christensen
111b4e4c87
mariadb: 10.1.19 -> 10.1.21 for multiple CVEs 2017-01-25 20:53:24 -05:00
Graham Christensen
8d342d20b5
libnl: 3.2.28 -> 3.2.29 for CVE-2017-0386 2017-01-25 20:53:18 -05:00
John Wiegley
1294909c2a
lens-family-th_0_4_1_0: Add to hackage-packages.nix for GHC 7.10 2017-01-25 16:56:51 -08:00
Franz Pletz
f1ba2c8d3b
nginxMainline: 1.11.8 -> 1.11.9 2017-01-26 01:04:49 +01:00
Franz Pletz
2450c86732
frab: init at 2016-12-28 2017-01-25 23:58:20 +01:00
Tim Steinbach
4908138122
ammonite-repl: 0.8.1 -> 0.8.2 2017-01-25 17:24:13 -05:00
Tim Steinbach
d258f054cd
atom: 1.13.0 -> 1.13.1 2017-01-25 17:22:55 -05:00
Jörg Thalheim
152da41893 Merge pull request #22141 from benrob0329/master
minetest 0.4.14 -> 0.4.15
2017-01-25 23:04:56 +01:00
Jörg Thalheim
7c8c0bbbc2 Merge pull request #22145 from sternenseemann/valadoc
valadoc: 2016-10-09 -> 2016-11-11
2017-01-25 23:03:32 +01:00
Vladimír Čunát
f27fb8ab75
knot-{dns,resolver}: try to fix on darwin
Evaluation works now, at least.
2017-01-25 22:42:20 +01:00
Dan Peebles
ed83ec1b65 lkl: fix impure reference to /usr/bin/env 2017-01-25 21:30:59 +00:00
Pascal Wittmann
cedca371c8
homebank: 5.1.2 -> 5.1.3 2017-01-25 22:16:26 +01:00
Shaun Sharples
cde8e89a2e factorio: 0.13.20 -> 0.14.21 2017-01-25 21:39:37 +01:00
Kosyrev Serge
4f8b4069e5 quodlibet: rename to quodlibet, quodlibet-without-gst-plugins
The gst-plugin-less version is barely useful out of the box, so it is
the one that should be relegated to a less prominent spot in the namespace.
2017-01-25 21:33:55 +01:00
sternenseemann
5f3db56048 valadoc: 2016-10-09 -> 2016-11-11 2017-01-25 21:28:45 +01:00
Peter Hoeg
0a4943a381 syncthing: 0.14.19 -> 0.14.21 2017-01-25 20:27:22 +01:00
Benrob0329
15c23d91a8 minetest 0.4.14 -> 0.4.15 2017-01-25 13:41:58 -05:00
Nicolò Balzarotti
9371acd80f fcrackzip: init at 1.0 2017-01-25 19:34:34 +01:00
Thomas Pham
8fa49a6351 postgis: 2.2.1 -> 2.3.1 2017-01-25 19:31:30 +01:00
Yorick van Pelt
2a939c4b21 streamlink: 0.0.2 -> 0.3.0 2017-01-25 19:12:49 +01:00
Vladimír Čunát
278bbe3b33
add kresd service with basic options
Still celebrating today's 1.2.0 release!
2017-01-25 18:46:28 +01:00
Robin Gloster
cb30150bd5
php: fix build in case mysql is not mariadb
fixes #20986
2017-01-25 18:11:38 +01:00
Franz Pletz
34eae3f73a
riemann: fix executable with wrapper script 2017-01-25 17:06:49 +01:00
Pradeep Chhetri
b7ef0ed487
riemann: 0.2.9 -> 0.2.12 2017-01-25 17:06:21 +01:00
Sander van der Burg
0f6eab52e1 xcodeenv: make it work with Xcode 8.2.1 2017-01-25 16:56:55 +01:00
aszlig
ca7923f111
nss: Provide a more stable URL for pkgconfig patch
Since 2bf0f84f1f, the patch isn't in our
repository anymore but being fetched from its origin.

However, the origin URL is always pointing to the latest master version
of Gentoo. This has the downside that whenever Gentoo changes the patch,
our build of NSS will be broken.

Also, I'm providing a comment here indicating what the patch does.

As to the reason *why* the patch is there, I vaguely remeber seeing a
few libraries/applications that depend on NSS relying that there's a
pkgconfig file.

After checking a few distros, they all seem to have it:

https://anonscm.debian.org/cgit/pkg-mozilla/nss.git/tree/debian?id=5306c4192d6bc0a2685842e9fd533196e7302297
https://apps.fedoraproject.org/packages/nss-devel/
https://git.archlinux.org/svntogit/packages.git/tree/trunk?h=packages/nss&id=3f7f54b357e23b7ac1cec849693334ad29be07d2

The issue is already reported upstream but hasn't been fixed yet:

https://bugzilla.mozilla.org/show_bug.cgi?id=530672

Tested by building nss on x86_64-linux (the hash didn't change anyway,
but just to be sure).

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2017-01-25 16:25:00 +01:00
John Ericson
f47757aaf0 Merge pull request #22133 from Ericson2314/no-splice
top-level: no more need to expose `splicedPackages`
2017-01-25 09:31:13 -05:00
John Ericson
c869fe022e top-level: no more need to expose splicedPackages
This was just done temporarily on the last cross-overhauling PR for
testing purposes.
2017-01-25 09:24:55 -05:00
Vladimír Čunát
5d5fb4a2fb
knot-resolver: init at 1.2.0
Celebrating today's release!
2017-01-25 15:22:09 +01:00
Ricardo M. Correia
30c3fdedfe mkpasswd: make the package high priority
Otherwise, if you have the `expect` package installed, its `mkpasswd`
program can override the one from the `mkpasswd` package. If that
happens, the NixOS documentation instructions for generating a hashed
password to put into `configuration.nix` will not work.
2017-01-25 15:19:26 +01:00
Franz Pletz
b9b95aa4d4 Merge pull request #22034 from mayflower/conntrack-helpers
Disable conntrack helper autoloading by default
2017-01-25 14:18:41 +01:00
Vincent Laporte
d40b680101 coq-8.4: fix build of ssreflect and mathcomp 2017-01-25 13:14:31 +00:00
Vincent Laporte
42bf99ef44 coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6
by adding `findlib` as a build input.

Also clean `default.nix` a little bit.
2017-01-25 13:06:11 +00:00
vbgl
635ac15845 Merge pull request #21879 from vbgl/coq-clean
Coq: minor refactoring
2017-01-25 14:05:38 +01:00
Vladimír Čunát
e5229c63ad
t1lib: add a note about CVE fixes 2017-01-25 13:53:55 +01:00
Michael Raskin
05d7ece4b6 Merge pull request #22040 from NeQuissimus/zulu
zulu: init at 8.19.0.1
2017-01-25 12:31:29 +00:00
Graham Christensen
04ae7febc8
cvs: patch against CVE-2012-0804 (heap overflow) 2017-01-25 07:24:19 -05:00
Michael Alan Dorman
87a651f4e3 melpa-packages: 2017-01-24
Removals:
 - flycheck-google-cpplint: Removed from melpa
2017-01-25 06:54:18 -05:00
Michael Alan Dorman
46cf112619 melpa-stable-packages: 2017-01-24
Removals:
 - evil: tags disappeared in repository move, so no stable version
2017-01-25 06:52:36 -05:00
Michael Alan Dorman
aa9da623ff org-packages: 2017-01-24 2017-01-25 06:50:40 -05:00
Tim Cuthbertson
a59c3038cd gup: 0.5.5 -> 0.6.0 and derivation update 2017-01-25 22:25:31 +11:00
Tim Cuthbertson
b984d5d25f nix-update-source: 0.2.1 -> 0.2.2 2017-01-25 22:23:52 +11:00
Arseniy Seroka
87a3ee0c40 Merge pull request #22125 from romildo/upd.lumina
lumina: 1.1.0-p1 -> 1.2.0-p1
2017-01-25 13:29:25 +03:00
Vincent Laporte
798a87159b Coq: propagates the findlib package
So that Coq libraries that need it can easyly use it
2017-01-25 10:29:13 +00:00