Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
| Architecture | Version | Status | For | Buildd | State | Misc | Logs |
|---|---|---|---|---|---|---|---|
 armhf | 1.3.3-3+b1 | Installed | 901d 7h 14m | testbuildd | misc:optional | old | all (1) |
BinNMU changelog for why3 on armhf:
rebuild due to debcheck failure