Builds for mathcomp in Ubuntu Yakkety
| 1 → 2 of 2 results | First • Previous • Next • Last |
|
|
amd64 build of mathcomp 1.5-4build2 in ubuntu yakkety PROPOSED
Missing dependencies:
libssreflect-coq (>= 1.5)
Build started
on
lgw01-16
and finished
taking
4 minutes
—
see the log
|
|
|
amd64 build of mathcomp 1.5-4build1 in ubuntu xenial PROPOSED
Build started
on
lgw01-58
and finished
taking
59 minutes
—
see the log
|
| 1 → 2 of 2 results | First • Previous • Next • Last |
