-
-
- Package location
-
lang/coq
- Package name
- coq-8.15.2nb11
- Build Status
- indirect-failed
- Platform
- Description: Testing various implicit DEPENDS fixes.
- Compiler
- gcc
- Branch
- upstream-bulktest
- Built on
- 2023-11-28 11:26:00 +0000 UTC
- Built by
- MNX Cloud
This package has 1 failed dependencies
