Vincent Laporte
|
985cfa7a8a
|
coqPackages.bignums: do not fail with Coq 8.5
The bignums library is part of the standard library
of Coq ≤ 8.6.
|
2017-11-13 08:42:51 +00:00 |
|
Jörg Thalheim
|
469bddcd36
|
Merge pull request #31571 from tadfisher/bump/sonarr
sonarr: 2.0.0.4949 -> 2.0.0.5054
|
2017-11-13 08:38:00 +00:00 |
|
Michael Raskin
|
e294f2b203
|
Merge pull request #31575 from 4z3/skarnet
update skarnet.org packages
|
2017-11-13 09:32:25 +01:00 |
|
Jörg Thalheim
|
3ba4c4cc6d
|
Merge pull request #31578 from dotlambda/abcm2ps
abcm2ps: 8.13.15 -> 8.13.16
|
2017-11-13 08:25:09 +00:00 |
|
Jörg Thalheim
|
0099f69fc9
|
Merge pull request #31580 from dotlambda/ttwatch
ttwatch: 2017-09-26 -> 2017-10-31
|
2017-11-13 08:17:06 +00:00 |
|
Gabriel Ebner
|
82687ffeed
|
Merge pull request #31556 from gebner/racket_docs
racket: reenable docs by default
|
2017-11-13 09:03:56 +01:00 |
|
Matthew Bauer
|
6b0e1910af
|
libbsd: add myself as maintainer
|
2017-11-13 00:43:27 -06:00 |
|
Matthew Bauer
|
ff0ac72719
|
libbsd: update darwin patch for 0.8.6
This resolves the patch issues. If someone has time, they should try to get the
patched merged upstream.
|
2017-11-13 00:43:27 -06:00 |
|
Matthew Bauer
|
d19494cb53
|
libtiger: add myself as maintainer
|
2017-11-13 00:36:22 -06:00 |
|
Matthew Bauer
|
5882cc203c
|
libtiger: fix on darwin
|
2017-11-13 00:35:56 -06:00 |
|
John Ericson
|
7db0b80c61
|
Merge remote-tracking branch 'channels/nixos-unstable' into staging
|
2017-11-13 00:18:03 -05:00 |
|
Matthew Justin Bauer
|
24e38f3075
|
r-modules: fix eval
Fixes #31508
|
2017-11-12 21:49:41 -06:00 |
|
Orivej Desh
|
2d2f5e1c4d
|
pip-tools: disable tests that depend on a specific version of "six"
They broke after "six: 1.10.0 -> 1.11.0" (5d21308f81 ).
|
2017-11-13 03:35:26 +00:00 |
|
Samuel Leathers
|
10d02b7c43
|
Merge pull request #31581 from adisbladis/anki-bs3
anki: Switch dependency to beautifulsoup-3
|
2017-11-12 22:17:30 -05:00 |
|
Samuel Leathers
|
e0483a59cc
|
Merge pull request #31532 from romildo/upd.enlightenment
enlightenment: 0.21.10 -> 0.22.0
|
2017-11-12 21:44:54 -05:00 |
|
José Romildo Malaquias
|
c42a0fbf09
|
enlightenment: 0.21.10 -> 0.22.0
- Update to version 0.22.0
- Switch build tools from autotools to meson
- Change handling of setuid programs
|
2017-11-13 00:22:01 -02:00 |
|
romildo
|
a6b1d9a6a1
|
jdupes: init at 1.8
|
2017-11-13 00:16:49 -02:00 |
|
Orivej Desh
|
e0b3c0b6fe
|
xbursttools: fix eval
|
2017-11-13 01:29:51 +00:00 |
|
adisbladis
|
c28911e0f9
|
anki: Switch dependency to beautifulsoup-3
The current upstream development version is using 4 but the release
version is still using 3.
|
2017-11-13 09:17:07 +08:00 |
|
Robert Schütz
|
8873660b93
|
ttwatch: 2017-09-26 -> 2017-10-31
|
2017-11-13 01:44:51 +01:00 |
|
Matthew Bauer
|
47a854ae01
|
emacs: add missing packages
this fixes eval for nix-env -qaA nixpkgs.emacsPackagesNg
|
2017-11-12 18:43:35 -06:00 |
|
Robert Schütz
|
13bb1554ff
|
abcm2ps: 8.13.15 -> 8.13.16
|
2017-11-13 01:38:19 +01:00 |
|
Daniel Peebles
|
6f13844bfd
|
Merge pull request #31535 from orivej/compress-qcow2
make-disk-image: add compressed option to compress qcow2 images
|
2017-11-12 19:17:08 -05:00 |
|
Matthew Bauer
|
4ad86c5f96
|
font-lock-plus: fix eval
|
2017-11-12 18:09:26 -06:00 |
|
Matthew Bauer
|
90ae8bc1a8
|
emacs: fix cn-outline error
cn-outline is no longer in melpa so markBroken is not needed anymore
Fixes #31510
|
2017-11-12 18:08:08 -06:00 |
|
Renaud
|
bf5484fec8
|
fdupes: 20150902 -> 1.6.1
|
2017-11-13 01:01:41 +01:00 |
|
tv
|
9f4a461278
|
update skarnet.org packages
execline: 2.2.0.0 -> 2.3.0.3
s6: 2.4.0.0 -> 2.6.1.1
s6-dns: 2.1.0.0 -> 2.2.0.1
s6-linux-utils: 2.2.0.0 -> 2.4.0.2
s6-networking: 2.2.1.0 -> 2.3.0.2
s6-portable-utils: 2.1.0.0 -> 2.2.1.1
s6-rc: 0.1.0.0 -> 0.3.0.0
skalibs: 2.4.0.1 -> 2.6.0.1
|
2017-11-13 00:09:32 +01:00 |
|
Jonas Höglund
|
bdce9327a1
|
pixd: init at 1.0.0
|
2017-11-12 23:36:33 +01:00 |
|
Jonas Höglund
|
636c9b5c2d
|
hexd: init at 1.0.0
|
2017-11-12 23:36:33 +01:00 |
|
Jonas Höglund
|
416d5cf484
|
maintainers: add FireyFly
|
2017-11-12 23:36:33 +01:00 |
|
Renaud
|
2d8d35e342
|
Merge pull request #31564 from Mounium/aliza
aliza: 1.29.2->1.36.3
|
2017-11-12 22:07:01 +01:00 |
|
Tad Fisher
|
14013c721e
|
sonarr: 2.0.0.4949 -> 2.0.0.5054
|
2017-11-12 12:42:27 -08:00 |
|
Michael Raskin
|
5f6b88c27f
|
genext2fs: fix handling of symlinks of length exactly 60
Amusingly enough, /nix/store/...-kmod-24/bin/kmod is exactly 60
characters.
|
2017-11-12 21:38:09 +01:00 |
|
Rostislav Beneš
|
8fab6c9520
|
firefox: support for native messaging hosts in wrapper
|
2017-11-12 21:18:31 +01:00 |
|
Vladimír Čunát
|
327c351cb2
|
knot-resolver: disable the hints test for now
It's flaky, unfortunately.
|
2017-11-12 20:24:03 +01:00 |
|
Orivej Desh
|
93e0de2b3e
|
Merge pull request #31565 from orivej/hydra
hydra: 2017-09-14 -> 2017-10-26
|
2017-11-12 19:13:57 +00:00 |
|
Michael Weiss
|
6aed80f271
|
gns3Packages.{server,gui}Stable: 2.0.3 -> 2.1.0
|
2017-11-12 19:56:45 +01:00 |
|
Michael Weiss
|
46bcc0d498
|
pythonPackages.pyqt5: Add optional qtwebsockets support
This is e.g. required for gns3-gui 2.1.0. But it seems to break the
build for Python 2.7.
|
2017-11-12 19:56:45 +01:00 |
|
Orivej Desh
|
27f5cc959b
|
make-disk-image: embed compression switch into the format name
|
2017-11-12 18:39:36 +00:00 |
|
Orivej Desh
|
608de48fe4
|
make-disk-image: add compressed option to compress qcow2 images
|
2017-11-12 18:28:06 +00:00 |
|
Orivej Desh
|
a2d3ee77b8
|
make-disk-image: clean up
|
2017-11-12 18:24:26 +00:00 |
|
John Wiegley
|
9ea242c617
|
coqPackages.interval: Add bignums, now a required dependency
|
2017-11-12 10:21:56 -08:00 |
|
Orivej Desh
|
f7bb8d2dfa
|
Merge pull request #31537 from orivej/lkl
lkl: 2017-10-18 -> 2017-11-10, make-disk-image: do not fake time for cptofs
|
2017-11-12 18:09:34 +00:00 |
|
Vladimír Čunát
|
ab1859e027
|
Merge branch 'staging'
Hydra looks very good: https://hydra.nixos.org/eval/1409475?compare=1409440
There's mainly some fallout from aarch64-linux not building `go`
on the first attempt.
|
2017-11-12 19:08:05 +01:00 |
|
John Wiegley
|
a41478cebb
|
coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7
|
2017-11-12 10:03:32 -08:00 |
|
Renaud
|
90ffccffdc
|
Merge pull request #16683 from rardiol/cataclysm-dda-git2
cataclysm-dda-git: init at 2017-07-12
|
2017-11-12 18:56:26 +01:00 |
|
Vincent Laporte
|
16eef54eee
|
ocamlPackages.fileutils: 0.5.2 -> 0.5.3
|
2017-11-12 17:48:33 +00:00 |
|
John Wiegley
|
bb038283c4
|
coqPackages.metalib: New expression
|
2017-11-12 09:34:06 -08:00 |
|
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 |
|