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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.3.1-3
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.1
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:
 24c4218103e6bbabf4f18a7e00ff7e63d25cb2c4 38296 coq-extructures_0.3.1.orig.tar.gz
 4c20c691412a8f371b031b056a186b4dd4dd0ef1 2016 coq-extructures_0.3.1-3.debian.tar.xz
Checksums-Sha256:
 5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015 38296 coq-extructures_0.3.1.orig.tar.gz
 5123184189321873bae00cbb40b96d2d070a996306aa1f460fb77e789f2c2a0e 2016 coq-extructures_0.3.1-3.debian.tar.xz
Files:
 32bc923a3a383ede669fc9063cffa52d 38296 coq-extructures_0.3.1.orig.tar.gz
 a7fec3dfe2751d61c7bb5175f8fe71b5 2016 coq-extructures_0.3.1-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJq0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSeAP/177GcOYY78G3JGA4Jv9YHGxx8/w721J
MWiz+wv8lVbsvPj6HcT/QGxuVZUIwPazvyx3JFD9THXLRy8hMNQB7WTw3BtbEsW2
MIF5kNgxJ2ZwkmYtcGVQZc3HtrJBu60x/j68RmqSf4JTPen/9970RNifoxitstv6
Mz5SrnJatyZLcPUwExLOrdM7qsH+eFgmam07UCw2QbsAAbpg50Wo8MfWo2TgAyho
pLmadM5sBQXMdz+BwgIdXIKwM3HGlUrl6KXMm6j6iMyNcV/NDwRk7DX28wEmIZFk
+Lt1Qd7iekYiHLmRkF9+BsaFwSDkNh99zMKvG7VyxKRnpyBUBCT0ToC3cdInPq5h
vvtO0d3FUb3WAISl+vgkM2BMpWnajHjwvVYWm1L+fxYaecnTg2vnG3vqdB70URWC
7/rqSb/kDatUxal/UrIuscT0Ctw/XaqInFNTsZihxmZ1MZIe03SHmjO/2RllBbJ0
+I6ju3IfXeU490Usj/FrvffbakYHsJ2z6FbfSnvuIP4RPU3W/PC+ZVec3UBau2ss
F+5kc2s1F5Ba5QZ8iPZGH5JhiDvAwzzIFm/0ntUnG2LBIGWvu9Gg8j1Fh2Mt3zCf
rSbJx9gn1ZBgqFp14rQStSs2fhXB7tJvl6JceZRqgws1xGfrgCFRbDUMzhfHeyfm
7p8Q9Gb31SSq
=EIA6
-----END PGP SIGNATURE-----