Vincent Laporte 5a043e24da coqPackages_8_4.fiat: remove

2017-12-02 08:46:16 +00:00

..

applications

coq_HEAD: remove

2017-12-02 08:38:58 +00:00

build-support

Merge branch 'master' into staging

2017-11-27 15:09:53 +01:00

common-updater

…

data

vdrsymbols: init at 20100612

2017-11-29 06:53:32 +00:00

desktops

Merge pull request #32151 from chpatrick/mate-media

2017-12-02 06:21:51 +00:00

development

coqPackages_8_4.fiat: remove

2017-12-02 08:46:16 +00:00

games

gemrb: 0.8.1 -> 0.8.5

2017-11-30 11:14:47 +08:00

misc

libretro.mame: fix parallel building

2017-11-29 11:18:14 +00:00

os-specific

linux: 4.4.102 -> 4.4.103

2017-12-01 10:07:28 -05:00

servers

knot-dns: maintenance 2.6.1 -> 2.6.3

2017-12-01 12:43:05 +01:00

shells

dgsh: fix build with glibc 2.26

2017-11-28 08:39:02 +00:00

stdenv

Merge pull request #31775 from obsidiansystems/stdenv-both-propagated-files

2017-11-22 15:23:37 -05:00

test

…

tools

Merge pull request #32236 from guillaumekoenig/fix-enpass-firefox-webextensions

2017-12-01 21:09:17 +00:00

top-level

coqPackages_8_4.fiat: remove

2017-12-02 08:46:16 +00:00