Ubuntu
coq-hott package

s390x build of coq-hott 8.19-2build3 in ubuntu oracular PROPOSED

8.19-2build3
s390x build

created on 2024-09-07

Build status

Successfully built on bos02-s390x-004

Started on 2024-09-07
Finished on 2024-09-07 (took 6 minutes, 52.0 seconds)
buildlog (58.6 KiB)
coq-hott_8.19-2build3_s390x.changes (1.1 KiB)
coq-hott_8.19-2build3_s390x.buildinfo (6.6 KiB)

Build details

Source:: coq-hott - 8.19-2build3

Archive:: Primary Archive for Ubuntu

Series:: Oracular

Architecture:: s390x

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

libcoq-hott 8.19-2build3

Built files

Files resulting from this build:

libcoq-hott_8.19-2build3_s390x.deb (15.4 MiB)