Matt McHenry
346fa91176
eclipse-plugin-jdt: 4.7 -> 4.7.1a
2017-10-18 23:30:14 +02:00
Matt McHenry
468cccbb7b
eclipse-platform, eclipse-sdk: 4.7.0 -> 4.7.1a
2017-10-18 23:30:10 +02:00
Joachim Fasting
a8a38feeeb
lkl: 2017-08-09 -> 2017-10-18
...
Based on linux 4.13
2017-10-18 22:11:37 +02:00
Joachim Fasting
6d31872885
tor-browser-bundle.noscript: 5.0.10 -> 5.1.2
2017-10-18 22:11:28 +02:00
Joachim Fasting
9cf5492a7b
tor-browser-bundle.https-everywhere: 2017.9.12 -> 2017.10.4
2017-10-18 22:11:23 +02:00
Joachim Fasting
9c8a0c0bcc
tor-browser-bundle.tor-launcher: 0.2.12.3 -> 0.2.13
2017-10-18 22:11:17 +02:00
Tim Steinbach
b269452346
vscode: 1.17.1 -> 1.17.2
2017-10-18 11:11:43 -04:00
Graham Christensen
7d5c5eb203
Merge pull request #30523 from xvapx/playonlinux-update
...
playOnLinux: 4.2.10 -> 4.2.12
2017-10-18 07:32:15 -04:00
Graham Christensen
00e56fbbee
Merge pull request #30509 from mdorman/emacs-updates
...
Semi-automated Emacs package updates
2017-10-17 20:58:20 -04:00
Marti Serra
268618dfa2
playOnLinux: 4.2.10 -> 4.2.12
2017-10-18 00:41:25 +02:00
Fatih Altinok
603ba57e27
hyper: 1.4.3 -> 1.4.8
2017-10-17 17:43:48 +03:00
Franz Pletz
dd4a212188
Merge pull request #30504 from ciil/snd17
...
snd: 16.9 -> 17.8
2017-10-17 14:05:27 +02:00
taku0
a060b850f6
flashplayer: 27.0.0.159 -> 27.0.0.170
2017-10-17 13:59:54 +02:00
Simon Lackerbauer
c2dcde8450
snd: 16.9 -> 17.8
2017-10-17 13:45:52 +02:00
Jörg Thalheim
e48154dfa2
Merge pull request #30449 from hhomar/mpv-enable-dvb-linux
...
mpv: enable dvb on Linux
2017-10-17 11:47:17 +01:00
Jörg Thalheim
3297ed05cb
Merge pull request #30497 from frontsideair/qutebrowser-1.0.2
...
qutebrowser: 1.0.1 -> 1.0.2
2017-10-17 08:54:13 +01:00
Fatih Altinok
b367d0ff10
qutebrowser: 1.0.1 -> 1.0.2
2017-10-17 09:36:03 +03:00
Austin Seipp
26891c576c
nixpkgs: gtkwave 3.3.70 -> 3.3.86
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-17 01:28:08 -05:00
Graham Christensen
ce4fcfb1c5
Merge pull request #30480 from acowley/emacsMacport-6.8
...
emacsMacport: 25.3-6.7 -> 25.3-6.8
2017-10-16 22:08:06 -04:00
Jörg Thalheim
eee77393b4
Merge pull request #30464 from rnhmjoj/bb
...
bb: init at 1.3rc1
2017-10-17 02:55:52 +01:00
Jörg Thalheim
e935fbf43f
Merge pull request #30458 from sigma/pr/ghq-0.8.0
...
ghq: 0.7.4 -> 0.8.0
2017-10-17 02:42:57 +01:00
Michael Alan Dorman
a6e489cca4
melpa-packages: 2017-10-16
...
Removals:
- org-chinese-utils: removed from melpa
2017-10-16 18:07:41 -04:00
Michael Alan Dorman
faf85e2ad6
melpa-stable-packages: 2017-10-16
2017-10-16 18:07:41 -04:00
Michael Alan Dorman
b8e051acbc
org-packages: 2017-10-16
2017-10-16 18:07:40 -04:00
Michael Alan Dorman
cef2fc4d32
elpa-packages: 2017-10-16
2017-10-16 18:07:40 -04:00
John Ericson
6e1f864fd0
sc2-headless: License is unfree
...
I wrongly assumed that was the default when reviewing the PR.
2017-10-16 17:06:48 -04:00
Dan Haraj
188a413ebc
sc2-headless: init at 3.17
...
This packages up the Starcraft II headless Linux client provided by
Blizzard for machine learning research.
2017-10-16 16:34:00 -04:00
Anthony Cowley
a4203d0ffc
emacsMacport: 25.3-6.7 -> 25.3-6.8
2017-10-16 15:16:01 -04:00
Austin Seipp
cd52a3d53c
aiger: fix stupid incorrect download link
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 13:01:51 -05:00
Austin Seipp
635fbcbd33
nixpkgs: add aiger 1.9.9
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
b72f543f96
picosat: install more stuff
...
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
e84cec2762
nixpkgs: add 'avy' -- property directed AIGER model checking
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
740fb165da
nixpkgs: add symbiyosys, for HDL verification flows
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Lancelot SIX
eaeb6721d9
Merge pull request #30471 from thall/qgis_2_18_13
...
qgis: 2.18.12 -> 2.18.13
2017-10-16 18:29:09 +02:00
Markus Mueller
60b0db0e08
gitlab: link tmp/ directory to writable path
2017-10-16 14:58:02 +02:00
Niclas Thall
2c8058183f
qgis: 2.18.12 -> 2.18.13
2017-10-16 13:41:39 +02:00
rnhmjoj
14bbec1801
bb: init at 1.3rc1
2017-10-16 11:08:06 +02:00
Jörg Thalheim
09deacb7b8
Merge pull request #30388 from Infinisil/vis-fix
...
cli-visualizer: fix
2017-10-16 08:46:59 +01:00
Peter Hoeg
02a23b7b24
sddm: theme background images use a relative path which breaks sddm-kcm
2017-10-16 14:25:23 +08:00
Yann Hodique
b6d3d7cfc4
ghq: 0.7.4 -> 0.8.0
2017-10-15 21:21:20 -07:00
Simon Lackerbauer
800f751740
abella: 2.0.2 -> 2.0.4
2017-10-16 02:39:16 +02:00
Simon Lackerbauer
bb94e0408f
rstudio: 1.1.351 -> 1.1.383
2017-10-16 02:38:26 +02:00
Heitham Omar
dc60c1e3d0
mpv: enable dvb on Linux
2017-10-15 21:26:00 +01:00
Franz Pletz
c100811d63
scudcloud: add jsmin dependency, fixes build
2017-10-15 16:16:36 +02:00
Joachim F
28b0dfac1e
Merge pull request #30417 from SuprDewd/astroid-0.10.2
...
astroid: 0.9.1 -> 0.10.2
2017-10-15 13:48:53 +00:00
Vladimír Čunát
3ee33f35f8
Merge branch 'staging'
...
Contains security fixes in X server and X libs.
On Hydra, the amount to rebuild on master is now higher than on staging;
the comparison looks OK.
2017-10-15 13:59:18 +02:00
Matthias Beyer
5a21efdcdf
gitAndTools.git-dit: 0.1.0 -> 0.3.0
2017-10-15 11:59:30 +01:00
Vladimír Čunát
b1d32c0538
aegisub: fixup build with icu-59
...
Thanks to https://github.com/gentoo/gentoo/commit/779fbc09c456a
2017-10-15 10:44:16 +02:00
Michael Raskin
cceae9a56e
Merge pull request #30420 from mimadrid/update/rofi-1.4.1
...
rofi: 1.3.1 -> 1.4.1
2017-10-15 00:28:38 +02:00
mimadrid
416fe660df
rofi: 1.3.1 -> 1.4.1
2017-10-14 22:08:19 +02:00