Ubuntu
alt-ergo package

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 Pocket 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

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.