-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Bo YU <tsu.yubo@gmail.com> 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-----
