Run of fresh-snapshots for mathcomp-finmap

2403
2404
2405
2406
2407
2408
2409
2410
2411
2412
2413
2414
2415
2416
2417
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:

The following packages have unmet dependencies:
 libcoq-mathcomp-finmap : Depends: libcoq-mathcomp-ssreflect-3fc28 but it is not installable
E: Unable to correct problems, you have held broken packages.
command1             FAIL badpkg
blame: arg:/tmp/janitordjo8oh18/build-area/libcoq-mathcomp-finmap_1.5.1+git20220704.1.8dd0af0-1~jan+nus1_amd64.deb deb:libcoq-mathcomp-finmap /tmp/janitordjo8oh18/build-area/mathcomp-finmap_1.5.1+git20220704.1.8dd0af0-1~jan+nus1.dsc
badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U.
autopkgtest [15:44:46]: @@@@@@@@@@@@@@@@@@@@ summary
command1             FAIL badpkg
blame: arg:/tmp/janitordjo8oh18/build-area/libcoq-mathcomp-finmap_1.5.1+git20220704.1.8dd0af0-1~jan+nus1_amd64.deb deb:libcoq-mathcomp-finmap /tmp/janitordjo8oh18/build-area/mathcomp-finmap_1.5.1+git20220704.1.8dd0af0-1~jan+nus1.dsc
badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U.

Publish Blockers

  • ☒ run was not successful
  • ☑ package has not been removed from the archive
  • ☑ command has not changed
  • ☒ not yet reviewed, but review needed
  • ☑ 0 publish attempts so far.not currently attempting to back off
  • ☒ merge proposals for the package maintainer are currently being rate-limited (open: 158, max open: 150)
  • ☒ change set fba591a0-8503-4d43-a022-2a2e07b72ce1 is working

Full worker log Full build log