Jörg Thalheim
eee77393b4
Merge pull request #30464 from rnhmjoj/bb
...
bb: init at 1.3rc1
2017-10-17 02:55:52 +01:00
Samuel Leathers
1dc92fe688
sway: 0.13.0 -> 0.14.0
2017-10-16 21:50:16 -04: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
Nikolay Amiantov
e2a7f508fc
rstudio: enable parallel building
...
Also cleanup inputs.
2017-10-17 03:40:11 +03:00
Nikolay Amiantov
b1736511ce
boost: make 1.65 the default
2017-10-17 03:40:11 +03: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
vbgl
fcfeda5544
Merge pull request #30206 from romildo/upd.mkvtoolnix
...
mkvtoolnix: 15.0.0 -> 16.0.0; libmatroska: 1.4.7 -> 1.4.8
2017-10-14 21:48:44 +02:00
Vladimír Čunát
e067d26f43
firefox: fixup build on i686-linux after 56.x update
...
Broken since #30143 .
I can't say I understand why this combination is apparently unsupported.
i686-linux is a second-tier platform now, but firefox is still kept a
channel blocker...
2017-10-14 21:24:15 +02:00
Jörg Thalheim
fe36e9aefa
Merge pull request #29783 from catern/ffkrb
...
firefox: add Kerberos support
2017-10-14 18:06:00 +01:00
Michael Weiss
527f6e9c47
android-studio-preview: 3.0.0.15 -> 3.0.0.16
2017-10-14 18:57:13 +02:00
Bjarki Ágúst Guðmundsson
9b2af1869b
astroid: 0.9.1 -> 0.10.2
...
- Use gmime3 instead of gmime2: https://github.com/astroidmail/astroid/issues/405
- Remove adwaita-icon-theme, as it is not needed
- Add SuprDewd as a maintainer
2017-10-14 16:51:20 +00:00
Luca Bruno
7c45662947
go-ethereum: 1.7.1 -> 1.7.2
2017-10-14 16:39:36 +02:00
Jörg Thalheim
a062e325b0
Merge pull request #30345 from matklad/update-jb
...
Update jb
2017-10-14 14:40:41 +01:00
gnidorah
27bcd6c426
mailnag: fix working ( #30358 )
...
* mailnag: fix working
* mailnag: use wrapGAppsHook; add icon theme
2017-10-14 12:07:44 +01:00
Herwig Hochleitner
30b3b5d85f
announce myself as a maintainer
...
added maintainer entries for `cdemu` (which i've created), as well as
`wine` and `chromium` (which I regularly contribute to)
2017-10-14 11:11:49 +02:00
Justin Humm
5cca8800a4
notmuch-bower: init at 2017-09-27 ( #29856 )
...
* bower: init and add erictapen as maintainer
* bower: fix up
* notmuch-bower: rename from bower
2017-10-14 10:08:04 +01:00
Vladimír Čunát
6525c22ef1
Merge branch 'master' into staging
...
Hydra: ?compare=1401528
2017-10-14 10:36:13 +02:00
Lancelot SIX
c4160a4eb7
Merge pull request #30329 from gleber/pgadmin-upgrade-fix
...
pgadmin3: 1.22.1 -> 1.22.2
2017-10-14 09:48:10 +02:00
Peter Hoeg
72d8eeea88
Revert "amarok-kf5: init at 2.8.91-20170228"
...
This reverts commit fde0bad577
.
2017-10-14 14:42:49 +08:00
Peter Hoeg
d81601065d
Revert "msmtp: add nonblocking support"
...
This reverts commit 5f29e9fdbf
.
2017-10-14 14:42:48 +08:00
Peter Hoeg
9bf0e701e9
kdeconnect: boy scout cleanups
2017-10-14 14:38:04 +08:00
Peter Hoeg
5f29e9fdbf
msmtp: add nonblocking support
2017-10-14 14:38:04 +08:00
Peter Hoeg
fde0bad577
amarok-kf5: init at 2.8.91-20170228
2017-10-14 14:38:04 +08:00
Florian Klink
c46fa38c90
gummi: init at 0.6.6 ( #30398 )
...
* gummi: init at 0.6.6
* gummi: cleanup
2017-10-13 23:22:12 +01:00
Gleb Peregud
52bedcb14b
pgadmin3: 1.22.1 -> 1.22.2
...
Also include Debian patch
https://sources.debian.net/data/main/p/pgadmin3/1.22.2-1/debian/patches/843344
which fixes segfault at start
2017-10-13 22:52:52 +02:00
Jörg Thalheim
2820830e3e
Merge pull request #30029 from jensbin/citrix_receiver_13.7.0
...
citrix-receiver: 13.4.0 -> 13.7.0
2017-10-13 21:25:39 +01:00
Jörg Thalheim
50a3db126d
Merge pull request #30394 from flokli/neomutt
...
neomutt: 20170912 -> 20171013
2017-10-13 20:24:20 +01:00
Florian Klink
a678696e40
neomutt: 20170912 -> 20171013
2017-10-13 19:36:05 +02:00
Eisfreak7
06fc476bc6
qutebrowser: 0.11 -> 1.0.1 ( #30365 )
...
* qutebrowser: 0.11 -> 1.0
This updates has a few breaking changes, most importantly WebEngine
is now enabled by default and the configuration system was completely
changed (requiring uers to manually migrate their configuration).
More info: https://blog.qutebrowser.org/qutebrowser-v100-released.html
* qutebrowser: 1.0.0 -> 1.0.1
2017-10-13 18:15:19 +01:00
Mateusz Kowalczyk
4c1b8fc890
firefox-devedition-bin: 57.0b6 -> 57.0b8
2017-10-13 15:49:21 +01:00
Joachim F
6e7f35c0b6
Merge pull request #30327 from JamesTheAwesomeDude/master
...
palemoon: 27.4.2 -> 27.5.0
2017-10-13 13:28:05 +00:00
Silvan Mosberger
6f38c8e182
cli-visualizer: fix
2017-10-13 14:47:23 +02:00
Jörg Thalheim
1193354e7f
Merge pull request #30382 from sorpaas/update-geth-classic
...
go-ethereum-classic: 3.5.86 -> 4.0.0
2017-10-13 12:11:06 +01:00
Franz Pletz
82e9553250
Merge pull request #30363 from Moredread/udiskie
...
udiskie: 1.7.0 -> 1.7.1
2017-10-13 13:10:21 +02:00
Wei Tang
e8c89aaf06
go-ethereum-classic: 3.5.86 -> 4.0.0
2017-10-13 14:03:50 +08:00
Peter Hoeg
71b7b4f19c
Merge pull request #30296 from adisbladis/kdeconnect_1_2
...
kdeconnect: 1.0.3 -> 1.2
2017-10-13 11:05:52 +08:00
André-Patrick Bubel
1d340c9e51
udiskie: 1.7.0 -> 1.7.1
2017-10-12 20:46:31 +02:00
Tim Steinbach
8a957be337
atom-beta: 1.22.0-beta0 -> 1.22.0-beta1
2017-10-12 13:17:49 -04:00
Tim Steinbach
08b2c82eca
atom: 1.21.0 -> 1.21.1
2017-10-12 13:12:27 -04:00
Joachim F
756b9c7d6c
Merge pull request #30222 from Nadrieril/update-purple-hangouts
...
purple-hangouts: 2016-12-22 -> 2017-10-08
2017-10-12 13:51:05 +00:00
Joachim F
f7f8822208
Merge pull request #30313 from mdorman/emacs-updates
...
Semi-automated Emacs package updates
2017-10-12 13:05:50 +00:00
Aleksey Kladov
c0ec6d9d21
jetbrains.rider: 2017.1.1 -> 2017.1.2
2017-10-12 15:49:16 +03:00
Aleksey Kladov
f8103e7226
jetbrains.idea-ultimate: 2017.2.4 -> 2017.2.5
2017-10-12 15:48:56 +03:00
Aleksey Kladov
7155b8c27d
jetbrains.idea-community: 2017.2.4 -> 2017.2.5
2017-10-12 15:48:29 +03:00
Aleksey Kladov
b9ce5b3f08
jetbrains.gogland: 172.3968.45-> 173.2696.28
2017-10-12 15:47:51 +03:00
Aleksey Kladov
cbdc72b6f1
jetbrains.clion: 2017.2.2 -> 2017.2.3
2017-10-12 15:47:13 +03:00
Jörg Thalheim
1c9863aafe
Merge pull request #30343 from Ma27/update-yabar-unstable
...
yabar-unstable: 2017-09-09 -> 2017-10-12
2017-10-12 11:28:28 +01:00
Maximilian Bosch
b23b545942
yabar-unstable: 2017-09-09 -> 2017-10-12
2017-10-12 09:08:08 +02:00
adisbladis
6fb1983212
kdeconnect: 1.0.3 -> 1.2
2017-10-12 12:06:49 +08:00
Joachim F
26c8573b1e
Merge pull request #30224 from andir/cleanup
...
Cleanup typoed `propagateBuildInputs` that are probably not needded
2017-10-11 21:34:40 +00:00
Joachim F
c405302402
Merge pull request #30227 from pbogdan/newsbeuter-cve-2017-12904
...
newsbeuter: fix CVE-2017-12904
2017-10-11 21:32:25 +00:00
James Edington
67ae0fa051
palemoon: 27.4.2 -> 27.5.0
...
27.5.1 is "out", but there is no GitHub Release
(Although, this shouldn't be an issue since it was
mostly Win10-only changes anyway)
2017-10-11 14:19:37 -05:00
Tim Steinbach
6a046500e6
vscode: 1.17.0 -> 1.17.1
2017-10-11 14:39:54 -04:00
Jörg Thalheim
fb7f35db5f
Merge pull request #30278 from NeQuissimus/minikube_0_22_3
...
minikube: 0.22.2 -> 0.22.3
2017-10-11 13:39:14 +01:00
Michael Alan Dorman
1c9a15bfdc
melpa-packages: 2017-10-09
...
Removals:
- baidu-life: Removed from melpa
- any packages not available in git or hg
2017-10-11 07:40:54 -04:00
Michael Alan Dorman
5e1c5b8b61
melpa-stable-packages: 2017-10-09
...
Removals:
- forecast: tags no longer present in repo
- org-mac-iCal: removed from melpa
- paper-theme: tags no longer present in repo
2017-10-11 07:40:53 -04:00
Michael Alan Dorman
2ad1754290
org-packages: 2017-10-09
2017-10-11 07:40:53 -04:00
Michael Alan Dorman
ed6c85c04c
elpa-packages: 2017-10-09
2017-10-11 07:40:53 -04:00
Jörg Thalheim
8c667cc810
Merge pull request #30273 from edef1c/solvespace-escaped-newline
...
solvespace: remove stray newline escape
2017-10-11 12:22:02 +01:00
Jörg Thalheim
3a21ed52d2
Merge pull request #30309 from dywedir/mediainfo
...
libmediainfo, mediainfo, mediainfo-gui: 0.7.97 -> 0.7.99
2017-10-11 12:11:25 +01:00
Jörg Thalheim
60ff6dd5d6
Merge pull request #30301 from holidaycheck/git-lfs-2.3.3
...
git-lfs: 2.2.1 -> 2.3.3
2017-10-11 11:22:39 +01:00
Peter Hoeg
97ec559b00
syncthing: 0.14.38 -> 0.14.39
2017-10-11 17:25:33 +08:00
dywedir
ad5a67cf16
libmediainfo, mediainfo, mediainfo-gui: 0.7.97 -> 0.7.99
2017-10-11 11:13:00 +03:00
Vincent Laporte
1529938fc3
cubicle: 1.0.2 -> 1.1.1
2017-10-11 07:38:27 +00:00
Jaka Hudoklin
29f4775103
Merge pull request #29923 from NeQuissimus/kube_1_7_7
...
kubernetes: 1.7.1 -> 1.7.8
2017-10-11 06:05:56 +02:00
Maxime Dénès
d1e1ee7b09
coq: 8.7+beta1 -> 8.7+beta2
2017-10-11 03:02:01 +02:00
dywedir
e509f6ffdf
feh: 2.20 -> 2.21
2017-10-11 02:36:45 +02:00
Peter Hoeg
d4142e17ef
Merge pull request #30294 from pbogdan/update-tnef
...
tnef: 1.4.14 -> 1.4.15
2017-10-11 08:20:24 +08:00
Mathias Schreck
bd559dcea7
git-lfs: 2.2.1 -> 2.3.3
2017-10-10 23:47:24 +02:00
Piotr Bogdan
62381a6c75
tnef: 1.4.14 -> 1.4.15
2017-10-10 19:10:37 +01:00
jaltek
da93e6e678
shutter: 0.93.1 -> 0.94
2017-10-10 19:30:25 +02:00
Michael Raskin
e64f4d8118
Merge pull request #30282 from taku0/flashplayer-27.0.0.159
...
flashplayer: 27.0.0.130 -> 27.0.0.159
2017-10-10 18:53:36 +02:00