“hets packaging” team

amd64 build of eprover 1.9-0ubuntu3 in ubuntu vivid RELEASE

hets ubuntu repository
amd64 build of eprover 1.9-0ubuntu3

created on 2016-07-11

Build status

Successfully built on lgw01-55

Started on 2016-07-11
Finished on 2016-07-11 (took 4 minutes, 24.9 seconds)
buildlog (18.9 KiB)
eprover_1.9-0ubuntu3_amd64.changes (733 bytes)

Build details

Source:: eprover - 1.9-0ubuntu3

Archive:: hets ubuntu repository

Series:: Vivid

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

eprover-1.9-0ubuntu3

Built files

Files resulting from this build:

eprover_1.9-0ubuntu3_amd64.deb (1.3 MiB)