compilers
|
Merge branch 'master' into staging
|
2017-10-07 10:17:42 +02:00 |
coq-modules
|
Merge branch 'master' into staging
|
2017-10-07 10:17:42 +02:00 |
haskell-modules
|
Merge branch 'master' into staging
|
2017-10-07 10:17:42 +02:00 |
libraries
|
xmlsec: fix build (re: nss update)
|
2017-10-08 23:31:01 +02:00 |
ocaml-modules
|
ocamlPackages.ppx_ast: 0.9.0 -> 0.9.{1,2}
|
2017-10-09 08:02:11 +00:00 |
qtcreator
|
qtcreator: 4.4.0 -> 4.4.1
|
2017-10-07 11:27:29 +02:00 |
tools
|
ocamlPackages.oasis: remove unneeded dependencies
|
2017-10-09 05:34:02 +00:00 |