-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-3build4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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
 335a7dfd2e2f963b1a9a2e1f25affcf2f1b95043 2388 coq-extructures_0.4.0-3build4.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 0aad499854b7a014c7ced4da6efb49e78ebbd08ce5cc747779173669376ebcf6 2388 coq-extructures_0.4.0-3build4.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 7e159dea7eac4e95a2d086219854d876 2388 coq-extructures_0.4.0-3build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOLMACgkQ808JdE6f
XdlTPBAAsnzmCkx0NRrMstdZPZSM+p2cFdP0J8S9AjGsZIVYAKRUyVexosQgEh/T
aIL0EGfUpXQvu3+8oFBNRT9n7SYPKXE0fWPocp5+cRQIX0R3qX6cytAy/RoVqe3d
PjhMEOQCANNZgq/MHIm9DRMIRIdyT54ew1ba+1gLS4TvCnKkq7ys+yPg7pW3vIaz
nzZUqzYlhihJ3QfQPGwImuawfJbng68kY1jMrzMthfPiQBgHHlOxHSnPz/+0nMDS
bV9mj/rm0GaFcpScfZT1UnHao2qsEpIa33MYWyZLlbMKmDio3SfqBBAu+p/o/FrN
hYhnuzmXsccMSQomM8tZqjrwgEAkVKHhc3SSdsBVwgh+jKUFbLYllxFMREvX/MaD
DHk3q/yaZS9WD2YTSjt1bZIZg2iWW+97sHLQQtokW0LnlUMS564b+XL8Y2/F0Gds
prlkHUhU8dYVWyhw+w+sLY+/DwP7mSud89VoQt/Ku3BEIFrLSsnavqQgRkEJECKg
Jawg4byQrfjQjRmdFlljnnnhbHn4Op9BFlnLEm09IY0AkMp/UN1LcAalWyjipOfk
zDDVZbBRtbnSIifhqryF4p8qnAbBk4BbOV0rE/O6w+k+ZxdqmVXz98KnlvyNVysv
R13ubEi5f+09DGj8DVja4bM8/qi+QOk3EmydexFrwp7Df6Rr1GM=
=oh+A
-----END PGP SIGNATURE-----