coq-modules
|
Merge branch 'master' into staging-next
|
2018-08-13 20:43:59 +02:00 |
interpreters
|
rubygems: use official HTTPS src location
|
2018-08-19 17:23:51 -04:00 |
libraries
|
giflib-4.1: add license + description
|
2018-08-20 21:02:40 +02:00 |
misc
|
Merge branch 'master' into staging-next
|
2018-08-12 10:33:41 +02:00 |
ocaml-modules
|
Merge branch 'master' into staging-next
|
2018-08-17 13:45:21 +02:00 |
r-modules
|
r-jqr: fix build (#45333)
|
2018-08-20 00:08:28 +02:00 |
ruby-modules
|
msgpack: rename from libmsgpack
|
2018-08-18 23:19:54 +00:00 |
web
|
grails: 3.3.6 -> 3.3.8
|
2018-08-17 02:09:39 -07:00 |