Ubuntu
why package

i386 build of why 2.30+dfsg-1 in ubuntu precise RELEASE

2.30+dfsg-1
i386 build

created on 2012-01-07

Build status

Successfully built on roseapple (i386/amd64)

Started on 2012-01-07
Finished on 2012-01-07 (took 2 minutes, 47.9 seconds)
buildlog (39.7 KiB)
why_2.30+dfsg-1_i386.changes (1.9 KiB)

Build details

Source:: why - 2.30+dfsg-1

Archive:: Primary Archive for Ubuntu

Series:: Precise

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-1_all.deb (393.7 KiB)
why-examples_2.30+dfsg-1_all.deb (173.6 KiB)
why_2.30+dfsg-1_i386.deb (6.7 MiB)