Commit graph

6355 commits

Author SHA1 Message Date
Vladimír Čunát
5bb0803254 fix evaluation (shotwell license) 2014-03-19 21:10:43 +01:00
Domen Kožar
d4b1250b6c remove prefix for kazam 2014-03-18 18:23:13 +01:00
Domen Kozar
902b059967 Add shotwell 1.15.1 2014-03-18 18:23:13 +01:00
Anders Claesson
ac3de98f07 Add sloane -- a command line interface to OEIS. 2014-03-18 14:37:56 +00:00
William A. Kennington III
b6d3526c53 qemu: Update 1.5.2 -> 1.7.0 2014-03-18 14:24:46 +01:00
Peter Simons
5e7608e226 Merge pull request #1932 from wkennington/master.sup
sup: Push sup to the latest git commit
2014-03-18 12:09:20 +01:00
Vladimír Čunát
cca592b455 liferea: minor update 2014-03-18 10:24:00 +01:00
Peter Simons
bfa2466d71 haskell-xmobar: update to version 0.20.1 2014-03-17 18:33:54 +01:00
William A. Kennington III
4a112f46b1 sup: Push sup to the latest git commit
ncursesw was also pushed forward from 1.3.1.2 -> 1.4.6 as the packaging
was changed for the latest version of sup
2014-03-17 12:04:31 -05:00
ambrop7@gmail.com
5533e05ca1 Chromium: Add desktop entry. 2014-03-16 13:35:43 +01:00
Ricardo M. Correia
a16e1e2133 chromium: Update stable and beta channels
stable: 33.0.1750.149 -> 33.0.1750.152
beta:   34.0.1847.45  -> 34.0.1847.60
2014-03-16 13:26:01 +01:00
Cillian de Róiste
b57ee8c331 nixpkgs-lint: add the platforms meta attr for most of my packages 2014-03-16 12:08:26 +01:00
Cillian de Róiste
1661501465 ardour: make ardour3 the default and remove ardour 2, it doesn't build 2014-03-16 11:32:56 +01:00
Vladimír Čunát
7ca8bd6d4f Merge pull request #1965 from ambrop72/ktorrent-4.3.1
KTorrent: update to 4.3.1.
2014-03-15 23:13:50 +01:00
ambrop7@gmail.com
24f4957d50 KTorrent: Fix URLs. 2014-03-15 21:31:58 +01:00
ambrop7@gmail.com
732760bb50 Update KTorrent to 4.3.1. 2014-03-15 20:22:03 +01:00
Shea Levy
389c3951a8 Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgs
coq: 8.4pl2 -> 8.4pl3
2014-03-15 13:03:10 -04:00
Shea Levy
da184a455f Merge branch 'vmpk' of git://github.com/iyzsong/nixpkgs
add vmpk 0.5.1, a virtual midi piano keyboard
2014-03-15 12:22:18 -04:00
Vladimír Čunát
6246fad9c7 liferea: fix crash when opening file dialogs
The same schema issue as always in gtk3 dialogs.
2014-03-15 15:09:03 +01:00
Peter Simons
f1a30454f6 Merge pull request #1942 from thoughtpolice/fixups
Trivial fixes for my packages
2014-03-15 09:35:35 +01:00
宋文武
9ce62a1ae6 add vmpk 0.5.1, a virtual midi piano keyboard 2014-03-15 13:13:25 +08:00
Shea Levy
5a38bfdb9c Merge branch 'darcsum' of git://github.com/falsifian/nixpkgs
Added darcsum, "a pcl-cvs like interface for managing darcs patches".
2014-03-14 19:42:27 -04:00
Bjørn Forsman
562f937d21 openscad: bump 2013.06 -> 2014.03
openscad now depends on glib, and it needs pkgconfig to find glib.
2014-03-14 22:21:15 +01:00
Ricardo M. Correia
17b473449b Add myself as maintainer of pkgs I wish to keep up-to-date 2014-03-14 21:22:09 +01:00
Eelco Dolstra
5a807eaedb flashplayer: Add license field 2014-03-14 13:24:23 +01:00
Nixpkgs Monitor
b86692e00d mpg123: update from 1.18.1 to 1.19.0 2014-03-14 11:16:56 +01:00
宋文武
aa42830538 add ekho 5.8.2, a Chinese TTS software 2014-03-14 13:18:19 +08:00
Vladimír Čunát
db9599c4a0 gnumeric: minor update 1.12.9 -> .12 2014-03-13 22:55:52 +01:00
Ben Doyle
3cbd1cd795 newsbeuter: bump development version to latest master 2014-03-13 17:01:58 -04:00
Ben Doyle
8fb68289c6 newsbeuter: Update from 2.7 to 2.8 2014-03-13 17:01:57 -04:00
Vladimír Čunát
d6349df0dd put systemd unit dirs on the right place
Also see #1936.
2014-03-13 21:44:51 +01:00
Ricardo M. Correia
d83e7fbb8d chromium: Update all channels
stable: 33.0.1750.146 -> 33.0.1750.149
beta:   34.0.1847.14  -> 34.0.1847.45
dev:    35.0.1862.2   -> 35.0.1883.0
2014-03-13 02:27:14 +01:00
Cillian de Róiste
fcfbe753e7 Add synfig: A 2D animation program 2014-03-13 01:14:05 +01:00
Domen Kožar
5b733c9e24 Merge pull request #1919 from wkennington/master.st
st: Add builtInput for pkgconfig
2014-03-12 23:34:56 +01:00
Peter Simons
23807bbe97 Merge pull request #1925 from wkennington/master.notbit
notbit: Add Package
2014-03-12 19:00:31 +01:00
William A. Kennington III
635cb24bb1 notbit: Add Package 2014-03-12 11:28:16 -05:00
Ricardo M. Correia
4640a6b9db flashplayer: Update from 11.2.202.341 -> 11.2.202.346 2014-03-12 14:42:52 +01:00
Vladimír Čunát
4c9bac5004 liferea: fix https URIs by adding glib_networking 2014-03-11 22:01:12 +01:00
ambrop7@gmail.com
927971d8e3 kdevelop: Update to 4.6. 2014-03-11 18:36:16 +01:00
William A. Kennington III
635599c611 st: Add builtInput for pkgconfig
During the build process st fails to find pkg-config. This does not throw a fatal error but it should be included during build time.
2014-03-11 12:11:19 -05:00
Eelco Dolstra
36ee5c61c3 Rename git -> git-minimal, git-full -> git
Since most people probably want the full Git.
2014-03-11 17:00:17 +01:00
Peter Simons
423b2e2cd4 haskell-xmobar: update to version 0.20 2014-03-11 13:50:47 +01:00
Arseniy Seroka
f7d5e83abb slim: remove duplicate code 2014-03-11 16:27:27 +04:00
José Romildo Malaquias
0704190b33 liferea: fixed some dependencies 2014-03-10 23:37:42 -03:00
Ricardo M. Correia
05a2b88df7 vimHugeX: also add wrapper for system-wide vimrc 2014-03-10 23:40:59 +01:00
Eelco Dolstra
203f4d6ec8 firefoxWrapper: Fix the name 2014-03-10 15:25:47 +01:00
Eelco Dolstra
1fe2a68224 quodlibet: Fix evaluation
http://hydra.nixos.org/build/9400950
2014-03-10 14:51:05 +01:00
Bjørn Forsman
d23ea79667 gnuradio: also use PYTHONPATH from runtime environment
So that extra modules can be used without rebuilding (e.g. in
gnuradio-companion). PYTHONPATH from the environment is added *after*
the default deps.
2014-03-09 22:35:36 +01:00
Cillian de Róiste
12b50bb9f6 add ams-lv2: An LV2 port of the internal modules found in Alsa Modular Synth 2014-03-09 22:14:56 +01:00
Cillian de Róiste
7aa008d1b8 Merge branch 'ingen' 2014-03-09 20:35:20 +01:00
Cillian de Róiste
d21323cbf8 add ingen: A modular audio processing system using JACK and LV2 or LADSPA 2014-03-09 20:32:06 +01:00
José Romildo Malaquias
542226ffe1 Updated liferea version from 1.8.15 to 1.10.6 2014-03-09 19:28:47 +01:00
Vladimír Čunát
5729457d50 Merge: remove poppler_0_18 from libreoffice 2014-03-09 11:43:11 +01:00
Bjørn Forsman
28e28acc36 gqrx: new package
Gqrx is a software defined radio receiver powered by GNU Radio and the Qt
GUI toolkit. It can process I/Q data from many types of input devices,
including Funcube Dongle Pro/Pro+, rtl-sdr, HackRF, and Universal
Software Radio Peripheral (USRP) devices.

