BulkTracker pkgsrc bulk build status

 

↩ lang/ Other builds of this package pkgsrc.se

Package location

lang/coq

Package name

coq-8.15.2nb18

Build Status

indirect-failed

Platform

NetBSD 9.0/x86_64

Compiler

gcc

Branch

HEAD

Built on

2024-11-15 04:27:00 +0000 UTC

Built by

Makoto Fujiwara

This package has 1 failed dependencies