hol-light 20131026-1build4 source package in Ubuntu
Changelog
hol-light (20131026-1build4) yakkety; urgency=medium * No-change rebuild against camlp5-ixut4 -- Steve Langasek <email address hidden> Sat, 11 Jun 2016 20:13:01 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Yakkety
- 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_20131026.orig.tar.bz2 | 3.1 MiB | 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 |
| hol-light_20131026-1build4.debian.tar.xz | 8.1 KiB | e8e0a4196bcde4eef18f6d074aae22d8fa9bb0d6fe049afb6df366f56d922015 |
| hol-light_20131026-1build4.dsc | 2.1 KiB | a2906f3e8ce8cb99013dc81adb536cfc9fee36e334d07fa022cc12af20f58516 |
Available diffs
- diff from 20131026-1build2 to 20131026-1build4 (584 bytes)
- diff from 20131026-1build3 to 20131026-1build4 (533 bytes)
Binary packages built by this source
- hol-light: No summary available for hol-light in ubuntu zesty.
No description available for hol-light in ubuntu zesty.
