-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.19-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/paramcoq/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/paramcoq
Vcs-Git: https://salsa.debian.org/ocaml-team/paramcoq.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 7dfd1153b6beb50f255fb1fd29a9083b41b59731 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 9586c5252c96b12a382a53a1ad74fbbf6d98a5f1 3096 paramcoq_1.1.3+coq8.19-1.debian.tar.xz
Checksums-Sha256:
 b5f6e0f29a6cf2b6154bc73a3a21d272ab18bebb0e16beec3e1b1c3a043df55a 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 374233ceaf8fae65369cb31b260f45f068e479a61e4b2723a564c7f3384e66eb 3096 paramcoq_1.1.3+coq8.19-1.debian.tar.xz
Files:
 8195351e30a8ac84fc12c736ab09ce21 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 a6bbb846c679337574da08560c6360b4 3096 paramcoq_1.1.3+coq8.19-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH0oASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFycP/1WXcg+e12xklj9UMMlFPOMIo4MRNGMa
IpPiEwiOL+jEUOHXG0qnzeq9GjfvzaL/Hsg73DRn7kCamg+FZ+RKNvwrgJnDWrA3
jG5BbujJ2OUCGnkoAnycB6Op79f/YfYN+D32AV3gXhQguHrUhZ6dqSOuBU+Vvul9
dvu/m1oOr1BkLrSE54t/EfMB/Rqq2Dwt41DkxSSOICD/fU1w3+qDdLjK99Hcq9xr
m2U9R+A1xuAKV8wpI+shc9iK1zeHAzZMseNvU9uxjvkPDXaBNa8mklOX25bjHuKW
vKIvPGJa8Uc+uZULEKP6i5ekNlYejHTc0uIP1J0rokIqyTLQc01/Lw/Hl8ElzBFQ
0x7LX82V5aO46mWdriQOqofmmhi3hkRAAKVO0TRwiaNVhauT1vmFmwLq5t7PxmVv
+PVDbiHGx9ji+NFXPPWgArsStmfhNqp6Eyrzl9fLbUW4mBMcecFV/J6+Vh89qDWO
NlOr9psLGZYueDKhZQcVga6ws/NQbU0Pqu2i/I7uPythWl/fTCcz2QMoKROuknjb
8hTHtm0iTYkV6Nnu3C3cprQC12uG3H/Q6W5UxciSIFlRHHNIXiMixkdzQmd3GTh8
+raSUF6Bexfd8PMY6joePg2xfnw0YJCRGynE5uswWKtYL4B0gdTFAW+SsZXSsKE0
4m5YIS3w0qXc
=NWLG
-----END PGP SIGNATURE-----