alt-ergo 2.0.0-6 source package in Ubuntu
Changelog
alt-ergo (2.0.0-6) unstable; urgency=medium * Build without graphical interface, due to the removal of gtksourceview2: - drop build-dependencies liblablgtk2-gnome-ocaml-dev and liblablgtksourceview2-ocaml-dev - drop building and installing the gui from debian/rules - drop mention of the gui from the package description - announce this in debian/NEWS - drop override of dh_auto_{build,install} which are no longer needed since we do not have to specify gui any more * Drop override of dh_dwz which is no longer needed. * Standards-Version 4.5.0 (no change) -- Ralf Treinen <email address hidden> Wed, 15 Apr 2020 09:56:28 +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-6.dsc | 2.1 KiB | 9383748a82b9f74f12cdfa8659433061fb36ce8bb8c970ea8bec09e6982d3978 |
alt-ergo_2.0.0.orig.tar.gz | 345.2 KiB | bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b |
alt-ergo_2.0.0-6.debian.tar.xz | 6.9 KiB | e100772ab298c1d9e3f2bad4844a2e8fcfc038628ad0082a770aef009c224319 |
Available diffs
No changes file available.
Binary packages built by this source
- alt-ergo: No summary available for alt-ergo in ubuntu groovy.
No description available for alt-ergo in ubuntu groovy.
- alt-ergo-dbgsym: No summary available for alt-ergo-dbgsym in ubuntu groovy.
No description available for alt-ergo-dbgsym in ubuntu groovy.