http://gqrx.dk/
2014-03-08 21:46:13 +01:00
Bjørn Forsman
24d9bc576a gnuradio-osmosdr: new package
This is a Gnuradio block for OsmoSDR and rtl-sdr.

http://sdr.osmocom.org/trac/wiki/GrOsmoSDR
2014-03-08 21:46:13 +01:00
Bjørn Forsman
f0af1e7512 rtl-sdr: new package
rtl-sdr turns your Realtek RTL2832 based DVB dongle into a SDR receiver.

http://sdr.osmocom.org/trac/wiki/rtl-sdr
2014-03-08 21:46:12 +01:00
Vladimír Čunát
73eead9f13 libreoffice: add deps needed now (libXdmcp, libpthreadstubs)
Configure phase passes now.
2014-03-08 21:25:30 +01:00
Michael Raskin
8dc61a6519 Update EKRHyper 2014-03-08 21:12:59 +04:00
Evgeny Egorochkin
5a92a3a296 cgit: update from 0.10 to 0.10.1 2014-03-08 18:24:16 +02:00
Evgeny Egorochkin
568f9e953f xterm: update from 301 to 303 2014-03-08 17:53:12 +02:00
Cillian de Róiste
dc80186449 synthv1: update from 0.3.6 to 0.4.0 2014-03-08 14:52:19 +01:00
Cillian de Róiste
c4651ec5df samplv1: update from 0.3.6 to 0.4.0 2014-03-08 14:52:19 +01:00
Cillian de Róiste
3093656cfb drumkv1: update from 0.3.6 to 0.4.0 2014-03-08 14:52:19 +01:00
Peter Simons
39175f5117 haskell-git-annex: update to version 5.20140306 2014-03-08 11:27:29 +01:00
James Cook
5d14048867 ImageMagick: update to 6.8.8-7
Fixes CVE-2014-{1947,1958,2030}.
2014-03-08 10:35:05 +01:00
Austin Seipp
c0f779ceee coq: add myself to maintainer list.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:33 -06:00
Austin Seipp
fa118fc677 coq: 8.4pl2 -> 8.4pl3
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:26 -06:00
Austin Seipp
fb055c10f6 Make my packages slightly more consistent.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:27:02 -06:00
Bjørn Forsman
b0ec4b54e7 gnuradio: update 3.7.1 -> 3.7.2.1
I verified that gnuradio-companion (the GUI) still starts.
2014-03-07 23:59:36 +01:00
Bjørn Forsman
084ff142ad gnuradio: wrap example programs too
Without this the examples don't work. Example:

$ /nix/store/HASH-gnuradio-3.7.1/share/gnuradio/examples/uhd/usrp_am_mw_rcv.py
Traceback (most recent call last):
  File "/nix/store/HASH-gnuradio-3.7.1/share/gnuradio/examples/uhd/usrp_am_mw_rcv.py", line 24, in <module>
    from gnuradio import gr, eng_notation
