coq-modules
|
coqPackages.simple-io: 1.0.0 -> 1.2.0
|
2019-06-06 15:06:08 +00:00 |
interpreters
|
picolisp: fix help functionality
|
2019-06-15 23:25:32 -07:00 |
libraries
|
theft: 0.4.4 -> 0.4.5, fix pkg-config file
|
2019-06-16 09:34:16 -07: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 |
r-modules
|
rPackages.git2r: Use system libgit2
|
2019-06-14 10:05:07 -05:00 |
tools
|
ammonite: 1.6.7 -> 1.6.8
|
2019-06-16 09:39:33 -04:00 |
web
|
grails: 3.3.9 -> 3.3.10
|
2019-06-10 23:20:58 +02:00 |