Description
Does opam really depend on darcs?
Reading package lists...
Building dependency tree...
Reading state information...
Package darcs is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
E: Package 'darcs' has no installation candidate
Notice: An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
/usr/bin/sudo apt-get update
Hit:1 http://azure.archive.ubuntu.com/ubuntu noble InRelease
Get:2 http://azure.archive.ubuntu.com/ubuntu noble-updates InRelease [126 kB]
Get:3 http://azure.archive.ubuntu.com/ubuntu noble-backports InRelease [126 kB]
Get:4 http://azure.archive.ubuntu.com/ubuntu noble-security InRelease [126 kB]
Hit:5 https://packages.microsoft.com/repos/azure-cli noble InRelease
Get:6 https://packages.microsoft.com/ubuntu/24.04/prod noble InRelease [3600 B]
Get:7 http://azure.archive.ubuntu.com/ubuntu noble-updates/main amd64 Packages [535 kB]
Get:8 http://azure.archive.ubuntu.com/ubuntu noble-updates/main Translation-en [130 kB]
Get:9 http://azure.archive.ubuntu.com/ubuntu noble-updates/main amd64 c-n-f Metadata [8652 B]
Get:10 http://azure.archive.ubuntu.com/ubuntu noble-updates/universe amd64 Packages [377 kB]
Get:11 http://azure.archive.ubuntu.com/ubuntu noble-updates/universe Translation-en [156 kB]
Get:12 http://azure.archive.ubuntu.com/ubuntu noble-updates/universe amd64 c-n-f Metadata [14.8 kB]
Get:13 http://azure.archive.ubuntu.com/ubuntu noble-backports/universe amd64 Packages [10.6 kB]
Get:14 http://azure.archive.ubuntu.com/ubuntu noble-backports/universe amd64 c-n-f Metadata [1104 B]
Get:15 http://azure.archive.ubuntu.com/ubuntu noble-security/main amd64 Packages [380 kB]
Get:16 http://azure.archive.ubuntu.com/ubuntu noble-security/main Translation-en [82.9 kB]
Get:17 http://azure.archive.ubuntu.com/ubuntu noble-security/main amd64 c-n-f Metadata [4560 B]
Get:18 http://azure.archive.ubuntu.com/ubuntu noble-security/universe amd64 Packages [272 kB]
Get:19 http://azure.archive.ubuntu.com/ubuntu noble-security/universe Translation-en [115 kB]
Get:20 http://azure.archive.ubuntu.com/ubuntu noble-security/universe amd64 c-n-f Metadata [10.3 kB]
Get:21 https://packages.microsoft.com/ubuntu/24.04/prod noble/main armhf Packages [4999 B]
Get:22 https://packages.microsoft.com/ubuntu/24.04/prod noble/main arm64 Packages [8154 B]
Get:23 https://packages.microsoft.com/ubuntu/24.04/prod noble/main amd64 Packages [11.8 kB]
Fetched 2505 kB in 0s (6456 kB/s)
Reading package lists...
/usr/bin/sudo apt-get --yes install bubblewrap darcs g++-multilib gcc-multilib mercurial musl-tools rsync
Reading package lists...
Building dependency tree...
Reading state information...
Package darcs is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
E: Package 'darcs' has no installation candidate
https://github.com/mit-plv/fiat-crypto/actions/runs/11099505411/job/30836037467#step:3:24
cf actions/runner-images#10476, I guess GitHub recently updated the default runner