alt-ergo 2.0.0-5 source package in Ubuntu
Changelog
alt-ergo (2.0.0-5) unstable; urgency=medium * Add libnum-ocaml-dev to Build-Depends -- Stéphane Glondu <email address hidden> Sun, 01 Sep 2019 08:18:21 +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.0.0-5.dsc | 2.0 KiB | 37519c0545f6b6f2398953c1f15c85f3fbdec2bb6714fdf3597b9a870d2980f2 |
| alt-ergo_2.0.0.orig.tar.gz | 345.2 KiB | bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b |
| alt-ergo_2.0.0-5.debian.tar.xz | 6.8 KiB | efefa0597a2e3c31884226d282e9f8f3617ecbd00f59c05160c268847233b112 |
Available diffs
- diff from 2.0.0-4 to 2.0.0-5 (399 bytes)
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.
