| Thu, 21 Mar 2024 16:16:03 +0100 | wenzelm | update to jsoup-1.17.2; | changeset | files |
| 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 |
| Thu, 21 Mar 2024 14:29:01 +0100 | wenzelm | activate postgresql-42.7.3; | changeset | files |
| Thu, 21 Mar 2024 14:26:45 +0100 | wenzelm | update to postgresql-42.7.3; | changeset | files |