alt-ergo 2.4.1-3 source package in Ubuntu
Changelog
alt-ergo (2.4.1-3) unstable; urgency=medium * Support cmdliner 1.1.1 using upstream patch. -- Julien Puydt <email address hidden> Wed, 29 Jun 2022 11:31:51 +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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_2.4.1-3.dsc | 2.2 KiB | 495fba2283c4a1629ad4e4fb6fa0557518f188ed7449a6b38c1c490110571283 |
alt-ergo_2.4.1.orig.tar.gz | 2.7 MiB | ea107a30d563c969b7aa73ea556710cae9e5be9b05d12100a2665f14803eb45a |
alt-ergo_2.4.1-3.debian.tar.xz | 7.7 KiB | 91512f31596784a5817c744aaa059b5ef7fc3e4bb3ea4e0d0941d87d75e80298 |
Available diffs
- diff from 2.4.1-2 to 2.4.1-3 (1.3 KiB)
No changes file available.
Binary packages built by this source
- alt-ergo: No summary available for alt-ergo in ubuntu kinetic.
No description available for alt-ergo in ubuntu kinetic.
- alt-ergo-dbgsym: No summary available for alt-ergo-dbgsym in ubuntu kinetic.
No description available for alt-ergo-dbgsym in ubuntu kinetic.