Accepted coq-deriving 0.1.0-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-deriving 0.1.0-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 18 Jul 2022 16:00:09 +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=/n3fzXgUkCmPYt5xglKPiC8HFmn/1tM7EHgGNGW4QLs=; b=jWbgd8FuBs2jnesIdV3spBYT31 H/bTQMv+xKRcZ5LOhStyipUyv6mdMM6UVFwOUeLG3Z6WR7cD81WHZ71pDhuv2ZS9Ef01KPysl5d6l 7FRcNF7AK2pPcE6w7M6HAXJnb4iZFSzm1dO8TVPUSg13Gm2XZ54RIaIqNaXoPJc9c1q/sV0Y92v8m jKH0JdufsVJGoAgslfgHPLB+TxFtKuXQQ3zRabdVzJujAVLmJIoxF5h14cmBCEsaa50GQ836LmwwP xMwZsjEKTbuf3D0TGm807Fu93LqG6skno6PBowd1Wdscv1KCsNLVYOIWeUGrTwAeQDRu0JeCwPXBQ VLxnaLWg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oDTAH-000BDX-5t@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 16 Jul 2022 09:42:20 +0200
Source: coq-deriving
Binary: libcoq-deriving
Architecture: source amd64
Version: 0.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-deriving - deriving MathComp classes from inductive types
Closes: 1015010
Changes:
coq-deriving (0.1.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1015010)
Checksums-Sha1:
82de0e05ccd5cec1952dd33bc8439ec42cbc3796 2108 coq-deriving_0.1.0-1.dsc
561b7d46deaab0b6965a7899fa0fe7fac09ff005 29290 coq-deriving_0.1.0.orig.tar.gz
32d1521cfca1bb568db75259db333c3cbd485f6b 1908 coq-deriving_0.1.0-1.debian.tar.xz
5f0ce50f70708543a83f2a7a7923d8626538b27f 7160 coq-deriving_0.1.0-1_amd64.buildinfo
cb4ecf7f9655d1f3c9d76b9cc8d6186cf2795a53 428560 libcoq-deriving_0.1.0-1_amd64.deb
Checksums-Sha256:
eb422d50991740819ef8e53772321bf17824dcdfbb43d82af88faeb62fa46b74 2108 coq-deriving_0.1.0-1.dsc
ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43 29290 coq-deriving_0.1.0.orig.tar.gz
f61b8b764a9d6c78ec6ca8b469f87f543f9a7dcfd212a8da8bcbafb2cca19da0 1908 coq-deriving_0.1.0-1.debian.tar.xz
ba1c5c13181881a477f62a792793f6657480d3fb3dc324f027105f2fe01c5ba6 7160 coq-deriving_0.1.0-1_amd64.buildinfo
86147944dc555359b315cb554d915b9847d95923ed9635db4984a9bac9e57bbc 428560 libcoq-deriving_0.1.0-1_amd64.deb
Files:
bfce417f92c4d8f01d092a178c556638 2108 ocaml optional coq-deriving_0.1.0-1.dsc
22562ac4efb223977bec66929d22e58a 29290 ocaml optional coq-deriving_0.1.0.orig.tar.gz
b74c3317818a630fb1ac0e8c4ad1b862 1908 ocaml optional coq-deriving_0.1.0-1.debian.tar.xz
37b440c56059ab4c82d50d0ce6ea1181 7160 ocaml optional coq-deriving_0.1.0-1_amd64.buildinfo
01349bf1a1595f79d46b0c813d1ee47c 428560 ocaml optional libcoq-deriving_0.1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSbIgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJLEQAJcsCQqQTgjqbRkYFAzD0Ju13wnb1Z47
aeaHQdb2Sas6dK7hqeFSdPcf5iBqV47+xckHGEIQp6LVxDdxI4gj1CjMbMuQDJL0
XgQzTRNuZbEB40jX/w7LoMcijLHTFkjQ2Gl1Et9I6JSJbbyK6WOBRKmmSdjrVshn
PnrXhsoYCRnEjOroOtpBdHliJeY/nwjGrEliw8vp3VTRlhp7vjG1209pfCY22jRJ
Xq/C2hSXhLuRL4ZSkQYxnXPHQvpSVM3t9uDEf+QyQco92LjDxZGowd7QrWPo0ha5
d4q2hPb0RYSQO3QDpH5JlJE5VLbHqbWzk5MPeXfVwUdwNH5XaJyxssg7C737p61N
fMD+fI7mUxlFaXZBGyh/KeXZ2p+TSQFp71i9MjYCr3QrWkK7NUeGhJeKy1WTH68L
4skl3voFl1RwOp+YpXeXzFu7CbDZUncfhI/BJRagxfFszI8kfJ6cohgI/M8dKjIL
pxR/Jj70BMob93/Qln1vds6k5ukas4wIjHOdkSOxYQ4EbzMHokbwLw6LMfHzIPUD
b230Q7lLDdhgLhiYVL21eh11MjqhcvRZN33Db0Tju6Nf27kfO+c1lNkzeG6Y0DvN
dJnYR90Rvv0Wa5bM5ehCVtylktZOGrAcq12E9qAYOabeDoTj/xrGIRIAaULNeiVc
PKPx8eRlgSyb
=bn4M
-----END PGP SIGNATURE-----