alt-ergo 1.30-1 source package in Debian

Changelog

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

  * new upstream version:
    - refreshed patch 0001-dont-activate-debug-flags
    - refreshed patch 0002-non-free-dropped
    - refreshed patch 0003-allow-set-build-date
    - added build-dependency on ocplib-simplex-ocaml-dev, libzip-ocaml-dev,
      and ocaml-findlib
  * debhelper compatibility level 10:
    - bumped build-dependency on debhelper
    - bumped value in debian/compat
    - debian/rules: sequence before options in dh invocation
  * standards-version 3.9.8 (no change)
  * debian/control: dropped redundant Testsuite
  * updated Vcs-{Git,Browser}
  * patch spelling: various upstream spelling errors

 -- Ralf Treinen <email address hidden>  Mon, 12 Dec 2016 19:58:57 +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
Stretch release main math

Builds

Downloads

File Size SHA-256 Checksum
alt-ergo_1.30-1.dsc 2.2 KiB da0ffe76cfc2dc2210789ff561d9d22597d8648172b93c22d8acd3595b47ddb7
alt-ergo_1.30.orig.tar.gz 371.4 KiB 2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708
alt-ergo_1.30-1.debian.tar.xz 13.9 KiB 30e35a3b8861dfaad0c535b2711a3c78bcef8292d7f8130c9ff5cc48da7270fa

Available diffs

No changes file available.

Binary packages built by this source