alt-ergo 1.30+dfsg1-1 source package in Debian

Changelog

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

  * Repack source to exclude the non-free/ directory (closes: #883755).
  * Patch ocplib-simplex-0.4: patch to compile with version 0.4 of
    ocplib-simplex-ocaml-dev (closes: #882162).
  * Standards-Version 4.1.2 (no change)
  * debian/watch: drop pgpsigurlmangle

 -- Ralf Treinen <email address hidden>  Thu, 21 Dec 2017 20:01:21 +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.30+dfsg1-1.dsc 2.2 KiB 0a39db8f1b992d51e253320371a04b9d6ed92ac4d18e7fc7966b4f411d1b325b
alt-ergo_1.30+dfsg1.orig.tar.gz 258.0 KiB a9846a2dc56bfc89bea99105c277d2f80cfee1ad861df2e92728ec6379465b51
alt-ergo_1.30+dfsg1-1.debian.tar.xz 14.3 KiB cebdd6f6e159c4e68e4363de0cc1c72c842b61a8accf76ff1956b6d1a31982b4

No changes file available.

Binary packages built by this source