Accepted ssreflect 1.14.0-12 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted ssreflect 1.14.0-12 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 12 Jun 2022 12:49:49 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=I8QMkJe/TxbQCWOp4yCSTxH0sM8/Gyamo36uf/3O0Fw=; b=HfOszMdkSpgawshrySkqV8IKLb vs38PydfrEq+LFdJgXU54unHZQgY2M7GOquLhvoi2KqlJy5oBxvWMoxDJcBbrxwEo+CfAKY6QijfT kJsvY8T5ObitXINL4mYSKQ2FWlWzK7wrUMmuHCB11SWWwUtmXD1ucPTov0EdpnLoTAhqKJte9d5bV 3Kjv+fu1I53u5ZGlkBlhkrfeHs9hkZXphzKav/hqDmR+SDskCZNbfQD8Aur7oEgNJp3V6fqXw2KhC 24xEI6AlWU2t2BaZCHEsdkGjWrrCilXYNZMpeHJsz0M5AnT9SYYGgD6fpH8hGboRZDfzPDuoEexln ipL3y9FA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0N2L-00015h-Lv@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Jun 2022 14:00:32 +0200
Source: ssreflect
Architecture: source
Version: 1.14.0-12
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
ssreflect (1.14.0-12) unstable; urgency=medium
.
* Use dh-coq.
Checksums-Sha1:
f09d0910421d25183a59ae6fc2d40a3e6800af9e 2607 ssreflect_1.14.0-12.dsc
8e82ff6377551cd1c3c35758eeff925bd91cb0fc 12480 ssreflect_1.14.0-12.debian.tar.xz
672e8b0a3224f98af97700c56720876b7ed2b500 6549 ssreflect_1.14.0-12_source.buildinfo
Checksums-Sha256:
15b86233aa8777cc682e517b07fb02ceb38d1734a11450d0062606c40db73730 2607 ssreflect_1.14.0-12.dsc
a468d16ba4cfb61310d1ebd650f7fc64b401df225651a71c316e2ebec36d13a3 12480 ssreflect_1.14.0-12.debian.tar.xz
cdcff892e2436a59848a56a7d634490e09bdfca68e2892a91c2e66068784a6d0 6549 ssreflect_1.14.0-12_source.buildinfo
Files:
2ccbc3fcd1fe0f6ab1b0883f21625dd1 2607 math optional ssreflect_1.14.0-12.dsc
46162f40f69cad29f267a694a94402d0 12480 math optional ssreflect_1.14.0-12.debian.tar.xz
4f6378d822cee733fd46f6b6cbab0647 6549 math optional ssreflect_1.14.0-12_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl1X4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcpAP/3HvZmX5PeUdc04rjumThWgr+dcwogof
RZCUi0K7aHq/6YXMYgk8U5GfMi6h7BMD2Ej+UjjG1TLVPoJV/Lc0KAJA+E0fa4cP
Odig4u8E3gRIWn0jaScYVLF4GSypVX+oqinTxUw1q4OThS59Rc6u9towEUtNuFeb
ukfzbkkf394WuOS0TWvz0roRfxocwIPLijewJR9pVyPjE1Fgunq1ZrZdmbc3xO9H
DujrH5g3kTSeerLaQcEf48kI//L2JKWAh1qbFasvKWtUY7ZoDSi97/XMAX7FexWX
gPN3ElCjtNAi4s2Mj/hgDtvw5eWbSCsxP6B8akfGHQW+1rqSdOW6n6R9aU8cCC2Z
629bWtoiSWFj9emrVQbUTkYM8D4ooRPFrOLZKjPQ2c/Vxij+ICavZj1B98Rg81rb
i3uZ71uZbyyqdxSDcBX7zPaWdw/NfgQZEo3+6m8tkFcaC7UD+8aN/JqNanlHwzDe
CN6THE5lDad+D1+8+DKt5EMCfAebmc6Heb7KOxMh58JD+Be9+vgSYziFagEzyY2x
A1kEDxbkXPOWn29nxlsM6B6Zs4IE+ofRdMwYGcIwlIa4Ezhzey1CGkD4VMGN02df
x5wSSs3xRNrraA40KiVfLFEkaiXAivhTVqqRwKmRuXkea2IwF1ihkGXhDk7Ku7th
IC42M5ePuTUQ
=gLGC
-----END PGP SIGNATURE-----