Ubuntu
kissat package

riscv64 build of kissat 4.0.1-3 in ubuntu plucky PROPOSED

4.0.1-3
riscv64 build

created on 2024-10-31

Build status

Successfully built on bos03-riscv64-051

Started on 2024-11-02
Finished on 2024-11-02 (took 29 minutes, 21.1 seconds)
buildlog (26.0 KiB)
kissat_4.0.1-3_riscv64.changes (1.5 KiB)
kissat_4.0.1-3_riscv64.buildinfo (5.6 KiB)

Build details

Source:: kissat - 4.0.1-3

Archive:: Primary Archive for Ubuntu

Series:: Plucky

Architecture:: riscv64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

kissat-dbgsym_4.0.1-3_riscv64.ddeb (1.3 MiB)
kissat_4.0.1-3_riscv64.deb (389.5 KiB)