Commit Graph

18507 Commits

Author SHA1 Message Date
Robin Gloster
dff06b9ddc
aj-snapshot: 0.9.6 -> 0.9.7 2017-05-23 03:00:28 +02:00
Robin Gloster
3e60c2e2f6
aeolus: 0.9.0 -> 0.9.5 2017-05-23 02:36:59 +02:00
Carles Pagès
f60767d55e Merge pull request #25366 from titanous/kodi-hdhomerun
kodi: add pvr-hdhomerun plugin
2017-05-22 23:32:07 +02:00
Jörg Thalheim
2549be898d
stp: 2014.01.07 -> 2.2.0 2017-05-22 22:25:45 +01:00
Jörg Thalheim
893c7b6112
cryptominisat: init at 5.0.1 2017-05-22 22:25:14 +01:00
Jörg Thalheim
7786922240
minisatUnstable: init at 2013-09-25 2017-05-22 22:24:58 +01:00
Cray Elliott
777d5ee732 obs-studio: 18.0.2 -> 19.0.2 2017-05-22 02:45:18 -07:00
Frederik Rietdijk
997b6ae752 Merge pull request #25803 from vdemeester/astroid-0-9-1
astroid: 0.8 -> 0.9.1
2017-05-22 11:14:42 +02:00
Shea Levy
b1b61d0988 coq: nix-buffer: Inherit variables to PG shell 2017-05-22 00:45:54 -04:00
Joachim F
3ba63d0b05 Merge pull request #25905 from Ptival/proofgeneral-head
proofgeneral_HEAD: fix
2017-05-21 22:45:47 +01:00
Joachim F
c1894bef7a Merge pull request #25458 from seppeljordan/csound-enable-osc
csound: add liblo to buildinputs to enable osc capabilities
2017-05-21 18:24:53 +01:00
Joachim F
062e32d5c1 Merge pull request #25673 from drdaeman/pycharm-2017.1.2-master
Pycharm 2017 -> 2017.1.2
2017-05-21 17:54:30 +01:00
Joachim Fasting
16b6ee3608
nano: use https for meta.homepage
The http variant is a permanent redirect to https
2017-05-21 18:08:13 +02:00
Joachim F
57b77e9617 Merge pull request #25667 from DmitryTsygankov/DmitryTsygankov/bitcoin-classic
bitcoin-classic: 1.2.3 -> 1.2.5
2017-05-21 16:19:50 +01:00
Jörg Thalheim
9e8c45ff0a Merge pull request #25969 from romildo/upd.tint2
tint2: 0.14.4 -> 0.14.5
2017-05-21 15:45:38 +01:00
Michael Weiss
0d0ab51a06 android-studio: 2.3.1.0 -> 2.3.2.0 2017-05-21 16:36:19 +02:00
romildo
4018d3d6eb tint2: 0.14.4 -> 0.14.5 2017-05-21 10:51:19 -03:00
Joachim F
07ceaa2ec8 Merge pull request #25896 from joachifm/ovmf
ovmf: split firmware image files
2017-05-21 14:48:29 +01:00
midchildan
2c393164c8
mikutter: init at 3.5.7
fixes #25852
2017-05-21 12:13:34 +01:00
Adrian Parvin D. Ouano
7d97051f72
st: extraLibs argument
fixes #25956
2017-05-21 07:52:00 +01:00
Jörg Thalheim
da7e4ce1ad Merge pull request #25801 from htr/add-terraform-inventory
terraform-inventory: init at 0.7-pre
2017-05-20 19:35:07 +01:00
Jörg Thalheim
d980f90150 Merge pull request #25941 from Kendos-Kenlen/webstorm-2017.1.3
idea.webstorm: 2017.1 -> 2017.1.3
2017-05-20 18:30:35 +01:00
Jörg Thalheim
08eafdb909
madonctl: add missing deps.nix 2017-05-20 18:26:58 +01:00
Jörg Thalheim
6e67547c94 Merge pull request #25086 from matthiasbeyer/add-madonctl
madonctl: init at 0.1.0
2017-05-20 18:07:25 +01:00
Jörg Thalheim
ce301fd4ab
madonctl: 0.1.0 -> 1.1.0 2017-05-20 18:06:34 +01:00
Jörg Thalheim
d1504bbe75 Merge pull request #25374 from jflanglois/android-studio-2.3
android-studio: 2.2.3.0 -> 2.3.1.0
2017-05-20 18:02:03 +01:00
Jörg Thalheim
ea706bd98b Merge pull request #25231 from veprbl/root_6.09.02
root: 6.08.02 -> 6.09.02
2017-05-20 17:37:43 +01:00
leenaars
92964a2ea8 srcml: init at 0.9.5 (#25395) 2017-05-20 17:23:55 +01:00
Joachim Fasting
874b81b31f
treewide: s,enableParallelBuild(s),enableParallelBuilding,g 2017-05-20 17:16:17 +02:00
Gauthier POGAM--LE MONTAGNER
282fba7f0c idea.webstorm: 2017.1 -> 2017.1.3 2017-05-20 16:53:20 +02:00
Hugo Tavares Reis
21898ff460 terraform-inventory: added htr as maintainer 2017-05-20 16:17:24 +02:00
Hugo Tavares Reis
e3de736b9b terraform-inventory: init at 0.7-pre 2017-05-20 16:17:24 +02:00
Shea Levy
877f95f12b nix-buffer: 3.0.0 -> 3.0.1 2017-05-20 09:02:36 -04:00
marcnnn
e46ca1b95f cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)
* cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514

