Commit Graph

10497 Commits

Author SHA1 Message Date
Matthias Beyer
a3a1bcb40a i3: 4.10.3 -> 4.10.4 2015-09-11 12:19:46 +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
Arseniy Seroka
b70ffedbcc Merge pull request #9694 from samuelrivas/update-emacs-solarized-theme
update emacs solarized theme and fix the name
2015-09-07 23:45:20 +03:00
Samuel Rivas
43fe8f2859 color-theme-solarized: initial at 1.0.0
update emacs solarized theme and fix the name

  * Added myself as maintainer as no one was there
  * Picked the latest version (no tags in that repo)
  * Changed the name, this was (probably mistakenly) named as color-theme, which
    is another package
2015-09-07 22:35:36 +02:00
Samuel Rivas
ce433f2a5f emacs-mode: initial (same version as erlang)
This is just extracted from the erlang derivation. Otherwise one needs to know
where the emacs mode is (and the path depends on the version of Erlang used)
2015-09-07 22:32:26 +02:00
Simon Vandel Sillesen
5dd30c6c4d keepassx2: 2.0-beta1 -> 2.0-beta2 2015-09-07 22:00:58 +02:00
desiderius
709ddcb475 idea.pycharm-{community,professional}: 4.5.3 -> 4.5.4 2015-09-07 16:01:43 +02:00
Domen Kožar
df592a6535 Revert "qemu: 2.2.1 -> 2.4.0"
This reverts commit 0e0e3c0c08.

I've been seeing quite some QEMU segfaults on Hydra,
hopefully reverting the bump will fix the issue.

(cherry picked from commit 863c121c0782b82900d736f9f71dbcfa80f62e1d)
Signed-off-by: Domen Kožar <domen@dev.si>
2015-09-07 12:22:13 +02:00
Domen Kožar
d2f0bc747d atom: 1.0.0 -> 1.0.4
(cherry picked from commit 072196adb03b1e36c5af194890dd72bdb9335232)
Signed-off-by: Domen Kožar <domen@dev.si>
2015-09-07 12:22:08 +02:00
Tobias Geerinckx-Rice
e349333246 dfasma: 1.1.36 -> 1.2.0 2015-09-06 23:50:03 +02:00
Arseniy Seroka
b537abe646 Merge pull request #9681 from ryantm/fix/spaceFM
spaceFM: add icon dependencies
2015-09-06 22:44:21 +03:00
Pascal Wittmann
73db5b2571 viking: update from 1.3 to 1.6 2015-09-06 21:44:05 +02:00
Ryan Mulligan
4b1cfd1e9f spaceFM: add icon dependencies
Fixes icon problems reported in #9678
2015-09-06 09:12:30 -07:00
Tobias Geerinckx-Rice
39054c5a6c dfasma: 1.1.11 -> 1.1.36 2015-09-05 22:19:45 +02:00
Bob van der Linden
e6e338401f popcorntime: 0.3.7.2 -> 0.3.8-3 2015-09-05 16:01:37 +02:00
Rok Garbas
7dc9dfae88 blink: 1.4.0 -> 1.4.1 2015-09-05 15:01:06 +02:00
Pascal Wittmann
f912c211fe calibre: update from 2.36.0 to 2.37.1 2015-09-05 11:20:29 +02:00
William A. Kennington III
f2271f7c19 drive: Migrate to go-packages 2015-09-05 00:42:49 -07:00
William A. Kennington III
e617eeea41 syncthing: Move to go-packages 2015-09-04 21:00:57 -07:00