alt-ergo 0.99.1+dfsg1-4 source package in Debian

Changelog

alt-ergo (0.99.1+dfsg1-4) unstable; urgency=low

  * debian/patches/series: add missing newline
  * debian/control: XS-Testsuite => Testsuite
  * debian/control: drop duplicated Section
  * debian/control: canonical URI in VCS fields
  * debian/copyright: Makefile.in => Makefile.configurable.in

 -- Ralf Treinen <email address hidden>  Tue, 26 May 2015 21:56:56 +0200

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
alt-ergo_0.99.1+dfsg1-4.dsc 2.2 KiB 7596f6cf7b057106d9170660da83465a9d05bc257a4e7ac98921dfd309a1c399
alt-ergo_0.99.1+dfsg1.orig.tar.gz 217.7 KiB 8fe9e1cc3fb1d8e9b0054677dba486d5c5ac64e2470f2ea40db09941aa104b4f
alt-ergo_0.99.1+dfsg1-4.debian.tar.xz 12.3 KiB 75248d0feecb549cdc9570fd850e30012ad6b4b557a86f8ba85491e14028969d

Available diffs

No changes file available.

Binary packages built by this source