alt-ergo 2.0.0-4 source package in Ubuntu
Changelog
alt-ergo (2.0.0-4) unstable; urgency=high * Team upload * Fix compilation with camlzip >= 1.08 -- Stéphane Glondu <email address hidden> Wed, 31 Jul 2019 11:08:36 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Very Urgent
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_2.0.0-4.dsc | 1.9 KiB | 1d70b21b5a9e3090f4f67ca9eb22c6c41c4a985bb7269bd96947ad7023f4d998 |
alt-ergo_2.0.0.orig.tar.gz | 345.2 KiB | bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b |
alt-ergo_2.0.0-4.debian.tar.xz | 6.8 KiB | a44a2e5fb4f99711da5de54e5b1d4f589c362d283acfca53aec1748702724aa9 |
Available diffs
- diff from 2.0.0-3 to 2.0.0-4 (1.4 KiB)
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 eoan.
No description available for alt-ergo-dbgsym in ubuntu eoan.