BulkTracker
pkgsrc bulk build status
↩
lang/
Other builds of this package
pkgsrc.se
Package location
lang/coq
Package name
coq-8.15.2nb14
Build Status
indirect-failed
Platform
CentOS 7/x86_64
Compiler
gcc
Branch
el7-trunk-x86_64
Built on
2024-07-30 22:38:00 +0000 UTC
Built by
MNX Cloud
This package has 2 failed dependencies
Location
Package Name
Status
Breaks
x11/ocaml-lablgtk3
ocaml-lablgtk3-3.1.3nb11
indirect-failed
2
x11/gtk3
gtk3+-3.24.43
indirect-failed
391
This package breaks 2 others
Location
Package Name
Status
Breaks