alt-ergo 2.0.0-7build1 source package in Ubuntu
Changelog
alt-ergo (2.0.0-7build1) hirsute; urgency=medium * No-change rebuild for ocaml abi changes. -- Matthias Klose <email address hidden> Mon, 02 Nov 2020 14:46:51 +0100
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Hirsute
- 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.orig.tar.gz | 345.2 KiB | bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b |
alt-ergo_2.0.0-7build1.debian.tar.xz | 7.0 KiB | e75c48e6a8dfaf745fa40902d961af60accfea6156a99149d8fe74889447fa75 |
alt-ergo_2.0.0-7build1.dsc | 2.1 KiB | 3be1a4f5bec02f32df60e965bee3364d28016808a05442639cf4d2e1555bc9bd |
Available diffs
- diff from 2.0.0-7 (in Debian) to 2.0.0-7build1 (303 bytes)
Binary packages built by this source
- alt-ergo: No summary available for alt-ergo in ubuntu hirsute.
No description available for alt-ergo in ubuntu hirsute.
- alt-ergo-dbgsym: No summary available for alt-ergo-dbgsym in ubuntu hirsute.
No description available for alt-ergo-dbgsym in ubuntu hirsute.