alt-ergo 1.30+dfsg1-1 source package in Ubuntu
Changelog
alt-ergo (1.30+dfsg1-1) unstable; urgency=medium * Repack source to exclude the non-free/ directory (closes: #883755). * Patch ocplib-simplex-0.4: patch to compile with version 0.4 of ocplib-simplex-ocaml-dev (closes: #882162). * Standards-Version 4.1.2 (no change) * debian/watch: drop pgpsigurlmangle -- Ralf Treinen <email address hidden> Thu, 21 Dec 2017 20:01:21 +0100
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 | |
---|---|---|---|---|
Bionic | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_1.30+dfsg1-1.dsc | 2.2 KiB | 0a39db8f1b992d51e253320371a04b9d6ed92ac4d18e7fc7966b4f411d1b325b |
alt-ergo_1.30+dfsg1.orig.tar.gz | 258.0 KiB | a9846a2dc56bfc89bea99105c277d2f80cfee1ad861df2e92728ec6379465b51 |
alt-ergo_1.30+dfsg1-1.debian.tar.xz | 14.3 KiB | cebdd6f6e159c4e68e4363de0cc1c72c842b61a8accf76ff1956b6d1a31982b4 |
Available diffs
No changes file available.
Binary packages built by this source
- alt-ergo: No summary available for alt-ergo in ubuntu disco.
No description available for alt-ergo in ubuntu disco.
- alt-ergo-dbgsym: debug symbols for alt-ergo