Ubuntu
coq-float package

coq-float 1:8.4-5build1 source package in Ubuntu

Changelog

coq-float (1:8.4-5build1) xenial; urgency=medium

  * No-change rebuild against new ocaml ABIs

 -- Iain Lane <email address hidden>  Wed, 04 Nov 2015 11:08:32 +0000

Upload details

Uploaded by:
Iain Lane
Uploaded to:
Xenial
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
libdevel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe libdevel

Builds

Xenial: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
coq-float_8.4.orig.tar.gz 344.1 KiB 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c
coq-float_8.4-5build1.debian.tar.xz 3.3 KiB f0e6ba2ae96fd132620d3dd9336080d62f1d91fa9a0518204693e8a3efc813ed
coq-float_8.4-5build1.dsc 2.0 KiB ca22ead035f8c1871d6b06f399e086070346028d4b4644aa1a15db4a48d2b3f5

View changes file

Binary packages built by this source

libfloat-coq: No summary available for libfloat-coq in ubuntu yakkety.

No description available for libfloat-coq in ubuntu yakkety.