Ubuntu
coq-doc package

Builds for coq-doc in Ubuntu Noble

  1. Noble (24.04)
  2. Builds
1 → 3 of 3 results First • Previous • Next • Last
[FULLYBUILT] amd64 build of coq-doc 8.18.0-1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-049 and finished taking 17 minutes — see the log
[FULLYBUILT] amd64 build of coq-doc 8.18.0-1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-049 and finished taking 17 minutes — see the log
[FULLYBUILT] amd64 build of coq-doc 8.17.1-1 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-028 and finished taking 11 minutes — see the log
1 → 3 of 3 results First • Previous • Next • Last