Accepted hol-light 20230128-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted hol-light 20230128-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 31 Jan 2023 11:54:53 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: hol-light_20230128-1_source.changes
- Debian-source: hol-light
- Debian-suite: unstable
- Debian-version: 20230128-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=ZrHFQTveyE3tX42hd4jGK+Fb2aEuVdoXcs5ThcooXoQ=; b=g9qJsS35PLWdpasxiE/JoF27T6 VdtLBfNfjVn8EBc/vAturIrHjReZp/kz1u4yW0JBkGIDevt51q0AZzoPD71DQvFbpF1E7fdqHUY9H WFlDLlZlzZQoJkaoygOyzpRZLCiBvmgL+TfD/s2BP4RZFpGm030Z7dpM3bYAW0gwbR2inx9nxwRbK vlZIowJdJTHNT5m2qoro1joeFf4riGspIbQ7ax+kxiADp9mPdDTjt2EWGHBK4sb4AsacZdNz0kD/O yyvFyVO9zvtIEy1N9PwciA+o5TjZI9y/A1aDBFqnxiT+hy/i2la/F0qg+ZWVXOume7IE8K/w5kzaa mJ6aPoWA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pMpDx-001WB3-TU@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 31 Jan 2023 12:10:03 +0100
Source: hol-light
Architecture: source
Version: 20230128-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1002983
Changes:
hol-light (20230128-1) unstable; urgency=medium
.
[ Stéphane Glondu ]
* Team upload
* New upstream snapshot (Closes: #1002983)
.
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Use secure URI in Homepage field.
* Bump debhelper from old 12 to 13.
+ Drop check for DEB_BUILD_OPTIONS containing "nocheck", since debhelper now
does this.
+ debian/rules: Drop --fail-missing argument to dh_missing, which is now the
default.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
* Update standards version to 4.6.0, no changes needed.
Checksums-Sha1:
2f78fe0ed6a389fa6e9588922c926ca1445f9c45 1833 hol-light_20230128-1.dsc
e9003be666264dc341f25208847288a8cfe7153c 7460915 hol-light_20230128.orig.tar.gz
7ecb42cd8835a8cd32a4d4fd4c9b57b122952d92 10756 hol-light_20230128-1.debian.tar.xz
Checksums-Sha256:
0cb9358d0d06fcf76811fb72b193f450c77f49bbb889c734b435492c1c01998a 1833 hol-light_20230128-1.dsc
fd392c124679f45560837a7dbbc7d75e691a550bbca7bc90478c0d9876e01d7c 7460915 hol-light_20230128.orig.tar.gz
7d2afacb18ef182c97957ce5a8d5c6d4c502c6f88505d130904c60083e44409c 10756 hol-light_20230128-1.debian.tar.xz
Files:
47958fa709374018ea1ea4d253693bcc 1833 math optional hol-light_20230128-1.dsc
c1530f29b8d5f0b7e8812c7cc623f6ed 7460915 math optional hol-light_20230128.orig.tar.gz
9f9309c94d21a83048e25cfd7c046603 10756 math optional hol-light_20230128-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmPY+IoSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB/6gIAJtJA2MqhvRURxqxwOU/MssRl/SSBy8t
ZGNdHpGYdtefYoacb+pMz0NAPf/aAuZHtc/qVJ/DIUcPjkN5lQ+aoU8AD47PD8WT
iE2PpWCHryVYxgPYuCHY1CVzsKMgjB4Y9F+JkDyp8h70IFiTkscIVwTkhpBlWXma
MGZirWdQrGrL0ubD2lzX2hWZAf279vPCUxTsH0bPWO0DxqZTevLJDUQYPc7vLx2Z
xq5hITEnqzhTDAW0oy5R4X6sYMlTKFNHOK99V5eP12JMatC97pliSPlL7orAf0Al
+Qg9LT22TwxHMir2maFsOXCfWjg4uUGymJmKiXX/SiiPeOEp8uA6bVw=
=t91r
-----END PGP SIGNATURE-----