coq-modules
|
coqPackages.simple-io: fix & add tests
|
2022-10-07 07:54:31 +02:00 |
embedded
|
tytools: 0.9.7 -> 0.9.8
|
2022-10-08 18:31:41 +08:00 |
interpreters
|
cg3: 1.3.7 -> 1.3.9
|
2022-10-08 18:06:15 +08:00 |
libraries
|
smokegen: init at v4.14.3
|
2022-10-09 19:34:49 +02:00 |
misc
|
brev-cli: 0.6.116 -> 0.6.118
|
2022-10-06 15:56:40 +08:00 |
nim-packages
|
nim_builder: enable parallel building
|
2022-10-08 11:28:39 -05:00 |
node-packages
|
nodePackages.auto-changelog: init at 2.4.0
|
2022-10-07 23:59:52 +02:00 |
ocaml-modules
|
ocamlPackages.caqti: 1.8.0 → 1.9.1
|
2022-10-09 10:19:15 +02:00 |
tools
|
gdal_2: drop
|
2022-10-09 12:11:49 +02:00 |
web
|
Merge pull request #189561 from mpscholten/init-ihp-new
|
2022-10-09 12:02:12 +02:00 |