Russell O'Connor 5bbcebf2db Bump coq version to 8.4pl4.

2014-05-12 22:17:00 -04:00

..

audio

setbfree: build the GUI

2014-05-11 12:51:29 +02:00

display-managers

Ensure that slim's theme applies to slimlock

2014-03-30 19:33:28 +02:00

editors

eclipse: add Eclipse IDE for C/C++ Developers 4.3.2

2014-05-05 22:39:37 +02:00

graphics

Merge pull request #2410 from pSub/potrace

2014-05-11 14:46:12 +02:00

ike

ike: use stdenv.lib.licenses.sleepycat

2014-03-24 19:58:36 -05:00

misc

taskwarrior: bump to 2.3.0 (close #2567)

2014-05-08 23:17:08 +02:00

networking

conkeror: upgrade to latest snapshot

2014-05-10 12:23:45 +02:00

office

zotero: version bump 4.0.19 -> 4.0.20 (close #2581)

2014-05-08 22:31:56 +02:00

science

Bump coq version to 8.4pl4.

2014-05-12 22:17:00 -04:00

search

Adding doodle.

2013-04-22 20:57:14 +04:00

taxes

Add aangifte-2013

2014-03-01 16:54:16 +01:00

version-management

Use the working source for GNU ARch

2014-05-03 00:20:08 +04:00

video

Merge pull request #2511 from AndersonTorres/aegisub-update

2014-05-05 10:52:45 +02:00

virtualization

Merge pull request #2484 from chexxor/feature/bump-docker-0.10.0

2014-05-11 10:33:43 +02:00

window-managers

Merge pull request #2371 from iyzsong/herbstluftwm

2014-05-11 10:31:14 +02:00