Ubuntu
prooftree package

prooftree 0.13-1build3 source package in Ubuntu

Changelog

prooftree (0.13-1build3) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:23:53 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe misc

Downloads

File Size SHA-256 Checksum
prooftree_0.13.orig.tar.gz 110.5 KiB b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c
prooftree_0.13-1build3.debian.tar.xz 2.5 KiB 8fcca3cc366bbc683ff83d8635a7b1642facfe12cea3e85cc25894677ecace6d
prooftree_0.13-1build3.dsc 2.0 KiB d89ed4d20272644b25628f30a4d515a46ac735fafc02fda259b388867e9bc128

Available diffs

View changes file

Binary packages built by this source

prooftree: No summary available for prooftree in ubuntu cosmic.

No description available for prooftree in ubuntu cosmic.

prooftree-dbgsym: No summary available for prooftree-dbgsym in ubuntu eoan.

No description available for prooftree-dbgsym in ubuntu eoan.