Commit graph

10514 commits

Author SHA1 Message Date
William A. Kennington III b127f88711 git: 2.5.1 -> 2.5.2 2015-09-13 20:09:19 -07:00
Tobias Geerinckx-Rice 7c1a8a0bc9 dfasma: 1.2.4 -> 1.2.5 2015-09-13 22:36:47 +02:00
Tobias Geerinckx-Rice 59c6573cce keyfinder-cli: 2015-09-11 -> 2015-09-13 2015-09-13 22:36:46 +02:00
Cillian de Róiste a3a522286d synfigstudio: upgrade 0.64.3 -> 1.0.1 2015-09-13 20:58:22 +02:00
Marco Maggesi cb2a05b826 HOL Light: findlib is not necessary (nor actually used). Remove dependency. 2015-09-13 18:08:20 +02:00
lethalman af6e8eef18 Merge pull request #9813 from khumba/claws-mail-desktop-item
claws-mail: install desktop item, take maintainership
2015-09-12 15:52:06 +02:00
Domen Kožar d2fbbb2100 Revert "Revert "qemu: 2.2.1 -> 2.4.0""
This reverts commit df592a6535.

Segfauls on build machines were not caused due to qemu bump.
2015-09-12 12:56:18 +02:00
Pascal Wittmann 8754fe68ed Merge pull request #9812 from a1russell/playonlinux
playonlinux: 4.2.8 -> 4.2.9
2015-09-12 11:05:36 +02:00
Bryan Gardiner ab206a0e9a
claws-mail: install the .desktop file 2015-09-11 23:23:30 -07:00
Bryan Gardiner 7d7e983393
claws-mail: add myself as maintainer 2015-09-11 23:23:26 -07:00
Adam Russell 925233917f playonlinux: 4.2.8 -> 4.2.9 2015-09-11 23:32:19 -05:00
Tobias Geerinckx-Rice a365bbd910 keyfinder-cli: 20150201 (sic) -> 2015-09-11 2015-09-12 02:34:22 +02:00
Arseniy Seroka cb2fcd412a qutebrowser: 0.3 -> 0.4.0 2015-09-12 00:57:49 +03:00
William A. Kennington III c2c70b5edd gpa: 0.9.7 -> 0.9.9 2015-09-11 12:41:39 -07:00
Pascal Wittmann 806f65c5c8 pinpoint: 0.1.4 -> 0.1.6 2015-09-11 18:37:39 +02:00
Arseniy Seroka 43cc651001 Merge pull request #9791 from matthiasbeyer/update-i3
i3: 4.10.3 -> 4.10.4
2015-09-11 15:37:16 +03:00
Matthias Beyer a3a1bcb40a i3: 4.10.3 -> 4.10.4 2015-09-11 12:19:46 +02:00
Pascal Wittmann 9681e04d58 calibre: 2.37.1 -> 2.38.0 2015-09-11 11:57:17 +02:00
roconnor 22838a8f99 Merge pull request #9765 from roconnor/master
Add csdp support for Micromega tactics in Coq.
2015-09-11 00:19:08 -04:00
Arseniy Seroka 0948ead400 Merge pull request #9761 from eduarrrd/photoqt
Photoqt bump
2015-09-10 22:20:02 +03:00
Eelco Dolstra 972c0e5df4 virtualbox: Update to 5.0.4 2015-09-10 20:48:16 +02:00
Moritz Ulrich 3e03b921a1 Herbstluftwm: Fix zsh completion.
Files where installed in the wrong directory. This commit also replaces
sed with substituteInPlace.
2015-09-10 19:44:17 +02:00
Arseniy Seroka 0021233808 Merge pull request #9768 from matthiasbeyer/update-khard
khard: 0.4.1 -> 0.5.0
2015-09-10 19:18:55 +03:00
Russell O'Connor 4cc5f5dbb6 coq: Add csdp dependency
The csdp program is invoked for some uses of Micromega tactics.
2015-09-10 11:50:38 -04:00
Russell O'Connor 772ec9cae3 csdp: init at 6.1.1 2015-09-10 11:50:18 -04:00
aszlig 8be8193bd5
virtualbox: Fix revision/hash for guest additions.
Regression introduced in 7ffb1f3bde.

