Tracker – Changelog – Bugs – packages.d.o – Source
| Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
|---|---|---|---|---|---|---|---|---|
| all is not present in the architecture list set by the maintainer | ||||||||
 amd64 | 1.3-8.19-2+b2 | Installed | 86d 50m | x86-grnet-03 | misc | old | all (1) | giveback | |
| arm64 | 1.3-8.19-2+b2 | Installed | 85d 23h 9m | arm-conova-04 | misc | old | all (1) | giveback | |
| armel ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 32m | uncompiled | misc | old | no log | giveback | |
| armhf ↓ | 1.3-8.19-2+b2 | BD-Uninstallable | 95d 1h 35m | uncompiled | misc | old | no log | giveback | |
| i386 ↓ | 1.3-8.19-2+b2 | BD-Uninstallable | 95d 1h 35m | uncompiled | misc | old | no log | giveback | |
| mips64el ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 32m | uncompiled | misc | old | no log | giveback | |
| ppc64el | 1.3-8.19-2+b3 | Installed | 76d 1h 14m | ppc64el-conova-01 | misc | old | all (1) | giveback | |
| riscv64 | 1.3-8.19-2+b2 | Installed | 85d 21h 31m | rv-manda-03 | misc | old | all (1) | giveback | |
| s390x | 1.3-8.19-2+b2 | Installed | 85d 22h 33m | zani | misc | old | all (1) | giveback | |
| alpha ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 25m | uncompiled | misc | old | no log | giveback | |
| hppa ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 25m | uncompiled | misc | old | no log | giveback | |
| hurd-amd64 ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 25m | uncompiled | misc | old | no log | giveback | |
| hurd-i386 ↓ | 1.3-8.19-2 | Failed | 102d 12h 27m | ironforge | out-of-date | misc | old | all (1) | giveback |
| loong64 ↓ | 1.3-8.19-2+b2 | BD-Uninstallable | 95d 1h 35m | out-of-date | misc | old | no log | giveback | |
| m68k ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 25m | uncompiled | misc | old | no log | giveback | |
| powerpc ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 25m | uncompiled | misc | old | no log | giveback | |
| ppc64 ↓ | 1.3-8.19-2+b2 | BD-Uninstallable | 95d 1h 35m | out-of-date | misc | old | no log | giveback | |
| sh4 ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 24m | uncompiled | misc | old | no log | giveback | |
| sparc64 ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 24m | uncompiled | misc | old | no log | giveback | |
| x32 ↓ | 1.3-8.19-2 | BD-Uninstallable | 102d 23h 24m | uncompiled | misc | old | no log | giveback | |
Install getbuildlog: sudo apt install devscripts
Download latest coq-equations build logs: getbuildlog coq-equations last
Download all coq-equations build logs: getbuildlog coq-equations
BinNMU changelog for coq-equations on amd64, arm64, armhf, i386, riscv64, s390x, loong64 and ppc64:
Rebuild with new ABIs of dependencies
BinNMU changelog for coq-equations on ppc64el:
Rebuild with updated coq ABI
Dependency installability problem for coq-equations on armel:
coq-equations build-depends on missing: - coq:armel
Dependency installability problem for coq-equations on armhf:
coq-equations build-depends on missing: - coq:armhf
Dependency installability problem for coq-equations on i386:
coq-equations build-depends on missing: - coq:i386
Dependency installability problem for coq-equations on mips64el:
coq-equations build-depends on missing: - coq:mips64el
Dependency installability problem for coq-equations on alpha:
libaudit1 depends on missing: - libaudit-common:alpha (>= 1:4.0.2-2)
Dependency installability problem for coq-equations on hppa:
libaudit1 depends on missing: - libaudit-common:hppa (>= 1:4.0.2-2)
Dependency installability problem for coq-equations on hurd-amd64:
coq-equations build-depends on missing: - coq:hurd-amd64
Dependency installability problem for coq-equations on loong64:
libaudit1 depends on missing: - libaudit-common:loong64 (>= 1:4.0.2-2)
Dependency installability problem for coq-equations on m68k:
coq-equations build-depends on: - coq:m68k coq depends on missing: - libncurses5:m68k (>= 5.6+20071006-3)
Dependency installability problem for coq-equations on powerpc:
libaudit1 depends on missing: - libaudit-common:powerpc (>= 1:4.0.2-2)
Dependency installability problem for coq-equations on ppc64:
libaudit1 depends on missing: - libaudit-common:ppc64 (>= 1:4.0.2-2)
Dependency installability problem for coq-equations on sh4:
coq-equations build-depends on: - coq:sh4 coq depends on: - libcoq-ocaml-4s3g2:sh4 | libcoq-ocaml-4s3g2:sh4 libcoq-ocaml depends on missing: - libcairo2-ocaml-56yq1:sh4
Dependency installability problem for coq-equations on sparc64:
libaudit1 depends on missing: - libaudit-common:sparc64 (>= 1:4.0.2-2)
Dependency installability problem for coq-equations on x32:
libaudit1 depends on missing: - libaudit-common:x32 (>= 1:4.0.2-2)
Failing reason for coq-equations on hurd-i386:
> Error: Unbound module UVars
Tail of log for coq-equations on hurd-i386:
CAMLDEP src/equations_common.ml
CAMLDEP src/g_equations.ml
CAMLC -c src/equations_common.mli
File "src/equations_common.mli", line 417, characters 24-40:
417 | val to_peuniverses : 'a UVars.puniverses -> 'a peuniverses
^^^^^^^^^^^^^^^^
Error: Unbound module UVars
Hint: Did you mean Vars?
make[3]: *** [Makefile.coq:743: src/equations_common.cmi] Error 2
make[2]: *** [Makefile.coq:409: all] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [Makefile:6: all] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_build: error: make -j1 "INSTALL=install --strip-program=true" returned exit code 2
make: *** [debian/rules:6: binary-arch] Error 255