coq-modules
|
coqPackages.simple-io: 1.0.0 -> 1.2.0
|
2019-06-06 15:06:08 +00:00 |
guile-modules
|
guile-lib: 0.2.2 -> 0.2.6.1 (#60978)
|
2019-05-18 19:07:56 +02:00 |
libraries
|
opencv: 4.0.1 -> 4.1.0
|
2019-06-15 16:17:51 +02:00 |
lua-modules
|
luaPackages.lpeg: 1.0.1 -> 1.0.2
|
2019-06-07 21:17:01 +09:00 |
mobile
|
Merge pull request #61906 from lilyball/cocoapods
|
2019-05-31 21:51:25 -04:00 |
ocaml-modules
|
ocamlPackages.alcotest: 0.8.2 -> 0.8.5
|
2019-06-04 17:27:15 +02:00 |
tools
|
cargo-xbuild: 0.5.11 -> 0.5.12
|
2019-06-14 13:05:21 +08:00 |
web
|
grails: 3.3.9 -> 3.3.10
|
2019-06-10 23:20:58 +02:00 |