Also added a small notice so that this hopefully won't happen with
future updates.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2015-09-10 17:03:36 +02:00
Matthias Beyer 12424562db khard: 0.4.1 -> 0.5.0 2015-09-10 10:26:47 +02:00
lethalman 220e02506f Merge pull request #9760 from ebzzry/devilspie2
devilspie2: init at 0.39
2015-09-10 09:57:10 +02:00
Tobias Geerinckx-Rice 26eaa93094 rsstail: 2.0 -> 2015-09-06
There are no releases, so don't let's pretend.
2015-09-10 01:47:09 +02:00
Tobias Geerinckx-Rice 9e408aa1c6 dfasma: 1.2.0 -> 1.2.4 2015-09-10 01:02:20 +02:00
Eduard Bachmakov 09bf6c95c6 photoqt: 1.2 -> 1.3 2015-09-09 19:00:51 -04:00
Eduard Bachmakov f040a1443e graphicsmagick: 1.3.18 -> 1.3.21 2015-09-09 19:00:37 -04:00
Rommel M. Martinez 6919533410 devilspie2: init at 0.39 2015-09-10 05:11:56 +08:00
Domen Kožar f2627f9c81 Merge pull request #9752 from FRidh/maintainer
add myself as maintainer
2015-09-09 15:27:34 +02:00
Frederik Rietdijk cd5a9afeac add myself as maintainer 2015-09-09 15:25:49 +02:00
Austin Seipp d8858e48e2 nixpkgs/jonprl: minor touchups
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-09-09 07:48:55 -05:00
Brian McKenna e9bdf0fc07 JonPRL: init at 0.1.0 2015-09-09 21:23:48 +10:00
Arseniy Seroka 2017d56edf Merge pull request #9708 from a1russell/playonlinux
Add playonlinux derivation.
2015-09-09 12:28:46 +03:00
Robert Helgesson 11693943de eclipse-plugin-checkstyle: 6.5.0.201504121610 -> 6.9.0.201508291549 2015-09-09 09:47:48 +02:00
Adam Russell 735673bb9f playonlinux: init at 4.2.8 2015-09-09 00:05:02 -05:00
Arseniy Seroka 90a7bb69d0 Merge pull request #9711 from anderspapitto/bitlbee
plugin support for bitlbee, and facebook plugin
2015-09-09 03:03:53 +03:00
William A. Kennington III 71ec4dbd45 chromium: Dev / Beta Updates 2015-09-08 15:19:48 -07:00
Anders Papitto 78f7a09e3a bitlbee service: enable plugins 2015-09-08 14:24:50 -07:00
Anders Papitto 207f74eee9 bitlbee-facebook: init at 2015-08-27 2015-09-08 14:24:25 -07:00
Anders Papitto 7bcf564587 bitlbee: patch to allow plugindir configuration 2015-09-08 12:05:48 -07:00
Pascal Wittmann 7d12a0a709 Merge pull request #9606 from nckx/update-links2
links2: 2.10 -> 2.11
2015-09-08 17:38:26 +02:00
Pascal Wittmann 41fb95168e filezilla: 3.12.0.2 -> 3.13.1 2015-09-08 13:53:28 +02:00
Kamil Chmielewski e77b9fff67 git-radar: init at 0.3.2 2015-09-08 08:44:51 +02:00
Arseniy Seroka 54bcc4e446 Merge pull request #9699 from samuelrivas/emacs-erlang-mode
Add erlang-mode for emacs
2015-09-08 00:00:33 +03:00
Jascha Geerds 33e210a5cb Merge pull request #9695 from desiderius/pycharm-4.5.4
idea.pycharm-{community,professional}: 4.5.3 -> 4.5.4
2015-09-07 22:59:40 +02:00