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

Description: Test _XOPEN_SOURCE=700 by default.

Compiler

gcc

Branch

upstream-bulktest

Built on

2024-06-24 16:44:00 +0000 UTC

Built by

MNX Cloud

This package has 2 failed dependencies

This package breaks 2 others