| Thu, 21 Mar 2024 16:15:25 +0100 | wenzelm | proper bib entries (amending 82aaa0d8fc3b); | changeset | files |
| Thu, 21 Mar 2024 15:00:22 +0100 | wenzelm | update to dotnet-8.0.203; | changeset | files |
| Thu, 21 Mar 2024 14:45:15 +0100 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
| Thu, 21 Mar 2024 14:43:40 +0100 | wenzelm | update to sqlite-3.45.2.0: clarified component name, following postgresql; | changeset | files |