alt-ergo 2.0.0-2 source package in Debian

Changelog

alt-ergo (2.0.0-2) unstable; urgency=medium

  * Install plugins only on architectures with dynamic linking

 -- Ralf Treinen <email address hidden>  Wed, 13 Feb 2019 22:40:56 +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

Builds

Downloads

File Size SHA-256 Checksum
alt-ergo_2.0.0-2.dsc 2.2 KiB 807adea4f9658e62946b1d1c00961d83b00fad7643b7aceb2afd2d791b7a6929
alt-ergo_2.0.0.orig.tar.gz 345.2 KiB bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b
alt-ergo_2.0.0-2.debian.tar.xz 6.4 KiB b81e3fa5c0ede2ac411c695ca0eab87f13715e52006eecb85fd60c8d2498f787

Available diffs

No changes file available.

Binary packages built by this source