Ubuntu
hol-light package

hol-light 20120602-1build1 source package in Ubuntu

Changelog

hol-light (20120602-1build1) saucy; urgency=low

  * Rebuild for new OCaml ABIs.
 -- Colin Watson <email address hidden>   Thu, 09 May 2013 14:58:25 +0100

Upload details

Uploaded by:
Colin Watson
Uploaded to:
Saucy
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
hol-light_20120602.orig.tar.gz 3.7 MiB fd333f2f8fe0a82d181e0e8e61b0cc5ec68a622cb55003e6daa9703b74bc5f21
hol-light_20120602-1build1.debian.tar.gz 7.9 KiB 184976c1c0083cbcbf913197887eaec0c5f216148632d76718e069edf0a6b8ed
hol-light_20120602-1build1.dsc 2.1 KiB fb920d949bac40bae6dcbd6c7028c3e4d903baa6bf2618154c9177bdd6cc039a

View changes file

Binary packages built by this source

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

No description available for hol-light in ubuntu saucy.