nixpkgs/pkgs/applications
Pascal Wittmann 526a777ee6 Merge pull request #8104 from vbgl/why3-86
why3: update from 0.85 to 0.86.1
2015-06-01 20:20:56 +02:00
..
altcoins unbreak the nixpkgs monitor: url -> urls 2015-05-28 11:38:59 +03:00
audio Merge pull request #8086 from magnetophon/jaaa-master-fixup 2015-06-01 17:03:54 +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 joe: update from 3.7 to 4.0, add meta-information 2015-05-31 16:30:24 +02:00
gis qgis: update to 2.8.2 2015-05-11 13:12:24 +02:00
graphics pencil: v2.0.10 -> v2.0.11 2015-06-01 10:18:14 +02:00
inferno rename <gcc-frontend>.gcc to <gcc-frontend>.cc 2015-01-14 20:59:10 -08:00
kde-apps-15.04 pulseaudio: Remove default derivation 2015-05-29 14:47:33 -07:00
misc maintainers: change of nickname. 2015-06-01 11:00:57 +02:00
networking bitlbee: 3.2.2 -> 3.4.0 2015-05-31 13:55:18 -07:00
office Use libpulseaudio instead of pulseaudio 2015-05-29 14:32:56 -07:00
science why3: update from 0.85 to 0.86.1 2015-06-01 05:57:19 +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 git-annex: on second thought, let's not break backwards compatibility for no apparent reason 2015-05-30 21:02:45 +02:00
video qarte: minor update to rev. 147 2015-05-31 19:03:43 +02:00
virtualization qemu-nix: Build statically 2015-06-01 01:50:05 -07:00
window-managers maintainers: change of nickname. 2015-06-01 11:00:57 +02:00