Gianfranco Costamagna pushed to branch master at Debian OCaml Maintainers /
hol-light
Commits:
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
- - - - -
8 changed files:
- + .gitattributes
- .gitignore
- 100/cayley_hamilton.ml
- Boyer_Moore/README
- CHANGES
- + Examples/digit_serial_methods.ml
- Examples/lucas_lehmer.ml
- + Examples/padics.ml
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/hol-light/compare/1c4af310a9408011df6fcd3475d4f998e47d4196...9bc084fd317d07d45dd16b7ca44fc7daf1196bb8
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/hol-light/compare/1c4af310a9408011df6fcd3475d4f998e47d4196...9bc084fd317d07d45dd16b7ca44fc7daf1196bb8
You're receiving this email because of your account on salsa.debian.org.
