acl2
|
acl2: 6.5 -> 7.4, refactor
|
2017-11-04 13:48:22 -07:00 |
elixir
|
elixir: 1.5.1 -> 1.5.2
|
2017-11-04 20:30:27 +01:00 |
erlang
|
erlangR18: fix patch hashes with fetchpatch
|
2017-11-17 17:04:23 +00:00 |
joker
|
joker: do not install private generators
|
2017-11-04 07:03:06 +00:00 |
jruby
|
jruby: 9.1.12.0 -> 9.1.13.0
|
2017-11-04 15:36:17 +01:00 |
php
|
Merge pull request #31526 from srhb/fix-php-external-pcre
|
2017-11-13 20:15:37 +00:00 |
racket
|
racket: reenable docs by default
|
2017-11-12 10:12:29 +01:00 |
spidermonkey
|
spidermonkey: replace broken links
|
2017-11-17 11:04:28 +00:00 |