Théo Zimmermann 8fde5790b4 compcert: fix license ...

The license of CompCert is not a generic "INRIA" license. It is "INRIA Non-Commercial
Agreement for the CompCert verified compiler". As unfortunate as it may seem, this
is a non-free license (clearly mentioned as such in its preamble). See also #20256.

2017-09-21 15:24:17 +02:00

..

applications

Merge pull request #29609 from lheckemann/impressive-fixes

2017-09-21 08:53:09 +01:00

build-support

cc-wrapper, cc-wrapper-old: Simplify shell logic

2017-09-19 16:45:24 -04:00

common-updater

…

data

Merge pull request #29596 from romildo/numix-icon-theme

2017-09-20 20:27:46 +00:00

desktops

Merge pull request #29332 from romildo/fix.gnome-shell-extensions

2017-09-17 11:00:46 +00:00

development

compcert: fix license

2017-09-21 15:24:17 +02:00

games

zandronum: fix soundfont support, minor cleanup

2017-09-15 23:08:47 -07:00

misc

Merge pull request #29560 from LumiGuide/elk-5.6.1

2017-09-20 21:56:26 +00:00

os-specific

linux: 4.13.2 -> 4.13.3

2017-09-20 08:36:27 -04:00

servers

Merge pull request #29560 from LumiGuide/elk-5.6.1

2017-09-20 21:56:26 +00:00

shells

grml-zsh-config: generalize support to unix systems

2017-09-01 11:38:38 +03:00

stdenv

stdenv: Add back leading '-' in cross derivation name suffix

2017-09-18 18:59:48 -04:00

test

treewide: Use *Platform.extensions

2017-09-13 11:16:10 -04:00

tools

Merge pull request #29560 from LumiGuide/elk-5.6.1

2017-09-20 21:56:26 +00:00

top-level

compcert: 3.0.1 -> 3.1

2017-09-21 15:06:51 +02:00