nixpkgs/pkgs/applications
lethalman b4824ffc5d Merge pull request #7103 from gebner/verit
Add veriT, an SMT solver.
2015-03-31 12:31:26 +02:00
..
altcoins Update OpenSSL dependency of bitcoin to be the latest OpenSSL. 2015-03-21 17:49:42 -04:00
audio qca2: Update to new upstream version 2.1.0. 2015-03-31 02:13:06 +02:00
backup/crashplan crashplan: install desktop file 2014-12-19 23:26:35 +01:00
display-managers lightdm: 1.13.1 -> 1.14.0 2015-03-28 02:26:42 -07:00
editors Added WebStorm IDE 2015-03-29 16:27:37 +02:00
gis qgis: update from 2.4.0 to 2.6.1 2015-01-19 16:18:01 +01:00
graphics Merge pull request #7097 from prikhi/update-pencil 2015-03-31 10:10:23 +02:00
inferno rename <gcc-frontend>.gcc to <gcc-frontend>.cc 2015-01-14 20:59:10 -08:00
kde-apps-14.12 kdeApps.kdelibs: set KDE_DEFAULT_HOME=.kde 2015-03-22 13:10:57 -05:00
misc xkblayout-state: fix name 2015-03-31 03:18:42 +03:00
networking qca2: Update to new upstream version 2.1.0. 2015-03-31 02:13:06 +02:00
office Add jabref. 2015-03-27 18:03:38 +01:00
science Merge pull request #7103 from gebner/verit 2015-03-31 12:31:26 +02: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 Remove unused Darcs expression 2015-03-27 16:17:48 +01:00
video Merge pull request #7066 from edwtjo/xbmc-pruning 2015-03-30 21:46:29 +02:00
virtualization qemu: 2.2.0 -> 2.2.1 2015-03-26 14:54:00 -07:00
window-managers awesome manpage is broken in chroot builds, disable for now 2015-03-29 11:08:11 +00:00