hol-light 20190729-4build3 source package in Ubuntu
Changelog
hol-light (20190729-4build3) groovy; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Sat, 05 Sep 2020 16:58:43 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Groovy
- 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_20190729.orig.tar.gz | 6.6 MiB | 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a |
hol-light_20190729-4build3.debian.tar.xz | 11.0 KiB | b8339ffbd5844b966e56e58e62d50ce69712d4f2a27b73902e0367065d3d0b07 |
hol-light_20190729-4build3.dsc | 2.1 KiB | 5ee9fd96701e89d518b68056fbe8546f5ad36cddc53ffc947a237c87eeaa5ddb |
Available diffs
- diff from 20190729-4build2 to 20190729-4build3 (338 bytes)
Binary packages built by this source
- hol-light: No summary available for hol-light in ubuntu groovy.
No description available for hol-light in ubuntu groovy.