Ubuntu
coq-menhirlib package

armhf build of coq-menhirlib 20231231+ds-3build1 in ubuntu oracular PROPOSED

20231231+ds-3build1
armhf build

created on 2024-05-09

Build status

Successfully built on bos03-arm64-037

Started on 2024-05-09
Finished on 2024-05-09 (took 3 minutes, 52.8 seconds)
buildlog (25.1 KiB)
coq-menhirlib_20231231+ds-3build1_armhf.changes (1.2 KiB)
coq-menhirlib_20231231+ds-3build1_armhf.buildinfo (6.7 KiB)

Build details

Source:: coq-menhirlib - 20231231+ds-3build1

Archive:: Primary Archive for Ubuntu

Series:: Oracular

Architecture:: armhf

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

libcoq-menhirlib 20231231+ds-3build1

Built files

Files resulting from this build:

libcoq-menhirlib_20231231+ds-3build1_armhf.deb (1.4 MiB)