“SoSy-Lab” team

amd64 build of benchexec 3.22-1 in ubuntu jammy RELEASE

Benchmarking
amd64 build of benchexec 3.22-1

created on 2024-06-20

Build status

Successfully built on lcy02-amd64-081

Started on 2024-06-20
Finished on 2024-06-20 (took 1 minute, 37.6 seconds)
buildlog (35.0 KiB)
benchexec_3.22-1_amd64.changes (1.0 KiB)
benchexec_3.22-1_amd64.buildinfo (6.5 KiB)

Build details

Source:: benchexec - 3.22-1

Archive:: Benchmarking

Series:: Jammy

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

benchexec-3.22-1

Built files

Files resulting from this build:

benchexec_3.22-1_all.deb (542.6 KiB)