Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
| Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
|---|---|---|---|---|---|---|---|---|
 armhf ↓ | 20220511-manganese-5+b9 | Build-Attempted | 37d 9h 31m | testbuildd | out-of-date | devel | old | all (1) | giveback |
BinNMU changelog for frama-c on armhf:
rebuild due to debcheck failure
Tail of log for frama-c on armhf:
make[1]: *** Waiting for unfinished jobs....
File "src/kernel_services/plugin_entry_points/plugin.mli", line 32, characters 41-56:
32 | val add_group: ?memo:bool -> string -> Cmdline.Group.t
^^^^^^^^^^^^^^^
Error: Unbound module "Cmdline"
make[1]: *** [share/Makefile.generic:71: src/kernel_services/plugin_entry_points/plugin.cmi] Error 2
File "src/libraries/project/state_builder.mli", line 40, characters 21-28:
40 | val dependencies : State.t list
^^^^^^^
Error: Unbound module "State"
Hint: Did you mean "Stack"?
make[1]: *** [share/Makefile.generic:71: src/libraries/project/state_builder.cmi] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_build: error: make -j4 returned exit code 2
make: *** [debian/rules:45: binary-arch] Error 25