Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
| Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
|---|---|---|---|---|---|---|---|---|
 armhf | 1.8.0-2+b2 | Installed | 4h 12m | mb-lxc-01 | misc | old | all (1) | giveback |
BinNMU changelog for why3 on armhf:
rebuild due to debcheck failure