Accepted coq-deriving 0.1.0-1 (source amd64) into unstable, unstable
-----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-----
Reply to: