alt-ergo 1.01-1 source package in Debian

Changelog

alt-ergo (1.01-1) unstable; urgency=medium

  * new upstream version. Refreshed patches.
  * debian/watch: version 4. Add option pgpsigurlmangle.
  * standards-version 3.9.7 (no change)
  * bump version of build-dependency ocaml, according to upstream install
    instructions.

 -- Ralf Treinen <email address hidden>  Tue, 01 Mar 2016 21:17:13 +0100

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

Builds

Downloads

File Size SHA-256 Checksum
alt-ergo_1.01-1.dsc 2.1 KiB f7e7c9f10ab9b7273912572a019d4bb809653d5f18a6fc0e252dc74799bcf7f2
alt-ergo_1.01.orig.tar.gz 221.4 KiB 5101d7f9087b35806b1db05e5e82bc8334e69d1147d7cda04abad0e771d0def8
alt-ergo_1.01-1.debian.tar.xz 12.9 KiB 723b11e9ec9eb10f5358a638378b5d0296bf58b8f32110de4d965327c67609ca

No changes file available.

Binary packages built by this source