BulkTracker pkgsrc bulk build status

 

↩ lang/ Other builds of this package pkgsrc.se

Package location

lang/coq

Package name

coq-8.15.2nb14

Package maintainer

Build Status

indirect-failed

Platform

NetBSD 10.0/i386

Compiler

gcc

Branch

2024Q2

Built on

2024-07-09 03:07:00 +0000 UTC

Built by

S.P.Zeidler

This package has 1 failed dependencies

This package breaks 2 others