alt-ergo 2.0.0-2 source package in Debian
Changelog
alt-ergo (2.0.0-2) unstable; urgency=medium * Install plugins only on architectures with dynamic linking -- Ralf Treinen <email address hidden> Wed, 13 Feb 2019 22:40:56 +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 |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_2.0.0-2.dsc | 2.2 KiB | 807adea4f9658e62946b1d1c00961d83b00fad7643b7aceb2afd2d791b7a6929 |
alt-ergo_2.0.0.orig.tar.gz | 345.2 KiB | bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b |
alt-ergo_2.0.0-2.debian.tar.xz | 6.4 KiB | b81e3fa5c0ede2ac411c695ca0eab87f13715e52006eecb85fd60c8d2498f787 |
Available diffs
- diff from 1.30+dfsg1-2 to 2.0.0-2 (520.4 KiB)
No changes file available.