ImportError: No module named gnuradio
2014-03-07 23:59:35 +01:00
Peter Simons
41e0214bb1 R: update to version 3.0.3 2014-03-07 22:51:39 +01:00
Domen Kožar
a73ab2f4cf Merge pull request #1893 from ttuegel/maintainer
Claim maintainership of recently added packages
2014-03-07 21:53:12 +01:00
José Romildo Malaquias
69a3372f3f Added hexchat 2014-03-07 21:52:36 +01:00
Thomas Tuegel
df5639183c Claim maintainership of recently added packages
Also set platforms for some packages where it was missing.
2014-03-07 11:23:30 -06:00
Shea Levy
d690e2ef7a Merge branch 'jitsi' of git://github.com/berdario/nixpkgs
Added jitsi
2014-03-07 10:51:41 -05:00
Dario Bertini
eb8cf5427e
Avoid using a global implicitly defined java binary 2014-03-07 16:43:01 +01:00
Domen Kožar
eb6a290f5e bittorrentSync: 1.2.82 -> 1.2.91 2014-03-07 15:12:45 +01:00
Song Wenwu
08fb4d6bc4 praat: set meta.platforms to linux 2014-03-07 15:06:44 +01:00
Song Wenwu
1d52f7bd68 praat: update from 5323 to 5365 2014-03-07 15:06:44 +01:00
Domen Kožar
0592916851 Merge pull request #1680 from Calrama/seafile
Add packages for libzdb, libsearpc, ccnet, seafile-shared, and seafile-c...
2014-03-07 13:51:17 +01:00
Domen Kožar
58accbc745 Merge pull request #1821 from AndersonTorres/master
8086tiny: new package
2014-03-07 13:18:12 +01:00
Domen Kožar
152f87cc47 Merge pull request #959 from wizeman/vimrc
vim: add config option to generate global vimrc
2014-03-07 12:56:15 +01:00
Domen Kožar
c616f319d3 Merge pull request #1860 from jagajaga/dwb_update
dwb: update version
2014-03-07 12:36:00 +01:00
Domen Kožar
2ff577e558 Merge pull request #1861 from ttuegel/pcmanfm
Add pcmanfm-1.2.0
2014-03-07 12:27:10 +01:00
Shea Levy
5dcb18610a Merge branch 'master' of git://github.com/esterlus/nixpkgs
added telegram-cli as instant-messenger application
2014-03-07 04:37:09 -05:00
Vladimír Čunát
be58c4f9e4 mupdf: fix CVE-2014-2013 by upstream patch 2014-03-06 21:21:03 +01:00
Vladimír Čunát
8f577c576c filezilla: use default gnutls instead of vulnerable gnutls2 2014-03-05 14:23:05 +01:00
Eelco Dolstra
48ce981d13 mercurial: Update to 2.9.1 2014-03-05 11:29:32 +01:00
Domen Kožar
402198de56 Merge pull request #1838 from pSub/calibre-update
calibre: upgrade from 1.23.0 to 1.25.0
2014-03-05 08:35:21 +01:00
Ronny Esterluss
e0eb72cd17 added telegram-cli as instant-messenger application 2014-03-04 23:19:48 +01:00
Ricardo M. Correia
fdf97c5df3 chromium: Update all channels
stable: 33.0.1750.117 -> 33.0.1750.146
beta:   33.0.1750.117 -> 34.0.1847.14
dev:    34.0.1847.3   -> 35.0.1862.2
2014-03-04 18:35:08 +01:00
Dario Bertini
26d42a894a
Added jitsi 2014-03-04 13:17:57 +01:00
Peter Simons
164cf167b4 xmobar: drop obsolete patch files 2014-03-03 22:12:28 +01:00
mornfall
528b600ec6 Merge pull request #1867 from thoughtpolice/fixes
Some minor fixes for my packages - ktap, cb0cat, etc
2014-03-03 20:36:08 +01:00
Pascal Wittmann
af3cf0dbeb Add structured-haskell-mode 2014-03-03 11:55:26 +01:00
Peter Simons
aa8ef327e4 gitAndTools.gitflow: update from 1.6.1 to 1.7.0 2014-03-03 11:10:27 +01:00
Peter Simons
97298922e5 gitAndTools.hub: update from 1.11.1 to 1.12.0 2014-03-03 11:10:27 +01:00
Peter Simons
db2776ee8a feh: update from 2.9.3 to 2.10 2014-03-03 11:10:27 +01:00
Peter Simons
34ef383d45 xterm: update from 300 to 301 2014-03-03 11:10:26 +01:00
Peter Simons
dd3f07e0f2 skype: update from 4.2.0.11 to 4.2.0.13 2014-03-03 11:10:26 +01:00
Peter Simons
19cb32a36c root: update from 5.34.14 to 5.34.15 2014-03-03 11:10:25 +01:00
Peter Simons
43eb9e6d53 mpg123: update from 1.16.0 to 1.18.1 2014-03-03 11:10:25 +01:00
Austin Seipp
7d561c5ba9 spark: Remove unneeded whitespace.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-02 05:51:22 -06:00
Mathijs Kwik
d2dd22651d idris-mode: upgrade to current version 2014-03-02 08:41:45 +01:00
Thomas Tuegel
90759ebf63 Add pcmanfm-1.2.0 2014-03-01 12:39:11 -06:00
Arseniy Seroka
350277d9c5 dwb: update version 2014-03-01 22:23:52 +04:00
Eelco Dolstra
405ea01e67 Add aangifte-2013 2014-03-01 16:54:16 +01:00
Evgeny Egorochkin
2291ae241c homebank: update from 4.5.4 to 4.5.5 2014-03-01 05:25:28 +02:00
Moritz Maxeiner
997fffb54e Set meta.platforms attribute to platforms.linux for Seafile packages and their prerequisites 2014-02-28 17:24:43 +01:00
Moritz Maxeiner
53e743fa08 Update Virtualbox and Guest Additions to 4.3.8, Oracle Extensions to 92456 2014-02-28 17:19:48 +01:00
Moritz Maxeiner
0fef1c502b Add indentation for multi-line strings in seafile-client expression 2014-02-28 17:06:18 +01:00
Domen Kožar
037684283a typo 2014-02-28 16:47:15 +01:00
Peter Simons
8cd17a8b03 haskell-git-annex: update to version 5.20140227 2014-02-28 13:01:00 +01:00
Peter Simons
861061cf65 haskell-yi: update to version 0.7.1 2014-02-28 13:01:00 +01:00
Peter Simons
fbd5795852 haskell-yi-contrib: update to version 0.7.1 2014-02-28 13:01:00 +01:00
Eelco Dolstra
34874dac7a google-talk-plugin: Update to 5.1.5.0 2014-02-28 11:05:47 +01:00
Domen Kožar
e9f3199973 add gstreamer 1.0 setup-hook and use it where appropriate 2014-02-28 02:03:07 +01:00
mornfall
3b41a4ef0e Merge pull request #1822 from thoughtpolice/spark
spark: version 0.9.0
2014-02-27 19:47:53 +01:00
Evgeny Egorochkin
d380290640 vlc: update from 2.1.3 to 2.1.4 2014-02-27 18:35:34 +02:00
Domen Kožar
65a34b7f85 add kazam 2014-02-27 16:37:35 +01:00
Pascal Wittmann
78e7d5db00 calibre: upgrade from 1.23.0 to 1.25.0 2014-02-26 09:36:14 +01:00
viric
0c11d4aa1f Merge pull request #1448 from pSub/dwm-remove-patch
Removed confnotify-6.0.patch.
2014-02-24 22:48:48 +01:00
Peter Simons
ce365835d7 links2: update from 2.5 to 2.8 2014-02-24 22:04:40 +01:00
Lluís Batlle i Rossell
9c36f01edd Updating toxic and toxcore to newer code. 2014-02-24 19:18:15 +01:00
Austin Seipp
55ac3b0a93 spark: version 0.9.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-02-23 22:29:08 -06:00
AndersonTorres
ad6bdfaf56 Deleting the "runme" stuff - it is not needed at all,
and the run method is fully documented
2014-02-24 00:12:00 -03:00
AndersonTorres
2c09d55904 Merge remote-tracking branch 'upstream/master' 2014-02-24 00:07:02 -03:00
AndersonTorres
4670b503b1 New package: 8086tiny, a tiny 8086 emulator 2014-02-24 00:01:43 -03:00
Cillian de Róiste
f6aba32af3 ardour3: update 3.5.308 -> 3.5.357 2014-02-23 19:14:27 +01:00
Cillian de Róiste
9f08c21c2b gnucash: enable aqbanking support for online banking
This requires recent versions of aqbanking and gwenhywfar:
https://devel.aqbanking.de/trac/aqbanking/ticket/197

