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
|
Merge master into staging-next
|
2019-06-15 08:17:58 +02:00 |
lua-modules
|
luaPackages.lpeg: 1.0.1 -> 1.0.2
|
2019-06-07 21:17:01 +09:00 |
mobile
|
Merge staging-next into master
|
2019-06-15 10:46:55 +02:00 |
ocaml-modules
|
ocamlPackages.alcotest: 0.8.2 -> 0.8.5
|
2019-06-04 17:27:15 +02:00 |
python-modules
|
Merge staging-next into master
|
2019-06-15 10:46:55 +02:00 |
r-modules
|
rPackages.git2r: Use system libgit2
|
2019-06-14 10:05:07 -05:00 |
tools
|
Merge branch 'master' into staging-next
|
2019-06-14 17:47:23 +02:00 |
web
|
grails: 3.3.9 -> 3.3.10
|
2019-06-10 23:20:58 +02:00 |