Accepted hol-light 20231021-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted hol-light 20231021-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 23 Oct 2023 13:50:03 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: hol-light_20231021-1_source.changes
- Debian-source: hol-light
- Debian-suite: unstable
- Debian-version: 20231021-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=iHlLyZoMdjgrwhA6dBiDyiDZur89640Hu7Oz2CC7dS4=; b=kijuSN2A+CBUAM/YLblbLo1RaZ eJsVMGd3zmwvO67Hrl74LgXwfRfNDMjfQk061AvSLrvAgY0Yh3UFnJjPnKzPULNMq8zyeiG6p7IqW uveQJDbdRs7DHC4GTVFoxkMWQMUGK13WLY46ZVBsJVReCefnoQkWXpl77fy7tDRh9Iyg1ydWVAvjg 5G0M8+YwTwQKCI42G0cmvGJ8KKgXyZ79CTDUck/9LRWAFLwYLui5Jp9uKqOS7fijuUBCf+bCOQHbS hiLIF/NXnn62jzcVuD3LBgHdtu2eX2ELK8u2/2ALqqx9IoSssScNcyWFKvo4g+jsshRGjPgloS0t8 nurIIywA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1quvJj-009MeG-O5@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 23 Oct 2023 15:10:13 +0200
Source: hol-light
Architecture: source
Version: 20231021-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
hol-light (20231021-1) unstable; urgency=medium
.
* Team upload
* New upstream snapshot
Checksums-Sha1:
77f7fae330bd2912dc0311dc26f4987b5ebf0b9a 1833 hol-light_20231021-1.dsc
d4005d75d8028503f8c06f84fa71762ab092f8f4 5043576 hol-light_20231021.orig.tar.xz
2a0be57d8e169647701e0eba0e6a1df491cfb3b4 10872 hol-light_20231021-1.debian.tar.xz
Checksums-Sha256:
0ed43284c83c6e4961998f3e9fb21dd24bc55c6900f468a910cbe1e7d148fb36 1833 hol-light_20231021-1.dsc
b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c 5043576 hol-light_20231021.orig.tar.xz
ea52897bfc168969d78f08f65134444ee8458f6023b614683e31a457864aae13 10872 hol-light_20231021-1.debian.tar.xz
Files:
0fc511c6fa44cfbf9544202d6a92080a 1833 math optional hol-light_20231021-1.dsc
c469439d4b3e430d4142d4baa03cc59a 5043576 math optional hol-light_20231021.orig.tar.xz
f18f63afba79f4fd4b9c8beadb867221 10872 math optional hol-light_20231021-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmU2dYgSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBlKgH/39qcFnbI6blkxvK7Pb+oJhAt4TeeXmk
0B3Eog8TPElyWdmEwDoKfiHNgr3utUMEAtEvs+B4UBkH0HnyMBOlX7IjV18oaw8q
tI1cqFCP8+ylNMipWkMzYJcuuA28zzuWdAbkdktTvcBXeck7Vud643Jjr9wpkoYP
RM2sJ3JhSRJR4b5dBdO6sGVYBo5b3jJS5AXIcySflUs//rsyvfQh/eHEhe5tvWQ6
+uhMLwYPE+/Y4VqPtsbVdQEBNb8heMlYhT6kk+bRCRm6k3VHnSni3WpnMbnvzi0T
H+AJok/mUoCieu11Nc0UzMViqml09nCf54K5P79uXMtudAwMSm1qCfw=
=MJ64
-----END PGP SIGNATURE-----