alt-ergo 2.4.1-4 source package in Ubuntu
Changelog
alt-ergo (2.4.1-4) unstable; urgency=medium * Add conditional patch for non-native architectures. (Closes: #1013362) -- Julien Puydt <email address hidden> Mon, 04 Jul 2022 09:30:03 +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-4.dsc | 2.2 KiB | 181938c414e1768a4cb8ce3414bf8a93be7d0a7a5933d15a2bd414cf50eee7a3 |
alt-ergo_2.4.1.orig.tar.gz | 2.7 MiB | ea107a30d563c969b7aa73ea556710cae9e5be9b05d12100a2665f14803eb45a |
alt-ergo_2.4.1-4.debian.tar.xz | 7.9 KiB | ef711d0e7ce3452433b7cb5c49bddeb902e4a483d2ade2246c608830761f78a8 |
Available diffs
- diff from 2.4.1-3 to 2.4.1-4 (692 bytes)
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.