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 | 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
- diff from 2.0.0-6 to 2.0.0-7 (924 bytes)
No changes file available.