Ubuntu
coq-math-classes package

arm64 build of coq-math-classes 8.19.0-1build1 in ubuntu oracular PROPOSED

8.19.0-1build1
arm64 build

created on 2024-05-02

Build status

Successfully built on bos02-arm64-023

Started on 2024-05-02
Finished on 2024-05-02 (took 6 minutes, 18.2 seconds)
buildlog (35.7 KiB)
coq-math-classes_8.19.0-1build1_arm64.changes (1.2 KiB)
coq-math-classes_8.19.0-1build1_arm64.buildinfo (6.9 KiB)

Build details

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

Archive:: Primary Archive for Ubuntu

Series:: Oracular

Architecture:: arm64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

libcoq-math-classes 8.19.0-1build1

Built files

Files resulting from this build:

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