“hets packaging” team

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

hets ubuntu repository
i386 build of isabelle 2012-1ubuntu2

created on 2014-04-24

Build status

Successfully built on wani04 (amd64+qemu)

Started on 2014-04-24
Finished on 2014-04-24 (took 14 minutes, 8.7 seconds)
buildlog (5.6 KiB)
isabelle_2012-1ubuntu2_i386.changes (915 bytes)

Build details

Source:: isabelle - 2012-1ubuntu2

Archive:: hets ubuntu repository

Series:: Trusty

Architecture:: i386

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_i386.deb (71.7 MiB)