coq-float 1:8.2-1.2-5 source package in Ubuntu

Changelog

coq-float (1:8.2-1.2-5) unstable; urgency=low

  * Rebuild with Coq 8.2pl2
  * Update debian/watch
  * Bump Standards-Version to 3.9.0 (no changes)
  * Switch source package format to 3.0 (quilt)
 -- Iain Lane <email address hidden>   Sat, 03 Jul 2010 15:51:20 +0200

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Maverick: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
coq-float_8.2-1.2.orig.tar.gz 315.4 KiB df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2
coq-float_8.2-1.2-5.debian.tar.gz 3.0 KiB e667798ed677824ce721c78c4650edca17705c303c10be6d4198f5e7ed920bbf
coq-float_8.2-1.2-5.dsc 1.3 KiB 931f6544ac8ec47fb4239f0587cf9a247e50dc5f1f88ff385e6814d2879e9486

Available diffs

View changes file

Binary packages built by this source

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

No description available for libfloat-coq in ubuntu maverick.