coq-modules
|
coqPackages.Verdi: 20181102 -> 20190202
|
2019-04-25 08:35:20 +02:00 |
interpreters
|
lua: merge lua5.X interpreters (#59919)
|
2019-04-27 22:00:12 +09:00 |
lua-modules
|
Merge pull request #57945 from teto/lua/std_rename
|
2019-04-27 06:30:48 +00:00 |
ocaml-modules
|
ocamlPackages.zarith: 1.7 -> 1.8
|
2019-04-23 09:23:04 -05:00 |
python-modules
|
Merge pull request #59543 from romildo/upd.efl
|
2019-04-27 16:04:53 +02:00 |
tools
|
cargo-expand: 0.4.11 -> 0.4.12
|
2019-04-28 11:04:39 +08:00 |
web
|
Merge pull request #59870 from phildenhoff/master
|
2019-04-24 09:06:57 -04:00 |