compilers
|
Merge pull request #60227 from Atidot/master
|
2019-04-28 20:43:12 +00:00 |
coq-modules
|
coqPackages.Verdi: 20181102 -> 20190202
|
2019-04-25 08:35:20 +02:00 |
interpreters
|
Merge pull request #60340 from dtzWill/fix/lua53
|
2019-04-28 16:48:38 +09:00 |
lua-modules
|
Merge pull request #57945 from teto/lua/std_rename
|
2019-04-27 06:30:48 +00:00 |
ocaml-modules
|
ocamlPackages.tyxml: 4.2.0 -> 4.3.0
|
2019-04-28 17:42:36 +02:00 |
tools
|
Merge pull request #60387 from rvolosatovs/update/dep
|
2019-04-28 18:50:30 -05:00 |
web
|
Merge pull request #59870 from phildenhoff/master
|
2019-04-24 09:06:57 -04:00 |