BulkTracker
pkgsrc bulk build status
↩
devel/
Other builds of this package
pkgsrc.se
Package location
devel/frama-c
Package name
frama-c-25.0nb10
Build Status
indirect-failed
Platform
NetBSD 10.0/x86_64
Compiler
gcc
Branch
2024Q1
Built on
2024-05-01 13:49:00 +0000 UTC
Built by
S.P.Zeidler
This package has 3 failed dependencies
Location
Package Name
Status
Breaks
lang/coq
coq-8.15.2nb11
indirect-failed
2
devel/why3
why3-1.5.1nb1
indirect-failed
1
x11/ocaml-lablgtk3
ocaml-lablgtk3-3.1.3nb8
failed
2