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