“hets packaging” team

amd64 build of isabelle 2012-1ubuntu2 in ubuntu trusty RELEASE

hets ubuntu repository
amd64 build of isabelle 2012-1ubuntu2

created on 2014-04-24

Build status

Successfully built on gold (virtual-lpia)

Started on 2014-04-24
Finished on 2014-04-24 (took 45 minutes, 26.3 seconds)
buildlog (5.7 KiB)
isabelle_2012-1ubuntu2_amd64.changes (914 bytes)

Build details

Source:: isabelle - 2012-1ubuntu2

Archive:: hets ubuntu repository

Series:: Trusty

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

isabelle-2012-1ubuntu2

Built files

Files resulting from this build:

isabelle_2012-1ubuntu2_amd64.deb (74.9 MiB)