Ubuntu
coq-float package

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

Changelog

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

  * Rebuild with OCaml 3.11.2
  * Rewrite debian/rules with dh overrides
  * Install *.vo files in user-contrib/Float
  * debian/control:
    - move to section math
    - bump dependency to debhelper
    - update my e-mail address, remove DMUA
    - update Standards-Version to 3.8.4 (no changes)
 -- Fabrice Coutadeur <email address hidden>   Wed,  10 Mar 2010 12:07:52 +0000

Upload details

Uploaded by:
Fabrice Coutadeur
Uploaded to:
Lucid
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
libdevel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Lucid: [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-4.diff.gz 2.7 KiB 5f6ac1038590627203c1f93b6a66135fe081e0258f4983c079dcfaeeca847353
coq-float_8.2-1.2-4.dsc 1.9 KiB 4fca3f7b8886cbbac576fa4b8c6571973a43573fd6409bd797120a203a671dca

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.