Ubuntu

amd64 build of proofgeneral 4.4.1~pre170114-1.2 in ubuntu kinetic RELEASE

Copy archive test-rebuild-20220617-kinetic for Ubuntu Archive Test Rebuilds
amd64 build of proofgeneral 4.4.1~pre...

created on 2022-06-17

Build status

Successfully built on lgw01-amd64-047

Started on 2022-06-23
Finished on 2022-06-23 (took 4 minutes, 48.7 seconds)
buildlog (33.7 KiB)
proofgeneral_4.4.1~pre170114-1.2_amd64.changes (1.7 KiB)
proofgeneral_4.4.1~pre170114-1.2_amd64.buildinfo (10.5 KiB)

Build details

Source:: proofgeneral - 4.4.1~pre170114-1.2

Archive:: Copy archive test-rebuild-20220617-kinetic for Ubuntu Archive Test Rebuilds

Series:: Kinetic

Architecture:: amd64

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

proofgeneral-4.4.1~pre170114-1.2
proofgeneral-doc-4.4.1~pre170114-1.2

Built files

Files resulting from this build:

proofgeneral-doc_4.4.1~pre170114-1.2_all.deb (653.7 KiB)
proofgeneral_4.4.1~pre170114-1.2_all.deb (541.8 KiB)