Ubuntu
coq-math-classes package

s390x build of coq-math-classes 8.19.0-1build7 in ubuntu oracular PROPOSED

8.19.0-1build7
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, 41.6 seconds)
buildlog (36.1 KiB)
coq-math-classes_8.19.0-1build7_s390x.changes (1.2 KiB)
coq-math-classes_8.19.0-1build7_s390x.buildinfo (6.7 KiB)

Build details

Source:: coq-math-classes - 8.19.0-1build7

Archive:: Primary Archive for Ubuntu

Series:: Oracular

Architecture:: s390x

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

libcoq-math-classes 8.19.0-1build7

Built files

Files resulting from this build:

libcoq-math-classes_8.19.0-1build7_s390x.deb (3.2 MiB)