Ubuntu
hol-light package

hol-light 20131026-1build3 source package in Ubuntu

Changelog

hol-light (20131026-1build3) xenial; urgency=medium

  * Rebuild for new OCaml ABIs.

 -- Matthias Klose <email address hidden>  Fri, 12 Feb 2016 11:56:02 +0000

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Xenial
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
hol-light_20131026.orig.tar.bz2 3.1 MiB 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888
hol-light_20131026-1build3.debian.tar.xz 8.0 KiB cd5cd54c162f7fcc094ac2dedd7b09e954400621da02c0e3f0698e268733d023
hol-light_20131026-1build3.dsc 2.0 KiB 321fb423fbd883989e04f9a44d85fa117e9da49b04c0325b45fc92f19c989bc6

View changes file

Binary packages built by this source

hol-light: No summary available for hol-light in ubuntu yakkety.

No description available for hol-light in ubuntu yakkety.