alt-ergo 2.0.0-3 source package in Ubuntu
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 |
|---|
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.
Binary packages built by this source
- alt-ergo: No summary available for alt-ergo in ubuntu eoan.
No description available for alt-ergo in ubuntu eoan.
- alt-ergo-dbgsym: No summary available for alt-ergo-dbgsym in ubuntu disco.
No description available for alt-ergo-dbgsym in ubuntu disco.
