Phreedom b0f52e08dc Merge pull request #485 from maggesi/proofgeneral_updates ... ProofGeneral: Workaround for bug #458		2013-05-05 07:18:05 -07:00
..
audio	Update spotify to 0.9.0.133.	2013-05-05 12:25:21 +02:00
display-managers
editors	ProofGeneral: Workaround for bug #458	2013-04-23 14:09:10 +02:00
graphics	openscad: compile the correct version number	2013-04-25 08:41:46 +02:00
misc	Merge pull request #491 from ierton/zathura-fix-file	2013-04-26 10:14:07 -07:00
networking	Merge pull request #482 from coroa/notmuch-gpg2	2013-05-03 11:34:29 -07:00
office	haskell-hledger-interest: update to version 1.4.3	2013-05-03 11:38:52 +02:00
science	spyder: new package	2013-05-05 13:13:45 +02:00
search	Adding doodle.	2013-04-22 20:57:14 +04:00
taxes	aangifte2012: preload library which seems needed	2013-04-05 00:34:14 +02:00
version-management	git-annex: update to version 4.20130501	2013-05-03 11:38:58 +02:00
video	mkvtoolnix: upgrade to 6.2.0	2013-04-30 09:27:02 +02:00
virtualization	virtualbox+guest: Update to new upstream v4.2.12.	2013-04-13 10:31:36 +02:00
window-managers	dwm: adding a patch I missed in a recent commit	2013-04-05 12:50:42 +02:00