coq-modules
|
coqPackages.ITree: 5.1.1 → 5.1.2
|
2023-11-17 13:59:33 +01:00 |
embedded
|
Merge pull request #268069 from moni-dz/blisp-nspath
|
2023-11-17 19:30:44 +01:00 |
libraries
|
shapelib: add geospatial team to maintainers
|
2023-11-17 20:10:14 +01:00 |
ocaml-modules
|
maintainers: fortuneteller2k -> moni
|
2023-11-17 18:03:27 +08:00 |
pharo
|
Pharo 10.0.5 -> 10.0.8
|
2023-11-16 19:06:59 +00:00 |
tools
|
github-runner: drop Node.js 16-related code
|
2023-11-17 20:26:55 +01:00 |
web
|
Merge pull request #264358 from RaitoBezarius/drop-nodejs
|
2023-11-17 23:26:13 +01:00 |