Michael Raskin 646868b2e6 Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.		2013-05-09 12:23:27 +04:00
..
audio	mopidy: Update to 0.14.1	2013-05-06 11:27:52 +02:00
display-managers	lightdm: Add lightdm and lightdm-gtk-greeter	2013-03-29 15:37:28 +01:00
editors	Merge branch 'master' into x-updates	2013-05-08 13:46:46 +02:00
graphics	Merge branch 'master' into x-updates	2013-05-01 08:14:15 +02:00
misc	freicoin: update to 0.0.2	2013-05-08 22:51:39 +02:00
networking	Merge branch 'master' into x-updates	2013-05-08 13:46:46 +02:00
office	Calligra: bump to 2.5.5. Should be a bugfix release with no surprises.	2013-05-08 18:46:17 +03:00
science	Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.	2013-05-09 12:23:27 +04: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	Merge branch 'master' into x-updates	2013-05-08 13:46:46 +02:00
video	Merge branch 'master' into x-updates	2013-05-08 13:46:46 +02:00
virtualization	virtualbox+guest: Update to new upstream v4.2.12.	2013-04-13 10:31:36 +02:00
window-managers	Merge branch 'master' into x-updates	2013-04-11 23:31:33 +02:00