Ubuntu
coq-float package

i386 build of coq-float 1:8.1-1.0-2 in ubuntu hardy RELEASE

1:8.1-1.0-2
i386 build

created on 2007-10-28

Build status

Build for superseded Source

Build details

Source:: coq-float - 1:8.1-1.0-2

Archive:: Primary Archive for Ubuntu

Series:: Hardy

Architecture:: i386

Pocket:: Release

Component:: universe