-
e36a6cdd
by Gianfranco Costamagna
at 2019-07-29T11:27:00Z
New upstream version 20190729
-
756b57d0
by Gianfranco Costamagna
at 2019-07-29T11:27:24Z
Update upstream source from tag 'upstream/20190729'
Update to upstream version '20190729'
with Debian dir a19e3b8e9726ed5bdb290da9792e94a9ef7c25d6
-
8b41c641
by Gianfranco Costamagna
at 2019-07-29T11:29:04Z
Import Debian changes 20190729-0.1
hol-light (20190729-0.1) unstable; urgency=medium
* Non-maintainer upload
* New upstream snapshot (Closes: #876533)
- Patch for new ocaml and camlp5
- tweak rules file to stop copy of the new ml file
This is already done in upstream build system.
- do not install .pc file in the system (Closes: #878615)
* Update copyright file
* Update copyright file http in https mode
-
f9715538
by Gianfranco Costamagna
at 2019-07-29T12:48:30Z
Fix lintian warning about trailing whitespace and not honouring nocheck test DH parameter
-
362e7a2e
by Gianfranco Costamagna
at 2019-07-29T13:00:35Z
update changelog with missing changelog entry
-
121d0f09
by Gianfranco Costamagna
at 2019-07-29T13:00:35Z
change priority to optional
bump compat level to 10 (cherry-pick)
add python runtime dependency (cherry-pick)
update VCS fields to new location
remove trailing newlines
-
8fe086eb
by Gianfranco Costamagna
at 2019-07-29T13:00:35Z
Update copyright file for new release
-
6150a2a0
by Gianfranco Costamagna
at 2019-07-29T13:00:35Z
cherry-pick compat level bump
-
0e2d9e4d
by Gianfranco Costamagna
at 2019-07-29T13:00:35Z
cherry-pick readme.debian change
-
8e60c9fe
by Gianfranco Costamagna
at 2019-07-29T13:00:35Z
Update std-version to 4.4.0, no changes required
-
9bc084fd
by Gianfranco Costamagna
at 2019-07-29T13:00:35Z
Update changelog, upload to unstable