Ubuntu
why package

why 2.36-2 source package in Ubuntu

Changelog

why (2.36-2) unstable; urgency=medium

  * dh invocation: use --no-parallel to fix FTBFS issues
  * jessie manpage: fix synopsis

 -- Ralf Treinen <email address hidden>  Wed, 12 Oct 2016 21:33:30 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
why_2.36-2.dsc 2.3 KiB 5f6d1492001ca6d1a0d72599c17f00af0dddb9a2eabb92d96caebd858688a617
why_2.36.orig.tar.gz 1.7 MiB 7c1dfad6a83844353dcc47aef83de79cdb358e2e27cc04271e68e8e046d329b7
why_2.36-2.debian.tar.xz 11.1 KiB fd6c6be5ba5a8e841c524f4857f755d0d35daf0360ae736e1b64b9da6e592078

No changes file available.

Binary packages built by this source

libwhy-coq: No summary available for libwhy-coq in ubuntu zesty.

No description available for libwhy-coq in ubuntu zesty.

why: No summary available for why in ubuntu zesty.

No description available for why in ubuntu zesty.

why-dbgsym: No summary available for why-dbgsym in ubuntu zesty.

No description available for why-dbgsym in ubuntu zesty.