* cvc4: use stable url

upstream delete their tarballs
2017-05-20 14:00:39 +01:00
Shea Levy
b21540c4a6 coq: Add emacs buffer setup 2017-05-20 08:34:33 -04:00
Valérian Galliat
330048e40c timelapse-deflicker: init at 142acd1 (#25904)
* timelapse-deflicker: init at 142acd1

* timelapse-deflicker: nitpicks

* Add myself as a maintainer
2017-05-20 12:33:28 +01:00
Joachim Fasting
252dcd62f3
OVMF: separate output for ovmf binaries
OVMF{,CODE,VARS}.fd are now available in a dedicated fd output, greatly
reducing the closure in the common case where only those files are used (a
few MBs versus several hundred MBs for the full OVMF).

Note: it's unclear why `dontPatchELF` is now necessary for the build to
pass (on my end, at any rate) but it doesn't make much sense to run this
fixup anyway,

Note: my reading of xen's INSTALL suggests that --with-system-ovmf should
point directly to the OVMF binary.  As such, the previous invocation was
incorrect (it pointed to the root of the OVMF tree).  In any case, I have
only built xen with `--with-system-ovmf`, I have not tested it.

Fixes https://github.com/NixOS/nixpkgs/issues/25854
Closes https://github.com/NixOS/nixpkgs/pull/25855
2017-05-20 12:33:48 +02:00
Unai Zalakain
c3cbbd09a0 metar: init at 20161013.1 2017-05-20 11:58:03 +02:00
Jörg Thalheim
98fe402d93 Merge pull request #25933 from spamntaters/opera-update
Opera: 44.0.2510.857 -> 45.0.2552.812
2017-05-20 08:55:07 +01:00
Jens Binkert
72589c9d30 Typora: init at 0.9.29 (#25899)
* Typora: init at 0.9.29

* typora: adapt description
2017-05-20 08:52:11 +01:00
spamntaters
2f455390a5 Opera: 44.0.2510.857 -> 45.0.2552.812 2017-05-19 19:48:28 -04:00
Jörg Thalheim
06767b81e0 Merge pull request #25924 from vdemeester/update-gogland
idea.gogland: 171.3780.106 -> 171.4424.55
2017-05-19 20:35:59 +01:00
Vladimír Čunát
9195672200
Merge #25918: firefox*: bugfix updates 2017-05-19 20:57:43 +02:00
Vincent Demeester
f28f96b235
idea.gogland: 171.3780.106 -> 171.4424.55
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2017-05-19 17:19:54 +02:00
Jörg Thalheim
9f433595be Merge pull request #25886 from jdanekrh/jd_idea2017.1.3
idea-community: 2017.1.1 -> 2017.1.3
2017-05-19 16:00:58 +01:00
taku0
1b3f3f0f1f firefox-esr: 52.1.1esr -> 52.1.2esr 2017-05-19 21:22:05 +09:00
taku0
0460c77eb2 firefox: 53.0.2 -> 53.0.3 2017-05-19 21:20:36 +09:00
taku0
b646ead557 firefox-bin: 53.0.2 -> 53.0.3 2017-05-19 21:12:33 +09:00
Cray Elliott
577327bc9f obs-studio: bump revision to fix Settings crash 2017-05-18 21:44:59 -07:00
Valentin Robert
eaef55f699 proofgeneral_HEAD: fix for files removed upstream 2017-05-18 16:43:38 -07:00