=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Fetching AdaCore-why3-fb4ca6cd8c7d888d3e8d281e6de87c66ec20f084.tar.gz
=> Total size: 7119379 bytes
ftp: Error retrieving file `404 Not Found'
fetch: Unable to fetch expected file AdaCore-why3-fb4ca6cd8c7d888d3e8d281e6de87c66ec20f084.tar.gz
ftp: Error retrieving file `503 Service Unavailable'
fetch: Unable to fetch expected file AdaCore-why3-fb4ca6cd8c7d888d3e8d281e6de87c66ec20f084.tar.gz
ftp: Error retrieving file `404 Not Found'
fetch: Unable to fetch expected file AdaCore-why3-fb4ca6cd8c7d888d3e8d281e6de87c66ec20f084.tar.gz
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/lang/spark2014-14