coq-modules
|
coqPackages.serapi: fix build with Coq 8.16
|
2023-09-26 14:10:44 +02:00 |
embedded
|
Merge pull request #254309 from pbsds/flit-prune
|
2023-09-25 11:34:15 +02:00 |
haskell-modules
|
cachix: 1.6 -> 1.6.1
|
2023-09-25 17:40:34 +01:00 |
interpreters
|
graalvm-ce: 22.3.1 -> 21.0.0
|
2023-09-27 10:25:44 +01:00 |
ocaml-modules
|
ocamlPackages.higlo: 0.8 → 0.9
|
2023-09-27 10:43:07 +02:00 |
php-packages
|
php81Extensions.phalcon: 5.3.0 -> 5.3.1
|
2023-09-26 04:32:27 +00:00 |
r-modules
|
Make rPackage.sf build fixes 257221
|
2023-09-25 09:39:56 +01:00 |
tools
|
yq-go: 4.35.1 -> 4.35.2 (#257418)
|
2023-09-27 04:32:19 +02:00 |