alt-ergo 2.0.0-4 source package in Debian

Changelog

alt-ergo (2.0.0-4) unstable; urgency=high

  * Team upload
  * Fix compilation with camlzip >= 1.08

 -- Stéphane Glondu <email address hidden>  Wed, 31 Jul 2019 11:08:36 +0200

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
alt-ergo_2.0.0-4.dsc 1.9 KiB 1d70b21b5a9e3090f4f67ca9eb22c6c41c4a985bb7269bd96947ad7023f4d998
alt-ergo_2.0.0.orig.tar.gz 345.2 KiB bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b
alt-ergo_2.0.0-4.debian.tar.xz 6.8 KiB a44a2e5fb4f99711da5de54e5b1d4f589c362d283acfca53aec1748702724aa9

Available diffs

No changes file available.

Binary packages built by this source