alt-ergo 2.0.0-3 source package in Debian
Changelog
alt-ergo (2.0.0-3) unstable; urgency=medium * Install files directly without going through dh_install * d/rules: - drop setting of BUILD_DATE which is no longer useful - drop inclusion of ocamlvars.mk which is no longer useful -- Ralf Treinen <email address hidden> Thu, 14 Feb 2019 04:21:22 +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 | Published | Component | Section | |
---|---|---|---|---|
Buster | release | main | math |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_2.0.0-3.dsc | 2.2 KiB | 1b7dd76179b56438324f584681ba56c0db6d59eac0145c9851b7be06c16cea8b |
alt-ergo_2.0.0.orig.tar.gz | 345.2 KiB | bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b |
alt-ergo_2.0.0-3.debian.tar.xz | 6.2 KiB | c85233473aaf6ef3c0aede003742b9ec2ba9e456d2449ff981d901a60702a818 |
Available diffs
- diff from 1.30+dfsg1-2 to 2.0.0-3 (520.6 KiB)
- diff from 2.0.0-2 to 2.0.0-3 (944 bytes)
No changes file available.