Ubuntu
why package

i386 build of why 2.30+dfsg-5 in ubuntu quantal RELEASE

2.30+dfsg-5
i386 build

created on 2012-05-24

Build status

Successfully built on roseapple (i386/amd64)

Started on 2012-05-25
Finished on 2012-05-25 (took 4 minutes, 38.4 seconds)
buildlog (31.6 KiB)
why_2.30+dfsg-5_i386.changes (1.4 KiB)

Build details

Source:: why - 2.30+dfsg-5

Archive:: Primary Archive for Ubuntu

Series:: Quantal

Architecture:: i386

Pocket:: Release

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

libwhy-coq_2.30+dfsg-5_all.deb (393.5 KiB)
why-examples_2.30+dfsg-5_all.deb (173.6 KiB)
why_2.30+dfsg-5_i386.deb (6.7 MiB)