Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 26 Nov 2024 12:34:41 +0800
Source: hol-light
Architecture: source
Version: 1:3.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Bo YU <
[email protected]>
Closes: 1073882
Changes:
hol-light (1:3.0.0-1) unstable; urgency=medium
.
* Team upload.
* Enable d/watch
- Clear some comments on d/watch
* New upstream version 3.0.0. (Closes: #1073882)
* Refresh d/patches/*
- Drop 0004-Fix-build-with-camlp5-8.03.00.patch
- Drop default-hollight-dir
* Add libzarith-ocaml-dev and libcoq-bignums on B-D.
* Use $(MAKE) to build it.
* No need to install usr/share/hol-light/* explicitly.
* Update d/copyright
* Bump std-ver to 4.7.0
* Add epoch to version number
Checksums-Sha1:
2f5571ef32785dcf8ec91ec40862ff5bb6d24494 1734 hol-light_3.0.0-1.dsc
bac1bc40a8eacb2da5571c9e63674970f31516e9 5364404 hol-light_3.0.0.orig.tar.xz
cab0c740286edc27bace602974fc752600295cb3 10864 hol-light_3.0.0-1.debian.tar.xz Checksums-Sha256:
87b08b9ad2d1020e9e783111128ca26af249c676fff10ae2b822efe84ec11404 1734 hol-light_3.0.0-1.dsc
918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
c1dabde33ff7dd3d9cd0992e464cdae2a16a04326238e2f9c7ee945579f4171c 10864 hol-light_3.0.0-1.debian.tar.xz
Files:
9f9b9854e2fefde6b82dd18bbba26c6c 1734 math optional hol-light_3.0.0-1.dsc
6214301dd5b613f08425b5de17c30ba8 5364404 math optional hol-light_3.0.0.orig.tar.xz
3f7c76095ce22d242e77f207c8641d42 10864 math optional hol-light_3.0.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmdSrgsSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBiesH/RyND5kJLAMeo1gobFqs24KbgPOolZNU 1WoiLyLBKBkktBme1OqhpvlkHxKqjGN5ouD0MyPGzQJzzv/tO6EFxwodPSluobaa 6OhMzB/zMB8a8V/t6IHmoqB0hq/IAPaDzgy6CuHV2s0Gw2znl31w60CIqnlJ28dp n+mCQ30jbSEHRE3rGyN46JEOery677lFVbO9o5dvqdaldM46wvK6WdvTEzKE5/tL ZBHdefdteTCLamS+9S9fLnSrbGQUw3oiJrtWHfUFVHnpt8qRlmifqhI2SMNBIYkc zs5nsOmvVHXx5WE/PfoG/bRSzROdFTl47bZpRu0o7vmM+qRQkGbRBtY=
=ETwp
-----END PGP SIGNATURE-----
--==============p03146702381576460=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ1K4WAAKCRCb9qggYcy5 IXMXAQCFXwOEh7BLMkTY4+XQIVZuhx4qxBtMBbkQWh8Ts2qv0gEAyVJqCqKpLL7H zWetlfwOIzu6xLSzK6mz4zXvLSqYMQs=ksHn
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)