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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.18-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/mattam82/Coq-Equations
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-equations
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-equations.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 eab084c37f1ec1900e9c4b929c58869011bae18f 1102730 coq-equations_1.3-8.18.orig.tar.gz
 c8a27490eff7954aeb6f1082584fcf8dd08f376f 2640 coq-equations_1.3-8.18-1.debian.tar.xz
Checksums-Sha256:
 4bd6c7984787fa7ae8b8f0fd06e5a1e0ce7ea82afc190f47602cae1f0e402ef5 1102730 coq-equations_1.3-8.18.orig.tar.gz
 254af7ff18c2220d3e08242f2ab1891be83abc0a09f65a69a64994eb6214ddb7 2640 coq-equations_1.3-8.18-1.debian.tar.xz
Files:
 1a2bada154ceed57fe493b9180f73f50 1102730 coq-equations_1.3-8.18.orig.tar.gz
 7c0812d459bb461cdddf8a09ece5db1d 2640 coq-equations_1.3-8.18-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYG0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRULkQAJtC/W0CwUT4ygFLNzpywurUTNVqLbvO
wLq9ptmSfD4VtzAFLqAT2W3o3vHhhwygjY4gNJO2VuQ/phprrRBD9it6YCu+P4QV
92MUvvbZFXxMcvcA/8ZXTuKESH8LtG/VkSje+MGYo0F7P2EMfleZYJ7VrgrM/6UO
qnJnQfWASaDfXn2stv+SURx8sh8K2CxSWbkImIDRhrQpJMefExbMn2j/ceiykKd5
R3S17Z3HdeeWuPYDceeTCOjvAoN9DglJy4giolVvco5e9fMF4rsiWXbyYrA+d+x4
ks58L/C3ZgLQCQoRuh/s8NUBiS8x74enC962BfKhYXnE3996lnrzefrqE2pIpqM+
WN5QymovCZR8SobBo3aQb7YeUQsRcySTcT0Y535Du4+wexBn+ZC1HCSJCeQOQ2g6
fJn7Oc2MTs5QV0U7vZu6OUdTt87cG007x3i+Kb/LK4omhx49CqABYHlB9sqaiSjd
WNYLcvzNxhX9UKW4UbcUMTDTizgL05HH0xSq9vkMxUamvrN2wYlJYQnB367UvS2V
+1BKViy3MGnMWJ3LfQbS/qV+V8v5vLqEl8ZpEy6EIJ5wYJ2d4Wf68eU1fFZtf8i9
XbaZPIWzOLecJyhM4HzN9w4jo6eXdbXt3R/B7bYXScuIcub2ug0nfBBxbRBu71O2
s1qvIoVMFxfq
=x0ff
-----END PGP SIGNATURE-----