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
display-managers
editors	Merge branch 'master' into x-updates	2013-05-08 13:46:46 +02:00
graphics
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
taxes
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
window-managers