Build
Derivation
/gnu/store/j2vr58lm4bd3wg9ir378n49h9xk51hxr-
frama-c-24.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-12-23T12:51:15
Scheduled
2025-02-26T19:55:20
Canceled