hol-light 20170109-1 source package in Ubuntu
Changelog
hol-light (20170109-1) unstable; urgency=low
[ Mehdi Dogguy ]
* Update watch file
[ Hendrik Tews ]
* Imported Upstream version 20170109
with git hash f468686c09996f77ccfa98c30ba98f8db2c8cfd9
* update copyright, patches, README.Debian
* standards-version 3.9.8; update Vcs fields
* disable building the Mizarlight syntax extension (fails upstream with
OCaml 4.02 - already reported to John Harrison)
* clear exec bit fix on RichterHilbertAxiomGeometry/Topology.ml (fixed
upstream)
* add exec bit fixes for Help/HYP_TAC.doc,
RichterHilbertAxiomGeometry/TarskiAxiomGeometry_read.ml and
Multivariate/cvectors.ml
* don't install jar files in Proofrecording/tools
* add patch cd-holtest-parallel to fix current directory in parallel
test
-- Hendrik Tews <email address hidden> Mon, 09 Jan 2017 23:27:28 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| hol-light_20170109-1.dsc | 2.0 KiB | bde3a616e2460a0b63a7ead9c328f9695f33aa51df05898600c9c7ef940a4786 |
| hol-light_20170109.orig.tar.gz | 5.8 MiB | 88f2d949d7a35ed6d9f14642d21dc9ef5765f1d50f400e31d74c6ee70aa8a2ea |
| hol-light_20170109-1.debian.tar.xz | 8.9 KiB | 6f6ef907863c1744de3b9ef2c53091604a27e3a55d8636c5b632502c273d1e8a |
Available diffs
No changes file available.
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.
