amd64 build of kissat 4.0.2-ok1 : debian : liweinan

liweinan

amd64 build of kissat 4.0.2-ok1 in openkylin nile RELEASE

created on 2025-11-05

Build status

Successfully built on docker-amd64-0.37-8223

Started on 2025-11-05
Finished on 2025-11-05 (took 2 minutes, 0.2 seconds)
buildlog (18.2 KiB)
kissat_4.0.2-ok1_amd64.changes (993 bytes)

Build details

Source:: kissat - 4.0.2-ok1

Archive:: debian

Series:: Nile V2.0

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

kissat-4.0.2-ok1

Built files

Files resulting from this build:

kissat_4.0.2-ok1_amd64.deb (327.6 KiB)