Austin Seipp da76434dbd nixpkgs: yices 2.2.1 -> 2.3.1, now with source ... It's still under a non-commercial license, but the source build is waay better than the binary build. Can probably work on OS X too now. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2015-06-14 19:48:11 -05:00
..
altcoins	unbreak the nixpkgs monitor: url -> urls	2015-05-28 11:38:59 +03:00
audio	init ladspaPlugins-git at git-2015-03-04	2015-06-12 15:15:27 +02:00
backup/crashplan	crashplan: install desktop file	2014-12-19 23:26:35 +01:00
display-managers	lightdm: Update to stable 1.14.2	2015-05-28 16:23:46 -07:00
editors	emacs-monky: add an Mercurial mode that's inspired by Magit	2015-06-12 10:33:10 +02:00
gis	qgis: update to 2.8.2	2015-05-11 13:12:24 +02:00
graphics	Merge pull request #8284 from eduarrrd/photoqt	2015-06-11 11:36:45 +02:00
inferno	rename <gcc-frontend>.gcc to <gcc-frontend>.cc	2015-01-14 20:59:10 -08:00
kde-apps-15.04	kdeApps_15_04.ktp-text-ui: add missing kdbusaddons dependency	2015-06-05 16:39:50 -05:00
misc	Update qpdfview	2015-06-14 11:21:55 +03:00
networking	Add mailnag package	2015-06-14 18:31:48 +02:00
office	abiword: fix gschemas crash and missing icons	2015-06-11 21:13:00 +02:00
science	nixpkgs: yices 2.2.1 -> 2.3.1, now with source	2015-06-14 19:48:11 -05:00
search	kill libiconvOr*	2015-02-07 20:29:28 -08:00
taxes	orig-gcc -> orig-cc	2015-03-04 22:15:46 +01:00
version-management	mr: update from 1.20141024 to 1.20150503	2015-06-14 22:54:31 +02:00
video	makemkv: 1.9.3 -> 1.9.4	2015-06-14 16:31:29 -04:00
virtualization	Revert "qemu: 2.2.2 -> 2.3.0"	2015-06-04 14:54:48 +02:00
window-managers	maintainers: change of nickname.	2015-06-01 11:00:57 +02:00