Accepted hol-light 20230128-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted hol-light 20230128-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 07 Sep 2023 02:36:22 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: hol-light_20230128-2_source.changes
- Debian-source: hol-light
- Debian-suite: unstable
- Debian-version: 20230128-2
- 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=SgNKrqf7kVbMiFvbGe6oUivdYdJsD2EqKH852ktVclA=; b=psVe4eW6gITR64z/tFEtTK3+1U mamTubagVQdNXHNFUpVKyDLi/t9a1uDNFBWBO4eF6KNnIW04a7K0UBQgKg/Kxq5oTOB13/8zXTeGN pdJwXtgp9HTFD5lUEswhzI819Pp/XBBGYgo6vepqqGteedvGz9cmVC2M1SXlOHqLzjacA1w3+j+hj fkQC7BfkBPik5YfAX9V4hvHql0LyXe/x/6IUQvotrj+PI7bwFuOkpkCcVNnxRpem6bbZKn7XjX3VC Kr+/XLTQnP/IOtVd9pYpi5U+Ael12YAKqOM9FZ/7SQZa3Y6Gud/SKllNbVfOUNp9ccAdT+EOHqov+ evDqiPJQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qe4sY-003ltl-Ia@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 07 Sep 2023 03:44:32 +0200
Source: hol-light
Architecture: source
Version: 20230128-2
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 (20230128-2) unstable; urgency=medium
.
* Team upload
* Add support for camlp5 8.02
* Bump Standards-Version to 4.6.2
Checksums-Sha1:
ee12616e32ccb8a2a4e691e52827c2745cb456a1 1833 hol-light_20230128-2.dsc
880bcba83fa16d103b4a2cb3df723db36fb3228a 32920 hol-light_20230128-2.debian.tar.xz
Checksums-Sha256:
3659220d62cc321b4a487db426a09e6a1a507bc0e1b3603245c26821dbeb8905 1833 hol-light_20230128-2.dsc
23a4239d868163a313ac22825d974460ef1dcf3a141b8936d9b3a3cb520b16dc 32920 hol-light_20230128-2.debian.tar.xz
Files:
b8904d79da9d5c45b3e6ae34f5407980 1833 math optional hol-light_20230128-2.dsc
513b1db269901ff7325e732a54a8cca8 32920 math optional hol-light_20230128-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmT5LgESHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBpm0H/j7hUr296fx+pQAK8dWwA4C/xvF8gaVC
1Q2S/hJscnMszWtw/ctt95RlVp8R+a+FuztgfyPSAsSsjfowCj15oPk4+WNuPEmz
nVOG1fsZis6Tc79mO27w+0lkJ5M+4pGa3Rz/1AqSingoH8DgTfBVtudqFY7VPyjj
unUUIPFN0AbNrHQ2u1QyQXSXK12bOWaJeHZtUFiJPySD66yUqYlgMiwRj/2q+a9c
W0PBq+yiaPLmvSTftbGquXD2EVjAl9HIgWIdD+Z6imvW0zMhdcBua0qpdLLJnmJA
t9uInQlvWUs1Qphe4IT0JXKSYLOsGqRW7AlC8NbMnwYyk4T4t045hUA=
=bocs
-----END PGP SIGNATURE-----