Ubuntu
coq-menhirlib package

arm64 build of coq-menhirlib 20231231+ds-3build2 in ubuntu oracular PROPOSED

20231231+ds-3build2
arm64 build

created on 2024-05-13

Build status

Successfully built on bos01-arm64-003

Started on 2024-05-13
Finished on 2024-05-13 (took 6 minutes, 51.0 seconds)
buildlog (25.3 KiB)
coq-menhirlib_20231231+ds-3build2_arm64.changes (1.2 KiB)
coq-menhirlib_20231231+ds-3build2_arm64.buildinfo (6.7 KiB)

Build details

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

Archive:: Primary Archive for Ubuntu

Series:: Oracular

Architecture:: arm64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

libcoq-menhirlib 20231231+ds-3build2

Built files

Files resulting from this build:

libcoq-menhirlib_20231231+ds-3build2_arm64.deb (1.5 MiB)