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 |
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 |
python-modules
|
pythonPackages.pysmf: init at 0.1.1
|
2019-06-16 15:58:12 +03:00 |
r-modules
|
rPackages.git2r: Use system libgit2
|
2019-06-14 10:05:07 -05:00 |
ruby-modules
|
gem-config: add zlib
|
2019-05-08 17:46:03 +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 |