It seems as if the developers have changed their version numbering
scheme in 2012 and have only released versions with the "beta" suffix
since then.
2014-02-23 12:21:32 +01:00
Sergey Mironov
5b223d457e zathura: set default window-icon 2014-02-22 18:38:06 +01:00
Matej Cotman
9f06f92fd2 remove a dot; add matejc as maintainer 2014-02-22 18:17:19 +01:00
Matej Cotman
72fb60117e twmn: new package 2014-02-22 18:17:19 +01:00
Vladimír Čunát
fb1028813c subversion: minor bump to fix CVE-2014-0032 2014-02-22 17:04:34 +01:00
Peter Simons
007611cf4b haskell-git-annex: update to version 5.20140221 2014-02-22 09:19:18 +01:00
Domen Kožar
40b8b3206e fix remaining broken python packages due to refactoring 2014-02-21 23:27:06 +01:00
Ricardo M. Correia
92794f775a firefox: Fix hash 2014-02-21 21:23:56 +01:00
Ricardo M. Correia
2a462ff6ae firefox: Update from 27.0 -> 27.0.1 2014-02-21 21:07:59 +01:00
Ricardo M. Correia
2391129307 chromium: Update stable and beta channels
stable: 33.0.1750.115 -> 33.0.1750.117
beta:   33.0.1750.115 -> 33.0.1750.117
2014-02-21 19:35:18 +01:00
Ricardo M. Correia
96c481b8a0 flashplayer: Update from 11.2.202.336 -> 11.2.202.341 2014-02-21 19:19:01 +01:00
Domen Kožar
e65eb02a35 fix eval 2014-02-21 18:38:02 +01:00
Domen Kožar
368839c703 Merge pull request #1467 from iElectric/buildPythonPackage-refactor
buildPythonPackage refactoring
2014-02-21 18:33:48 +01:00
Domen Kožar
f1db57f1fe buildPythonPackage: fix more borken packages 2014-02-21 18:29:57 +01:00
Domen Kožar
0ca4f087b3 Merge pull request #1797 from lethalman/empathy
new empathy, folks and clutter-gst packages, with related lib changes
2014-02-21 12:56:51 +01:00
Luca Bruno
9f21874781 telepathy-logger: install gschemas in share/telepathy-logger 2014-02-21 09:52:32 +01:00
Cillian de Róiste
864c75b7fd guitarix: update from 0.25.2 to 0.28.3
Add new required inputs: lv2 and avahi, tidy up
2014-02-21 00:19:25 +01:00
Domen Kožar
cc2b86d133 google_talk_plugin: 4.2.1.0 -> 5.1.4.0 2014-02-21 00:10:40 +01:00
Cillian de Róiste
c5e1cc5f37 Minor whitespace cleanup 2014-02-20 23:12:54 +01:00
cillianderoiste
f47d6a1314 Merge pull request #1792 from larkery/davmail-and-lxappearance
Add lxappearance and davmail
2014-02-20 23:08:04 +01:00
Ricardo M. Correia
3c871ccbc9 chromium: Update all channels
stable: 32.0.1700.107 -> 33.0.1750.115
beta:   33.0.1750.46  -> 33.0.1750.115
dev:    34.0.1809.0   -> 34.0.1847.3
2014-02-20 14:32:09 +01:00
Ricardo M. Correia
2537b7c679 vim: add config option to generate vimrc 2014-02-20 14:08:42 +01:00
Lluís Batlle i Rossell
94591762fe Updating rdesktop to 1.8.1. 2014-02-20 12:28:30 +01:00
Tom Hinton
f6ba040bdc Add me to maintainers list
Add a derivation for davmail
Add a derivation for lxappearance
Add both new derivations to all-packages
2014-02-20 09:49:50 +00:00
Domen Kožar
dfa8ac64ad miro: keep quotes 2014-02-20 01:19:16 +01:00
Domen Kožar
fae6079a01 adopt rest of the packages that were failing with the buildPythonPackage changes 2014-02-20 01:19:15 +01:00
Austin Seipp
0441bb1b7a virtualbox: 4.2.18 -> 4.2.22
This is needed to compile the Virtual Box guest additions with the 3.13
kernel (and thus the grsecurity testing kernel).

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-02-19 23:58:53 +01:00
Cillian de Róiste
30fb0365df openimageio: update from 1.1.12 to 1.3.12 2014-02-19 22:49:21 +01:00
Sergey Mironov
2142d7542b zathura: version bump (0.2.6 -> 0.2.7) (close #1782) 2014-02-19 20:51:50 +01:00
Sergey Mironov
a629aaee72 viewnior: version bump (1.4) (close #1781) 2014-02-19 20:44:30 +01:00
Cillian de Róiste
845f30aa6a sonic-visualiser: upgrade from 1.9 to 2.3
remove obsolete patch, add new inputs
2014-02-19 20:14:15 +01:00
Peter Simons
40debd63ca nc-indicators: re-generate with cabal2nix 2014-02-19 16:07:34 +01:00
Cillian de Róiste
6af0b814f5 kde_wacomtablet: upgrade from 1.3.5 to 2.0 2014-02-18 23:45:36 +01:00
Cillian de Róiste
8c83ae965f blender: upgrade from 2.67 to 2.69 and add myself as maintainter 2014-02-18 22:11:39 +01:00
Cillian de Róiste
b532c03fbe ardour3: update from 3.0 to 3.5.308 2014-02-18 21:28:28 +01:00
Peter Simons
d62001d049 Merge pull request #1768 from klao/nc-indicators
Add nc-indicators-0.1 Haskell package
2014-02-18 18:23:37 +01:00
Evgeny Egorochkin
c67f562d5e add branch info 2014-02-18 04:13:45 +02:00
Mihaly Barasz
668e81ad5a Add nc-indicators-0.1 Haskell package 2014-02-17 23:06:26 +01:00
Bjørn Forsman
493adc9227 Rename 'gnome-terminator' to 'terminator'
Align the package name with what other distros call it.

Other distros: Fedora, Debian, Archlinux, OpenSUSE, Mageia, Slackware
(and probably more).
2014-02-17 20:56:03 +01:00
Bjørn Forsman
0fa9dca362 gnome-terminator: add missing dependencies (for extra features)
Add 'keybinder' and 'python-notify' as dependencies. Fixes this:

  $ terminator
  [...]
  Warning: python-keybinder is not installed. This means the hide_window shortcut will be unavailable
  [...]
  ActivityWatch plugin unavailable: please install python-notify
2014-02-17 20:53:55 +01:00
Mathijs Kwik
2eedf210d3 celestia: fix install location 2014-02-17 06:49:05 +01:00
Bjørn Forsman
351951f315 gnome-terminal: clean up a bit and add/update meta attributes
* No need to set 'phases', the default works.
* Use shell globbing instead of running 'ls' in a subshell.
* Quote shell variables.
* The project has got a new homepage; the old one points users to the
  new one (or the launchpad page)
* Make it available in the channel (meta.platforms = linux)
2014-02-16 19:05:09 +01:00
Bjørn Forsman
5fefa65747 gnome-terminator: update 0.96 -> 0.97 2014-02-16 19:05:09 +01:00
Moritz Ulrich
c7eb4982f3 vlc: update from 2.1.2 to 2.1.3 2014-02-16 16:35:35 +01:00
Vladimír Čunát
efa7adcca1 xulrunner: disable parallel builds (until fixed)
cf. https://github.com/NixOS/nixpkgs/pull/1699#issuecomment-35196282
2014-02-16 14:24:46 +01:00
Jaka Hudoklin
d34f77fd1f feh: add jpeg image manipulation support 2014-02-16 14:11:32 +01:00
Cillian de Róiste
3250375f20 Remove dvswitch: I don't use it, and it's broken 2014-02-16 01:19:16 +01:00
Cillian de Róiste
e2151230ab darktable: update from 1.2.3 to 1.4.1 2014-02-15 18:49:18 +01:00
William A. Kennington III
a4e3f362fe znc: Update from 1.0 -> 1.2 2014-02-15 12:31:04 +01:00
Bjørn Forsman
534654e118 git: fix typos in comments 2014-02-15 12:05:44 +01:00
William A. Kennington III
bdb842d5eb Move all db4 packages to the default db5 2014-02-15 12:03:02 +01:00
Linquize
68b3fd33a7 git: Update to 1.9.0 2014-02-15 11:19:38 +01:00
Petr Rockai
38c59c97b3 kadu: Fix build with current cmake. 2014-02-15 10:27:39 +01:00
Petr Rockai
d2758ce017 freecad: Fix build with current cmake. 2014-02-15 10:27:39 +01:00
Evgeny Egorochkin
882721b6d0 librecad: update from 1.0.2 to 1.0.4 2014-02-14 21:50:06 +02:00
Evgeny Egorochkin
a0b1954611 librecad2: update from 2.0.0beta1 to 2.0.2 2014-02-14 09:31:27 +02:00
Peter Simons
c3945b2a8c ikiwiki: update from 3.20140102 to 3.20140125 2014-02-13 23:22:16 +01:00
Bjørn Forsman
e6204c8721 qmmp: update 0.7.3 -> 0.7.5 2014-02-13 22:55:57 +01:00
Peter Simons
c3dc693586 writegood-mode: update to version 1.3
https://github.com/bnbeckwith/writegood-mode/issues/7
2014-02-13 22:29:34 +01:00
Evgeny Egorochkin
279e4e0a06 kde4.kmymoney: update from 4.6.2 to 4.6.4, add documentation 2014-02-13 19:09:47 +02:00
Evgeny Egorochkin
545f5a2f6f amarok: minor cleanup 2014-02-13 04:26:41 +02:00
Rickard Nilsson
bcb7925562 New package: The vimb web browser 2014-02-12 19:42:39 +01:00
Rickard Nilsson
83ca1bec30 Fix references to ca-bundle.
Several packages referred to /etc/ca-bundle.crt, that
was removed in 9c616e3. I've changed those references to
/etc/ssl/certs/ca-bundle.crt instead.
2014-02-12 19:30:32 +01:00
Domen Kožar
5c9dc83bb9 vim ft: address the problem with broken highlighting in big files
It seems Vim needs to be instructed how to scan for the begining
of the multiline statements to correctly and efficiently highlight
lanuages.

See :help syn-sync-maxlines
2014-02-12 14:41:27 +01:00
cillianderoiste
19757df9dc Merge pull request #1673 from pSub/writegood-mode
Add emacs minor mode writegood
2014-02-12 01:52:01 +01:00
cillianderoiste
c75ce202e6 Merge pull request #1570 from rszibele/scite
Added SciTE 3.3.7.
2014-02-12 01:39:40 +01:00
Lluís Batlle i Rossell
8f64e74414 Updating fossil to 1.28. 2014-02-11 12:32:48 +01:00
Lluís Batlle i Rossell
248161ffeb Updating irssi_otr and libotr to the latest master versions.
According to their few additional commit logs, it's worth it.

I also set libotr to use the latest libgcrypt, related to a comment
in libotr commit. They talk about a libgcrypt fix that will have
more chances to be in the latest libgcrypt.
2014-02-11 12:32:47 +01:00
Domen Kožar
0bcfef653f Merge pull request #1726 from urv/master
calibre: upgrade from 1.21.0 to 1.23.0
2014-02-11 09:55:39 +01:00
Peter Simons
30e1186a0c haskell-git-annex: update to version 5.20140210 2014-02-10 21:45:43 +01:00
Vladimír Čunát
161d029d7d preferLocalBuild: set to true for wrappers and fetchers 2014-02-10 21:04:17 +01:00
Arvin Moezzi
f99f60af32 calibre: upgrade from 1.21.0 to 1.23.0 2014-02-10 20:10:05 +01:00
Vladimír Čunát
3269027235 thunderbird: simple esr bump (Nov 2013), incl. CVE
I failed to make -26 build, so this will get security fixes at least.
2014-02-10 18:40:18 +01:00
Rob Vermaas
e9a894a97d Revert "Update hipchat"
This reverts commit 54288f5cfe.
2014-02-10 17:34:35 +01:00
Peter Simons
e37afbf53c Merge pull request #1712 from PkmX/pr-taffybar
Add haskell packages 'gtk-traymanager' and 'taffybar'
2014-02-10 10:53:08 +01:00
Moritz Ulrich
c3df9e21c0 Weechat: Update to 0.4.3 2014-02-09 12:42:26 +01:00
Linquize
5b41db9765 git: update to 1.8.5.4 (close #1714) 2014-02-09 10:06:22 +01:00
PkmX
3f30c971c8 Add haskell package 'taffybar' 2014-02-09 06:24:22 +08:00
Domen Kožar
b95b70c7a6 firefox: whitespace change to trigger a rebuild 2014-02-08 23:05:57 +01:00
Domen Kožar
9c95b1151a Merge pull request #1705 from wkennington/master.mumble
Upgrade murmur + mumble to 1.2.5
2014-02-08 21:22:50 +01:00
Ricardo M. Correia
979473a17b chromium: Update stable channel from 32.0.1700.102 -> 32.0.1700.107 2014-02-08 15:40:25 +00:00
William A. Kennington III
4191ee53b9 murmur: Upgrade 1.2.4 -> 1.2.5 2014-02-07 21:29:38 -06:00
William A. Kennington III
07b38340bd mumble: Upgrade 1.2.4 -> 1.2.5 2014-02-07 21:29:29 -06:00
James Cook
6e6351a376 Merge remote-tracking branch 'official/master' into firefox_27 2014-02-07 17:31:54 -08:00
James Cook
8ef2cadca4 gnash: Hack to define nullptr as NULL, since some included mozilla headers seem to want nullptr 2014-02-07 17:28:02 -08:00
Sander van der Burg
5b243ad015 netbeans: Bump to version 7.4 2014-02-07 13:20:52 +01:00
Domen Kožar
4f3d4c55ff vim-ft: match attributes with dash and set nix as ft 2014-02-07 11:06:41 +01:00
Jan Malakhovski
f5de6b8fc8 updates: mr, vcsh and transmission-remote-gtk
- mr: copy some more stuff to output
- add vcsh package
- transmission-remote-gtk: 1.0.1 -> 1.1.1
2014-02-06 23:37:53 +00:00
James Cook
d7eb849349 firefox: update to 27.0. 2014-02-06 14:41:54 -08:00
Vladimír Čunát
2ceb44b9a9 lightdm-gtk-greter: fix CVE-2014-0979 by upstream patch 2014-02-06 21:55:22 +01:00
Vladimír Čunát
6e0cac6d6a hadoop: update, including fix for CVE-2013-2192 2014-02-06 20:54:07 +01:00
Vladimír Čunát
11914108aa gnash: fix CVE-2012-1175 by upstream patch 2014-02-06 20:33:53 +01:00
Vladimír Čunát
32cd198d8f gimp: remove 2.6, because it's old and vulnerable
CVE-2012-2763 and three others. If we really need to resurrect it,
I think I saw debian could have patches for these somewhere.

Also add linux platforms for 2.8.
2014-02-06 19:56:28 +01:00
Vladimír Čunát
5559d4d47e kicad: disable parallel building, as it often fails
CC @viric.
2014-02-06 08:06:22 +01:00
Thomas Tuegel
4424edccf4 rxvt-unicode: calculate font width correctly
It is (fairly) well known among rxvt-unicode users that its method of
calculating the width of Xft fonts is not correct. This is the Gentoo
version of the patch which corrects the problem.
2014-02-05 21:19:57 +00:00
Vladimír Čunát
edb9e50ef9 flashplayer: update, fixing many security CVEs 2014-02-05 22:17:41 +01:00
Evgeny Egorochkin
c60f9cdb3e kwebkitpart: update from 1.3.2 to 1.3.3 2014-02-05 20:29:56 +02:00
Nixpkgs Monitor
65fe5331f4 kde4_next.calligra: update from 2.7.2 to 2.7.5 2014-02-05 20:23:07 +02:00
Evgeny Egorochkin
bb0c35d982 kde4_next.konversation: update from 1.4 to 1.5 2014-02-05 20:12:53 +02:00
Moritz Maxeiner
3d7010b5b7 Dashify seafileShared and seafileClient 2014-02-05 18:25:43 +01:00
Rob Vermaas
6fe07cb304 Fix IDEA, previously it could not find the jdk. 2014-02-05 15:49:45 +01:00
Arseniy Seroka
d573ea576f add normal theme support for slim and slimlock 2014-02-05 16:46:42 +04:00
Georges Dubus
b9fe0b8fb1 bazaar: updated to 2.6.0 and fixed ssl bug
Fixes #1216
2014-02-05 11:36:48 +01:00
Evgeny Egorochkin
ab9dcd9ad0 gphoto2: update from 2.5.2 to 2.5.3 2014-02-04 21:58:25 +02:00
Moritz Maxeiner
99ba14ee7a Add packages for libzdb, libsearpc, ccnet, seafile-shared, and seafile-client 2014-02-04 20:02:46 +01:00
Pascal Wittmann
e8b0001268 idris-mode: fixed link to homepage (merge #1671) 2014-02-04 18:56:24 +01:00
Pascal Wittmann
351e070366 Add emacs minor mode writegood 2014-02-04 16:01:35 +01:00
Nixpkgs Monitor
d2451cbce6 mercurialFull: update from 2.8.2 to 2.9 2014-02-04 10:35:20 +01:00
Lluís Batlle i Rossell
2ef5b4ec7c Updating tox/toxic 2014-02-04 10:12:28 +01:00
Shea Levy
72b5403ee8 edk2/OVMF: Update
Signed-off-by: Shea Levy <shea@shealevy.com>
2014-02-03 18:32:21 -05:00
Domen Kožar
e96bc485db retroshare: 0.5.1d -> 0.5.5c 2014-02-03 21:54:45 +01:00
Vladimír Čunát
9dd9e52c0c pidgin: bugfix 2.10.8 -> .9
Fixes connection to some servers broken by the previous update.
2014-02-03 10:05:47 +01:00
Vladimír Čunát
4a55391f1f Merge #1645 and #1646: lightdm and -gtk-greeter update 2014-02-02 15:51:35 +01:00
Ricardo M. Correia
61d37c62c3 hub: Update from 1.10.6 -> 1.11.1 2014-02-02 13:42:07 +00:00
Michael Raskin
546315d933 Update/fix merkaartor to 0.18.1 2014-02-02 12:54:46 +04:00
Evgeny Egorochkin
37b1c1481b bangarang: fix build with gcc 4.7 2014-02-02 07:43:56 +02:00
Edward Tjörnhammar
cf99e5f939 IntelliJ IDEA version bump (13.0.1->13.0.2) 2014-02-01 17:52:21 +01:00
Vladimír Čunát
5d2e884aa1 pidgin: minor update 2.10.7 -> .8, including CVE-2013-6484
Also switch no newer libstartup-notification, add license and platforms.
2014-02-01 08:44:07 +01:00
Rob Vermaas
54288f5cfe Update hipchat 2014-01-31 16:30:51 +01:00
Oliver Charles
d56bd75967 lightdm-gtk-greeter: Update to 1.6.1 2014-01-31 12:54:22 +00:00
Oliver Charles
32a08d0846 lightdm: Update to 1.8.6 2014-01-31 12:42:03 +00:00
Rob Vermaas
d5b2ea44f3 Merge pull request #1622 from urv/master
calibre: upgrade from 1.20.0 to 1.21.0
2014-01-31 01:46:36 -08:00
Domen Kožar
15f74d0769 Merge pull request #1639 from iyzsong/gimp
gimp: wraped with PYTHONPATH, fix #223
2014-01-31 00:12:03 -08:00
Domen Kožar
7c70ef4dee Merge pull request #1638 from wkennington/cache.mumble
Add more configurable options to mumble
2014-01-31 00:03:20 -08:00
Song Wenwu
1c83b079d2 gimp: wrap plugins with PYTHONPATH, fix #223 2014-01-31 14:05:53 +08:00
William A. Kennington III
9e8a6a24f0 murmur: Add ice support and small fixes
This patch adds optional ICE support to murmur which is enabled by
default. Additionally, it cleans up some of the expression similar to
the fixes added the mumble.
2014-01-30 22:34:21 -06:00
William A. Kennington III
2ec67167d9 mumble: Small Fixups and add support for disabling speechd
This patch adds a collection of changes to clean up the mumble
expression as well as add support for disabling the external speech
dispatcher from being compiled in.
2014-01-30 19:35:11 -06:00
Moritz Maxeiner
ba0ca53615 Update VirtualBox (and implicitly VirtualBox Guest Additions) to 4.3.6 and Oracle VM VirtualBox Extension Pack to 91406 2014-01-31 00:34:04 +01:00
Rickard Nilsson
e28c0da32e sane-backends: Add extra source url
It seems alioth.debian.org has some problem (login needed for download), so
I've added a pkgs.fedoraproject.org url.
2014-01-30 12:26:11 +01:00
Peter Simons
1124a4ab08 haskell-git-annex: update to version 5.20140129 2014-01-30 08:32:41 +01:00
Domen Kožar
409677fbd2 mailpile: update dev version 2014-01-29 18:57:16 +01:00
Petr Rockai
2062abfd4f Merge branch 'yubikey' of git://github.com/Calrama/nixpkgs 2014-01-29 18:54:07 +01:00
Moritz Maxeiner
b0d2f0e3f0 Add myself as a maintainer for ykpers and libyubikey 2014-01-29 18:05:17 +01:00
aszlig
e18cd2f8ae
chromium: Update all channels to latest versions.
This closes #1623, and updates _all_ channels to the corresponding
latest upstream versions.

Thanks to @wizeman for opening the pull request noted above and for
another update in between, @aristidb for fixing the patcheShebangs issue
and @shlevy for notifying me about the build failure in stdenv-updates
in the first place.

Sorry to everyone for my inactivity lately.

The following changes were needed in order to build those new releases:

 * Patch out /bin/echo to allow building with all options enabled.
 * Always use GN from the source tree.
 * Remove import of depot_tools for version 34.
 * Drop version 32 specific stuff.

With this commit, the following new upstream versions are introduced:

stable: 32.0.1700.77 -> 32.0.1700.102 (builds fine, tested)
beta:   32.0.1700.19 -> 33.0.1750.46  (builds fine, tested)
dev:    33.0.1712.4  -> 34.0.1809.0   (build broken with gnome_keyring)

The dev version requires a more recent version gnome_keyring and thus
won't build if gnomeKeyringSupport is set to true. I haven't tested this
build without gnomeKeyringSupport yet, so it might be broken and will be
fixed later.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-01-29 13:23:30 +01:00
aszlig
e3cb9e5e5f
tkabber: Merge main package with site plugins.
The site plugins are released alongside the main Tkabber sources, so it
makes no sense to have them in a separate package (which also introduces
an impurity). In addition, both packages share the same makefile
structure, so it really makes sense to merge them.

Before people might get worried about my decision to enable those
plugins by default: Since version 1.0, Tkabber is no longer loading
_all_ available plugins, but gives you a menu (Plugins Management) to
selectively enable plugins (whereas all plugins are disabled by
default).

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-01-29 13:23:29 +01:00
aszlig
3a5334f853
tkabber: Properly wrap all scripts in $out/bin.
Alongside "tkabber", there is also "tkabber-remote", which uses the same
variables as the main script and thus needs to be wrapped the same way
as well.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-01-29 13:23:29 +01:00
aszlig
aae2bab821
tkabber: Don't set a default theme.
If people still want the ocean-deep theme, it can still be set by using:

tkabber.override { theme = "ocean-deep"; }

But by default we should not set a theme, so the user will get the same
result as everyone who installs the upstream version.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-01-29 13:23:29 +01:00
aszlig
1212d0be22
tkabber+plugins: Update to upstream version 1.0.
After several years, Tkabber finally got a new release.

The highlights are:

 * Completely rewritten Tkabber internals
 * Dropped Tcl/Tk 8.3 support. Now Tcl/Tk 8.4 is required
 * Partial IPv6 support (requires Tcl/Tk 8.6)
 * Switched from TclGPGME to TclGPG for encryption and signing
 * Added new connection method BOSH (XEP-0124 and XEP-0206)
 * Disabled SSLv2 and enabled TLSv1 TLS options
 * Added user nicknames (XEP-0172) support.
 * Updated the CAPTCHA forms (XEP-0158) support
 * Added metacontacts (XEP-0209) support
 * Implemented multiple proxy profiles
 * Implemented remote controlling from a locally executed script
 * Added new plugins: floatingcontact, poker
 * Rewritten most plugins to support disabling and unloading on the fly
 * A few interface enhancements (search in MUC affiliations lists, proxy
   management)
 * Many fixes and enhancements

The detailed changelogs can be found at:

http://svn.xmpp.ru/repos/tkabber/tags/1.0/tkabber/ChangeLog
http://svn.xmpp.ru/repos/tkabber/tags/1.0/tkabber-plugins/ChangeLog

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-01-29 13:23:28 +01:00
Peter Simons
e9a66cada6 Merge pull request #1626 from pSub/dwb-update
Updated dwb
2014-01-29 03:30:49 -08:00
Pascal Wittmann
9c9c883cb9 Updated dwb to HEAD and used the current date as version number, because dwb has no version numbers. 2014-01-29 12:00:13 +01:00
Eelco Dolstra
91ab556236 amdadl-sdk: Don't build on Hydra
Since it uses requireFile, it won't build.  Likewise for cgminer which
depends on amdadl-sdk.
2014-01-29 11:53:39 +01:00
Arvin Moezzi
03857fe2ec calibre: upgrade from 1.20.0 to 1.21.0 2014-01-29 02:26:11 +01:00
Petr Rockai
f88de3b091 quvi: Update the CLI tool to version 0.9.5. 2014-01-28 22:08:02 +01:00
Petr Rockai
5878ffa55b quvi: Update to current upstream (0.9.4). 2014-01-28 21:48:52 +01:00
Petr Rockai
4124bb9ff5 Adopt more packages. 2014-01-28 18:11:00 +01:00
Petr Rockai
6f5be260b4 Adopt packages. 2014-01-28 17:31:17 +01:00
Peter Simons
63ec2bec8f haskell-git-annex: update to version 5.20140127 2014-01-28 14:59:46 +01:00
Rob Vermaas
3f56d9f4b4 Add keepassx 2.0alpha5, contributed by Thomas Tuegel. 2014-01-27 21:55:04 +01:00
Wojciech Danilo
c50314dc38 Added SublimeText3 support. SublimeText2 and SublimeText3 can be installed side by side.
They provide 'sublime', 'sublime2' and 'sublime3' commands. SublimeText3 has lower precedense than SublimeText2
because its in beta mode (for over a year now)
2014-01-27 20:50:08 +01:00
Eelco Dolstra
2e70c14061 rcs: Update to 5.9.2 2014-01-27 17:58:26 +01:00
Rok Garbas
e6e2459f59 Merge pull request #1581 from offlinehacker/pkgs/docker/add
Add docker
2014-01-27 04:18:11 -08:00
Jaka Hudoklin
cc33c351b8 Add docker 2014-01-27 00:56:51 +01:00
mornfall
2fa71787f5 Merge pull request #1603 from aristidb/master
fix chromium chroot build
2014-01-26 09:03:19 -08:00
Aristid Breitkreuz
4417dd33c2 fix chromium chroot build 2014-01-26 18:02:03 +01:00
Edward Tjörnhammar
960b58d280 wish fix for ssvnc (close #1560)
tcl deps change? causes wish to be missing
this corrects the wish path to use the one from tk
2014-01-26 15:52:00 +01:00
Song Wenwu
ef460bd170 puredata: update to 0.45-4
Cf. #1515.
2014-01-26 10:19:19 +01:00
Domen Kožar
a7d0a53d9e merge 2014-01-26 09:58:47 +01:00
Vladimír Čunát
bf8b81f538 lyx: bugfix update 2.0.6 -> .7 2014-01-26 00:59:59 +01:00
Vladimír Čunát
64c44fa508 weston: fix build by updating (after wayland update)
Also add dbus support, which seemed potentionally important to me.
2014-01-26 00:42:17 +01:00
Domen Kožar
fab72d88c9 telepahty-logger: add gobject introspection support 2014-01-26 00:17:18 +01:00
Peter Simons
e2a858379d haskell-git-annex: update to version 5.20140116 2014-01-26 00:02:33 +01:00
Peter Simons
5fefec3944 pspp: update from 0.8.1 to 0.8.2 2014-01-25 20:58:49 +01:00
Eelco Dolstra
f03ca20916 libreoffice: Fix path to the JDK 2014-01-25 18:29:21 +01:00
Petr Rockai
cf7ee03377 photivo: Fix paths. 2014-01-25 18:08:47 +01:00
Petr Rockai
2953c39409 photivo: Update. 2014-01-25 18:08:47 +01:00
Cillian de Róiste
3ee043da54 pianobooster: patch to build with gcc4.7, wrap it so it finds libGL.so.1
Also add linux as a platform.

Patches from:
https://github.com/gbin/gbin-overlay/tree/master/media-sound/pianobooster
2014-01-25 17:54:57 +01:00
Petr Rockai
ed5bd26574 STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays). 2014-01-25 16:33:12 +01:00
Petr Rockai
e3fae16a29 emacs: Allow non-GTK X11 builds (--with-x-toolkit=lucid). 2014-01-25 16:30:14 +01:00
Petr Rockai
251fc454ba mpc: (mpd client) Update to 0.25. 2014-01-25 16:30:14 +01:00
Eelco Dolstra
07a3993e14 libreoffice: Fix path to Ant 2014-01-25 14:19:42 +01:00
Moritz Maxeiner
8f9300fb0e Add ykpers (aka yubikey-personalization) package 2014-01-25 03:17:06 +01:00