-----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-----
