Debian
coq-float package

coq-float 1:8.1-1.0-4 source package in Debian

Changelog

coq-float (1:8.1-1.0-4) unstable; urgency=low


  [ Stefano Zacchiroli ]
  * add vcs-* fields

  [ Samuel Mimram ]
  * Rebuild with latest version of coq.

 -- Samuel Mimram <email address hidden>  Sat, 19 Jan 2008 16:52:13 +0100

Upload details

Uploaded by:
Samuel Mimram
Uploaded to:
Lenny
Original maintainer:
Samuel Mimram
Architectures:
all
Section:
libdevel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Lenny release main libdevel

Builds

Downloads

File Size SHA-256 Checksum
coq-float_8.1-1.0-4.dsc 764 bytes 8d54906938989dc970cafc487fdc8dfe99e6d0006e35f55de2d0d984ca21853e
coq-float_8.1-1.0.orig.tar.gz 313.5 KiB 420d8cdabc5dffd619fc4b25d3358e4e2023eadd7a4a6014c2ab172fe3780fa4
coq-float_8.1-1.0-4.diff.gz 3.8 KiB 0d0174fef628ed1bfb4a62526251b6149d41731d5e282b764198d5e183f749ff

No changes file available.

Binary packages built by this source