hol-light 20170706-0ubuntu4 source package in Ubuntu
Changelog
hol-light (20170706-0ubuntu4) bionic; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Fri, 27 Oct 2017 21:57:06 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Bionic
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
hol-light_20170706.orig.tar.gz | 5.9 MiB | 3c5284b6272600673a0dd4edb74febf0413fb6b02fee53dd73d38c4a039d5175 |
hol-light_20170706-0ubuntu4.debian.tar.xz | 9.5 KiB | c535d398e6cc5bab57279a7c62017d476026e2c4a03f85bd9f21bddc37835b6f |
hol-light_20170706-0ubuntu4.dsc | 2.1 KiB | d622f7896645cf93e65f8ea0ae0098834dcdd9cd7fde2733f8def1b8f06ff836 |
Available diffs
- diff from 20170706-0ubuntu3 to 20170706-0ubuntu4 (368 bytes)
Binary packages built by this source
- hol-light: No summary available for hol-light in ubuntu eoan.
No description available for hol-light in ubuntu eoan.