hol-light 20170706-0ubuntu3 source package in Ubuntu
Changelog
hol-light (20170706-0ubuntu3) artful; urgency=medium * debian/patches/camlp5-7.patch: Copy from Debian to fix FTBFS. * debian/control: Update build dependency on camlp5 per Debian. -- Logan Rosen <email address hidden> Wed, 02 Aug 2017 22:36:02 -0700
Upload details
- Uploaded by:
- Logan Rosen
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
hol-light_20170706.orig.tar.gz | 5.9 MiB | 3c5284b6272600673a0dd4edb74febf0413fb6b02fee53dd73d38c4a039d5175 |
hol-light_20170706-0ubuntu3.debian.tar.xz | 9.4 KiB | 7ef86a561154dfbadf10fb5c11358e39490dd314b74a22aac8045b4ed853364d |
hol-light_20170706-0ubuntu3.dsc | 1.8 KiB | 13a757e1bcf10d2ae1b12eef3e2752a4b605330e7d20ad69a328b16470216a02 |
Available diffs
- diff from 20170706-0ubuntu1 to 20170706-0ubuntu3 (983 bytes)
- diff from 20170706-0ubuntu2 to 20170706-0ubuntu3 (920 bytes)
Binary packages built by this source
- hol-light: No summary available for hol-light in ubuntu artful.
No description available for hol-light in ubuntu artful.