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