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 | 8.20.0 dfsg-1 | Installed | 1d 17h 53m | x86-csail-01 | math | old | all (1) | giveback | |
| arm64 | 8.20.0 dfsg-1 | Installed | 1d 17h 13m | arm-conova-04 | math | old | all (1) | giveback | |
| armel ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 23m | uncompiled | math | old | no log | giveback | |
| armhf ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 23m | uncompiled | math | old | no log | giveback | |
| i386 ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 23m | uncompiled | math | old | no log | giveback | |
| mips64el ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 23m | uncompiled | math | old | no log | giveback | |
| ppc64el | 8.20.0 dfsg-1 | Installed | 1d 17h 13m | ppc64el-osuosl-01 | math | old | all (1) | giveback | |
| riscv64 | 8.20.0 dfsg-1 | Installed | 1d 14h 43m | rv-osuosl-03 | math | old | all (1) | giveback | |
| s390x | 8.20.0 dfsg-1 | Installed | 1d 13h 9m | zandonai | math | old | all (1) | giveback | |
| alpha ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
| hppa ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
| hurd-amd64 ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | uncompiled | math | old | no log | giveback | |
| hurd-i386 ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
| loong64 ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
| m68k ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
| powerpc ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
| ppc64 ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
| sh4 ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
| sparc64 ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
| x32 ↓ | 8.20.0 dfsg-1 | BD-Uninstallable | 1d 18h 14m | out-of-date | math | old | no log | giveback | |
Install getbuildlog: sudo apt install devscripts
Download latest coq build logs: getbuildlog coq last
Download all coq build logs: getbuildlog coq
Dependency installability problem for coq on armel:
coq build-depends on missing: - ocaml-native-compilers:armel
Dependency installability problem for coq on armhf:
coq build-depends on missing: - ocaml-native-compilers:armhf
Dependency installability problem for coq on i386:
coq build-depends on missing: - ocaml-native-compilers:i386
Dependency installability problem for coq on mips64el:
coq build-depends on missing: - ocaml-native-compilers:mips64el
Dependency installability problem for coq on alpha:
coq build-depends on missing: - ocaml-native-compilers:alpha
Dependency installability problem for coq on hppa:
coq build-depends on missing: - ocaml-native-compilers:hppa
Dependency installability problem for coq on hurd-amd64:
coq build-depends on missing: - liblablgtk3-ocaml-dev:hurd-amd64
Dependency installability problem for coq on hurd-i386:
coq build-depends on missing: - ocaml-native-compilers:hurd-i386
Dependency installability problem for coq on loong64:
coq build-depends on missing: - ocaml-native-compilers:loong64
Dependency installability problem for coq on m68k:
coq build-depends on missing: - ocaml-native-compilers:m68k
Dependency installability problem for coq on powerpc:
coq build-depends on missing: - ocaml-native-compilers:powerpc
Dependency installability problem for coq on ppc64:
coq build-depends on missing: - ocaml-native-compilers:ppc64
Dependency installability problem for coq on sh4:
coq build-depends on missing: - ocaml-native-compilers:sh4
Dependency installability problem for coq on sparc64:
coq build-depends on missing: - ocaml-native-compilers:sparc64
Dependency installability problem for coq on x32:
coq build-depends on missing: - ocaml-native-compilers:x32