coq-modules
|
coqPackages.coqeal: 1.0.6 -> 1.1.0
|
2021-11-05 14:37:53 +01:00 |
embedded
|
teensyduino: 1.53 -> 1.55
|
2021-11-04 20:25:28 +01:00 |
interpreters
|
erlang: 24.1.3 -> 24.1.4
|
2021-11-04 18:16:01 +09:00 |
libraries
|
arrow-cpp: add S3 feature flag
|
2021-11-05 12:05:37 -04:00 |
ocaml-modules
|
maintainers: remove superherointj
|
2021-11-02 18:22:31 -07:00 |
ruby-modules
|
asciidoctor: 2.0.15 -> 2.0.16; darwin fix
|
2021-11-04 17:13:05 +09:00 |
tools
|
Merge pull request #103940 from leo60228/netcoredbg
|
2021-11-05 18:09:29 +01:00 |