compilers
|
Merge branch 'master' into staging
|
2017-12-18 15:56:03 +00:00 |
coq-modules
|
coqPackages.multinomials: init at 1.0
|
2017-12-18 15:30:38 +00:00 |
haskell-modules
|
Merge pull request #32746 from jtojnar/bustle
|
2017-12-17 08:42:05 +01:00 |
idris-modules
|
specdris: init at 2017-11-11 (#31544)
|
2017-11-21 22:59:38 +00:00 |
interpreters
|
Merge branch 'master' into staging
|
2017-12-18 15:56:03 +00:00 |
libraries
|
libskk: 1.0.2 → 1.0.3
|
2017-12-19 17:17:20 +01:00 |
misc
|
avr8burnomat: rehash
|
2017-12-05 21:51:17 +00:00 |
mobile
|
android-platform-tools: 26.0.0 -> 26.0.2
|
2017-12-03 16:58:03 -05:00 |
node-packages
|
nodePackages.asar: init at 0.14.0
|
2017-12-12 09:43:53 +01:00 |
ocaml-modules
|
ocamlPackages.sexplib: 0.9.3 -> 0.10.0
|
2017-12-16 21:47:59 +00:00 |
pharo
|
pharo: update PharoV50.sources hash
|
2017-11-13 19:43:30 +00:00 |
qtcreator
|
qtcreator: restrict to intel linux
|
2017-12-07 14:51:57 +00:00 |
r-modules
|
R: update package set
|
2017-12-01 13:48:26 +01:00 |
tools
|
Merge branch 'staging'
|
2017-12-19 10:27:13 +01:00 |
web
|
valum: 0.2.16 → 0.3.14
|
2017-12-19 17:25:50 +01:00 |