alt-ergo 2.0.0-7 source package in Debian

Changelog

alt-ergo (2.0.0-7) unstable; urgency=medium

  * Team upload
  * Add empty override_dh_dwz to prevent FTBFS
  * Update debian/watch
  * Bump debhelper compat level to 13
  * Add Rules-Requires-Root: no

 -- Stéphane Glondu <email address hidden>  Tue, 11 Aug 2020 10:05:10 +0200

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
Bullseye release main math

Builds

Downloads

File Size SHA-256 Checksum
alt-ergo_2.0.0-7.dsc 1.9 KiB b88b996dce385531be7c688eb348976aa5cbe4c5b7de39cf8d073e455961aa19
alt-ergo_2.0.0.orig.tar.gz 345.2 KiB bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b
alt-ergo_2.0.0-7.debian.tar.xz 6.9 KiB 02f85007d44eef13827c718bbfc09a408a1da22a6a94553fbbdeb451a63f8942

Available diffs

No changes file available.

Binary packages built by this source