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 |
interpreters
|
picolisp: fix help functionality
|
2019-06-15 23:25:32 -07:00 |
libraries
|
itk: Adding darwin.apple_sdk.frameworks.Cocoa
|
2019-08-12 19:13:14 +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 |
r-modules
|
rPackages.git2r: Use system libgit2
|
2019-06-14 10:05:07 -05:00 |
tools
|
bmake: init at 20121212
|
2019-06-15 22:46:14 -07:00 |
web
|
grails: 3.3.9 -> 3.3.10
|
2019-06-10 23:20:58 +02:00 |