alt-ergo 0.99.1+dfsg1-3 source package in Ubuntu

Changelog

alt-ergo (0.99.1+dfsg1-3) unstable; urgency=medium

  * debian/control: fix domain name in Vcs fields
  * explicitly set the build date to the date of the last changelog entry
    (closes: #786846):
    - add patch 0003-allow-set-build-date to set the build date in the
      Makefile in a variable
    - debian/rules: pass the correct value of the build date to the Makefile
    Thanks to Juan Picca <email address hidden> and Jakub Wilk <email address hidden>
    for the patch!
  * rename patch 0001-dont-activate-debug-flag to be consistent with other
    patches

 -- Ralf Treinen <email address hidden>  Tue, 26 May 2015 20:48:35 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
alt-ergo_0.99.1+dfsg1-3.dsc 2.2 KiB 829c7bce291cc41131c7e272da02886ac32a4e9ce946abefc87fe54c167465d1
alt-ergo_0.99.1+dfsg1.orig.tar.gz 217.7 KiB 8fe9e1cc3fb1d8e9b0054677dba486d5c5ac64e2470f2ea40db09941aa104b4f
alt-ergo_0.99.1+dfsg1-3.debian.tar.xz 12.2 KiB 373410436bb615b273ace93ec3225796c4b956c9547da8f4ea50a9ceb023858a

Available diffs

No changes file available.

Binary packages built by this source

alt-ergo: No summary available for alt-ergo in ubuntu wily.

No description available for alt-ergo in ubuntu wily.

alt-ergo-dbgsym: No summary available for alt-ergo-dbgsym in ubuntu wily.

No description available for alt-ergo-dbgsym in ubuntu wily.