Ubuntu
ssreflect package

amd64 build of ssreflect 1.14.0-3 in ubuntu jammy PROPOSED

1.14.0-3
amd64 build

created on 2022-02-06

Build status

Successfully built on lcy02-amd64-034

Started on 2022-02-06
Finished on 2022-02-06 (took 30 minutes, 43.9 seconds)
buildlog (28.7 KiB)
ssreflect_1.14.0-3_amd64.changes (1.1 KiB)
ssreflect_1.14.0-3_amd64.buildinfo (6.3 KiB)

Build details

Source:: ssreflect - 1.14.0-3

Archive:: Primary Archive for Ubuntu

Series:: Jammy

Architecture:: amd64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

libssreflect-coq 1.14.0-3

Built files

Files resulting from this build:

libssreflect-coq_1.14.0-3_all.deb (28.4 MiB)