compilers
|
Merge branch 'staging'
|
2017-10-15 13:59:18 +02:00 |
coq-modules
|
coqPackages.HoTT: init at 20170921
|
2017-10-11 02:51:16 +02:00 |
haskell-modules
|
Agda: package builds fine these days
|
2017-10-13 15:35:27 +01:00 |
interpreters
|
erlang: fix ssl on darwin
|
2017-10-14 12:36:15 +02:00 |
libraries
|
libinput: 1.7.3 -> 1.8.3
|
2017-10-15 12:14:02 -05:00 |
ocaml-modules
|
ocamlPackages.javalib: 2.3.3 -> 2.3.4
|
2017-10-15 08:31:37 +00:00 |
qtcreator
|
qtcreator: 4.4.0 -> 4.4.1
|
2017-10-07 11:27:29 +02:00 |
tools
|
meson: do not strip RPATH
|
2017-10-15 12:13:58 -05:00 |