coq-modules
|
Add Coqeal 2.0.1 and algebra-tactics 1.2.3
|
2024-01-19 10:46:00 +01:00 |
interpreters
|
apacheHttpdPackages.php: 8.2.14 -> 8.2.15
|
2024-01-19 03:31:12 +00:00 |
libraries
|
draco: 1.5.6 -> 1.5.7
|
2024-01-19 13:50:13 +01:00 |
ocaml-modules
|
ocamlPackages.eio: 0.13 → 0.14
|
2024-01-18 21:04:59 +01:00 |
r-modules
|
rPackages.rhdf5filters: simplify patch
|
2024-01-17 09:34:31 +11:00 |
tools
|
Merge pull request #267520 from phip1611/ttfb-bump
|
2024-01-19 12:25:06 +01:00 |
web
|
nodejs_21: 21.5.0 -> 21.6.0
|
2024-01-17 04:20:00 +00:00 |