Commit graph

99810 commits

Author SHA1 Message Date
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
Vincent Laporte
9b949be617 coq: minor refactoring 2017-01-25 10:29:13 +00:00
Vincent Laporte
a30e8db9f0 coq: merge files 8.5.nix and 8.6.nix into default.nix 2017-01-25 10:29:13 +00:00
romildo
4963b5014e lumina: 1.1.0-p1 -> 1.2.0-p1 2017-01-25 07:11:09 -02:00
Jörg Thalheim
eb0192b83c Merge pull request #22119 from rnhmjoj/caddy
caddy: 0.9.2 -> 0.9.5
2017-01-25 09:47:19 +01:00
Domen Kožar
f87deb0b3a Merge pull request #22101 from zimbatm/no-md5
Bye bye MD5
2017-01-25 09:07:48 +01:00
Vincent Laporte
453a3838f9 ocamlPackages.mtime: init at 0.8.3
Mtime is an OCaml module to access monotonic wall-clock time.

Homepage: http://erratique.ch/software/mtime
2017-01-25 06:55:59 +00:00
Vincent Laporte
c57715570a freealut: fix build on Darwin 2017-01-25 06:54:07 +00:00
Frederik Rietdijk
cad9bdc78d Merge pull request #22025 from lsix/update_django_guardian
Update django guardian
2017-01-25 07:48:53 +01:00
Domen Kožar
b5c1b8eb67 Merge pull request #22118 from LumiGuide/ghc802-cleanup
ghc-8.0.2: remove unused fetchFilteredPatch function
2017-01-25 06:39:28 +01:00
Daniel Peebles
95add2c2f7 Merge pull request #22103 from copumpkin/automatic-kafka-broker-id
apache-kafka service: change default brokerId to -1
2017-01-24 22:17:03 -05:00
José Romildo Malaquias
942a60697d terminology: 0.9.1 -> 1.0.0 (#22115) 2017-01-25 03:02:12 +01:00
Graham Christensen
129e90a422 Merge pull request #22122 from peterhoeg/u/db
dropbox: 17.4.33 -> 18.4.32
2017-01-24 20:00:00 -05:00
Tuomas Tynkkynen
0e4c1bfb43 installer: Add SD image expression for Aarch64
This one works on the Raspberry Pi 3 so far.
2017-01-25 02:14:47 +02:00
Tuomas Tynkkynen
b29ee6c8ff U-Boot: Add 64-bit Raspberry Pi 3 build
And rename the old ubootRaspberryPi3 to ubootRaspberryPi3_32bit.
2017-01-25 02:14:47 +02:00
Tuomas Tynkkynen
2bfd83ab6d platforms.nix: Add some aarch64-specific kernel config
This makes Raspberry Pi 3 and some Cavium ThunderX server hardware work.
2017-01-25 02:14:46 +02:00
Franz Pletz
8d5a4c53b8
nixos/release-notes: document conntrack helper changes 2017-01-25 01:14:05 +01:00
Franz Pletz
2d9152d509
nixos/tests/nat: add test for conntrack helper autoloading 2017-01-25 01:14:05 +01:00
Franz Pletz
8322a12ef2
firewall: disable conntrack helper autoloading by default
This was disabled in the Linux kernel since 4.7 and poses a security risk
if not configured properly.

https://git.kernel.org/cgit/linux/kernel/git/stable/linux-stable.git/commit/?id=486dcf43da7815baa615822f3e46883ccca5400f
2017-01-25 01:14:04 +01:00
Joachim Fasting
c50c551142
grsecurity: 4.8.16-201701062021 -> 4.8.17-201701151620 2017-01-25 00:58:57 +01:00
Joachim Fasting
482c67af70
grsecurity: adapt new to mirror url structure 2017-01-25 00:58:54 +01:00
Joachim Fasting
0501e49695
electrum: 2.7.12 -> 2.7.18
See https://github.com/spesmilo/electrum/blob/master/RELEASE-NOTES
2017-01-25 00:58:52 +01:00
Joachim Fasting
bdfe638f31
tor: 0.2.8.12 -> 0.2.9.9 2017-01-25 00:58:37 +01:00
Franz Pletz
403fdd737e
linux: remove canDisableNetfilterConntrackHelpers feature
This feature is available in all kernels in nixpkgs.
2017-01-25 00:28:55 +01:00
rnhmjoj
82c661313d
caddy: 0.9.2 -> 0.9.5 2017-01-25 00:07:09 +01:00
Bas van Dijk
a96b6e64fb ghc-8.0.2: remove unused fetchFilteredPatch function 2017-01-24 23:34:40 +01:00
Robert Helgesson
4a914f2f9f
overpass: 2.1 -> 3.0.2 2017-01-24 23:15:15 +01:00
Peter Simons
e832d380de haskell-brick: fix reference to vty 2017-01-24 23:14:02 +01:00
Peter Simons
2bbf68eafb structured-haskell-mode: drop obsolete version override 2017-01-24 23:14:02 +01:00
William Casarin
663afff780 haskellPackages.HsOpenSSL: remove jailbreak
issue has been closed and it seems to work
2017-01-24 23:14:02 +01:00
William Casarin
dc3182a15c haskellPackages.store: enable check
looks like it works again
2017-01-24 23:14:02 +01:00
William Casarin
0cb43b920e haskellPackages.git-annex: remove overrides
they don't seem to be needed anymore
2017-01-24 23:14:02 +01:00
William Casarin
4e536a9f61 haskellPackages.elm-export: remove jailbreak
fixed here:

257962f512
2017-01-24 23:14:02 +01:00
William Casarin
a8aee189e8 haskellPackages.barrier: remove jailbreak
fixed here:

1d61f4db12
2017-01-24 23:14:02 +01:00
William Casarin
8ea8493889 haskellPackages.ReadArgs: remove jailbreak
fixed here:

90d6122d74
2017-01-24 23:14:02 +01:00
Peter Simons
d350650577 hackage-packages.nix: automatic Haskell package set update
This update was generated by hackage2nix v2.0.4-8-g0d49e12 from Hackage revision
e2cd120f15.
2017-01-24 23:14:02 +01:00
Daiderd Jordan
204a2354bd Merge pull request #22037 from jpierre03/pr-hubicfuse
hubicfuse: 2.1.0 -> 3.0.0
2017-01-24 23:08:06 +01:00
Tuomas Tynkkynen
3519244c72 raspberrypifw: Enable build on Aarch64
So that the boot blobs can be copied.

FIXME: This makes the dynamic linker of the ARM binaries point to a
aarch64 linker.
2017-01-25 00:01:54 +02:00
Tuomas Tynkkynen
8999ab9e56 fuse: Add Aarch64 patch from upstream git to fix build
See e.g. https://bugs.launchpad.net/linaro-oe/+bug/1087757
2017-01-25 00:01:54 +02:00