Ubuntu
alt-ergo package

alt-ergo 1.30+dfsg1-2 source package in Ubuntu

Changelog

alt-ergo (1.30+dfsg1-2) unstable; urgency=medium

  * Since lablgtk2 does no longer build liblablgtksourceview2-ocaml-dev:
    - d/rules: stop building gui
    - drop build-dependencies on liblablgtk2-gnome-ocaml-dev and
      liblablgtksourceview2-ocaml-dev
    - drop mention of gui from the package description
    - added d/NEWS entry about this
  * Vcs-{Browser,Git}: switch to salsa
  * d/watch: minor fix
  * Standards-Version 4.2.1 (no change)

 -- Ralf Treinen <email address hidden>  Tue, 13 Nov 2018 20:43:44 +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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
alt-ergo_1.30+dfsg1-2.dsc 2.1 KiB 2e9e5415730067577aad51c4f095452c91d06e84d9a0724a22bd5ab3f7126b9e
alt-ergo_1.30+dfsg1.orig.tar.gz 258.0 KiB a9846a2dc56bfc89bea99105c277d2f80cfee1ad861df2e92728ec6379465b51
alt-ergo_1.30+dfsg1-2.debian.tar.xz 14.5 KiB 29231440e27300b216946669d5be9e783dfe78fba0cab4f6785114efa8fcda0c

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: No summary available for alt-ergo-dbgsym in ubuntu eoan.

No description available for alt-ergo-dbgsym in ubuntu eoan.