Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
| Architecture | Version | Status | For | Buildd | State | Misc | Logs |
|---|---|---|---|---|---|---|---|
 armhf | 1.3.3-1+b5 | Installed | 1186d 5h 42m | mb-lxc-02 | misc:optional | old | all (1) |
BinNMU changelog for why3 on armhf:
rebuild due to debcheck failure