Vincent Laporte 58297aa1e7 Why3: build also the Coq tactic.

2015-01-29 08:43:15 +01:00

..

audio

Merge pull request #5587 from nckx/keyfinder

2015-01-28 14:49:57 +01:00

backup/crashplan

crashplan: install desktop file

2014-12-19 23:26:35 +01:00

display-managers

fix sha for a slim's theme

2014-11-08 22:40:36 +03:00

editors

haskell-mode: update git version to current HEAD

2015-01-21 18:47:56 +01:00

gis

qgis: update from 2.4.0 to 2.6.1

2015-01-19 16:18:01 +01:00

graphics

Merge pull request #5911 from echo-oddly/leocad

2015-01-27 12:59:26 +01:00

inferno

Add missing 's' in remaining meta.maintainer(s) attrs

2014-07-22 23:49:21 +02:00

kde-apps-14.12

kdeApps: update to 14.12.1

2015-01-26 21:01:06 -06:00

misc

pstree: fix direct reference to gcc

2015-01-28 12:35:54 +01:00

networking

Merge pull request #6011 from taku0/firefox-bin-35.0.1

2015-01-28 12:10:31 +01:00

office

restrict platforms to Linux

2015-01-25 12:27:53 -05:00

science

Why3: build also the Coq tactic.

2015-01-29 08:43:15 +01:00

search

Turn some license strings into lib.licenses values

2014-07-28 11:31:14 +02:00

taxes

Change occurrences of gcc to the more general cc

2014-12-26 11:06:21 -06:00

version-management

Merge pull request #5750 from rycee/issue/5741

2015-01-28 14:52:45 +01:00

video

Merge pull request #5850 from edwtjo/kodi-plugins

2015-01-24 14:17:14 +01:00

virtualization

Upgrade to Docker 1.4

2015-01-20 19:49:10 -07:00

window-managers

i3lock: it's cleaner to use $out/share/man in the first place.

2015-01-28 19:56:13 +01:00