Ubuntu
menhir package

riscv64 build of menhir 20230608+ds-1build2 in ubuntu noble PROPOSED

20230608+ds-1build2
riscv64 build

created on 2023-11-15

Build status

Successfully built on riscv64-qemu-lgw01-087

Started on 2023-11-15
Finished on 2023-11-15 (took 54 minutes, 59.6 seconds)
buildlog (39.2 KiB)
menhir_20230608+ds-1build2_riscv64.changes (2.2 KiB)
menhir_20230608+ds-1build2_riscv64.buildinfo (10.3 KiB)

Build details

Source:: menhir - 20230608+ds-1build2

Archive:: Primary Archive for Ubuntu

Series:: Noble

Architecture:: riscv64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

libmenhir-ocaml-dev-dbgsym_20230608+ds-1build2_riscv64.ddeb (19.6 KiB)
libmenhir-ocaml-dev_20230608+ds-1build2_riscv64.deb (687.3 KiB)
menhir-dbgsym_20230608+ds-1build2_riscv64.ddeb (405.4 KiB)
menhir_20230608+ds-1build2_riscv64.deb (1.4 MiB)