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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/arthuraa/extructures/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-extructures
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-extructures.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-deriving, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-extructures deb ocaml optional arch=any
Checksums-Sha1:
 ba00c3e7984de42fb9c84ed206a8e25e0170e4b3 42179 coq-extructures_0.4.0.orig.tar.gz
 f746250e5036801f16da73e9920a50c6823d6c7c 2436 coq-extructures_0.4.0-1build3.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 7d3ba377f2fce77e051de760001f013a93c62a069777a433d1ccbf84edbfda66 2436 coq-extructures_0.4.0-1build3.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 890175f20e879f684f3dfa48fd7cd8b4 2436 coq-extructures_0.4.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cCMaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz3QSA/9Ftbif2WwhyMFM/q9JE8v
EmhunbgpB6GjMjSgkluy6Ab71NURVAvXUkhb+9z6Bbzf925PYwVBmaRnbYBV6BiH
R3u/qQ4/Da7mQNsuv61tI92rR+iXmiMBh12HKRaI9/u+NlEuZOpzLDxFnYfcjv3W
dp7f3iRcwoPjtr5hDOBa/xEDKDOfz3BtHjJ9+cfx3L3Lmm70DxmTDzym8VKkw8P7
ogWVvANCEL2BZjHig03CVlUgKnBC+sYGthFvY+F4z2U3SAOYB5Uwc5fBsaaJ1PyT
+lV6Avoc7/6+s/Z7vID9dQfHMbwELoXEg2tyWmo6klcEEfmivhDmWsCMdq3/3Qd4
UDYCBIpi+FhXsOA7RPZL4vt1t5JHjKjyrfXKyg0RyYs59OJpjhHILxHyR0+Oq8Cm
HZI6GfYH88/NgBKZQon701T605KF20qWQsv4/9WslPqo/5B6RDtzHmsy2xyFHEdN
KV4wGJ4XMpLbgtt40W4FqcDJS8FU/lBLUevEzqE7zWSYupJBLrlUQN3KU+QkR11Q
rUD2lHFkdD+LLOctQtx1EWD35bm4UzbPlsMk6mo8KTdtbH0N8e3sAHGlYOWi6Lmm
7z5Ouz+Irj5HKVaZV7lRGKTu+7ee5hjzbpU+bxsO3SG3yNlER512SlXNWaJdZccW
pSyjJcJ7o96I3BWD0ufREiA=
=RLef
-----END PGP SIGNATURE-----