-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: coq-deriving Binary: libcoq-deriving Architecture: any Version: 0.2.0-2build3 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/arthuraa/deriving/ Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-deriving Vcs-Git: https://salsa.debian.org/ocaml-team/coq-deriving.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib Package-List: libcoq-deriving deb ocaml optional arch=any Checksums-Sha1: d74607678bef43a0f8a85038038a099415997827 31391 coq-deriving_0.2.0.orig.tar.gz 3be261dc7d596e7ffa02161376a628ada8cae462 2248 coq-deriving_0.2.0-2build3.debian.tar.xz Checksums-Sha256: b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz e21332d992542c0103465c6996b9c14557e2e2468921b3b98bd7fae15259ae0f 2248 coq-deriving_0.2.0-2build3.debian.tar.xz Files: 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz 286c220c26d5f8dd3e682d2f37aab055 2248 coq-deriving_0.2.0-2build3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeGMACgkQ808JdE6f XdnwZQ//a5r6LVbBbRY1mTSrepgGRpvC8jXY3G7qiBcdXF9tGrJYVOe7BbtbzuHN Ym3h54ADeq+HR1O6LNwzvHMgmRy99+rDqv3NfR/4D5s5zh+qv8e0DFGu+JAzfSt8 NN3c038Oj2GibP7Vjs4IQt5x6M1arxWjiUxdKhVordFdHPrsj+k6SvUiueew1HaM KHmnGSKUBLt+G7U7FLfkRYLKbO70c1f7RJZETZK5jaYSjV+cRlM4O21MGe+D3ZqZ 099WezmtXy7zCdL5ExfOPfxbjHA9EEm/FFDWoaFgZLxDOLwGL4itCi+BancG4iJk ACCAGPAUtcX/rvjn5IF9kit14bvlwabA9CASVPum4byY/sGcWD8CheWWqFG5SR2B mxDYNPBb90YZj3fI0gNGVBFVoZ10DZANtRXr9WpEURacXmM5D7kOpPOEktrtWCVq 1s4pBYQLAE2RePQ5oVpLOOPINcqS6RH72zo3JRr4pJ+alzwKrQlymeNoIZzqVrcG 1kEr2nhLkl8RaBmHpcaDXSRc1CM5I/69Xlp8OUKFpmYytNTTDQ1AYWYGDUyJAzv9 3OX4XR5fEdV4p8dY+1kkoyKQWEXfvqr7KYFz1piSXNpVX53n+1QimGReDdYgunTJ yBVVdoul6P4EO9oBudpjgPstQQ4x8knAEL14loBmq6pp+bKExAM= =rZIj -----END PGP SIGNATURE-----