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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.19-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:
 38fdf70af0bceefbb4d14eae0cb037b124bb3ba8 1102843 coq-equations_1.3-8.19.orig.tar.gz
 73fa3875d5c59f128a653b5ac2e84b435f60c3fa 2668 coq-equations_1.3-8.19-1.debian.tar.xz
Checksums-Sha256:
 4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198 1102843 coq-equations_1.3-8.19.orig.tar.gz
 b0999e49d5d751556d8b4610649380db3ba3298db76355b4968d6d698c001f25 2668 coq-equations_1.3-8.19-1.debian.tar.xz
Files:
 a83b2e75a3440581de8eba8f0c0ecea2 1102843 coq-equations_1.3-8.19.orig.tar.gz
 3b2388730dbc97d4624206073738bbb5 2668 coq-equations_1.3-8.19-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH078SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRguAP/1Zu8Hn4Hq0tJpcj5nnESM5MVzGFuMDb
czBeyoUrBXpHaKV+DXza+iFT6GAGY55QcSf0lmPrRQBLAK0ZDQEr1uQpuNvE6WSV
0WwIA+a39Ag851VSzfxAcXrcc7q3QnwN5ID3eJzCZ79ODCK4KLYklmI/aNVP3OWf
QkLGLfoRuG1+wdSDis0bD8I6kCQRiP1yFyb36e3peUQ5RZr2Dr+rhfTkdJex4S8K
EJpiOVWdcvD53YtOUNizmTKq3CLTaPMqWwXIaJNwU6R9QMnjN47goIUx2LkKiQ4w
frLKDHEVjc4z+wSAi9AcSDNzsssw+1vNNpYHBxLRRRRr8ijSbZB/LVpCj7Gr5Cn8
KpHczd1sSr3eDKRVZwTtfrTUPpidRZmWYLr0K72GOshyoBEHVqzGaq7YC3eCVqXa
wC+M3obIRMadxAdBnzQPOnaeNvjZ5yzPNEnnuW4npZvtQwokwUWRIqrpVyHFdpeE
0B6x0RnvqPL8PSeYZpjY/HR289H27DiOKSJbnfTd3RZACaSrpaCTZr7HjY9VlF0a
1E3zO2PMh2tX/Lk2W0sCQxxHOFxr01mzrFB5RYEYzxaHAB3BXtXWlVejAbzikGY0
uOqRsNo5IwKo3RBxRKNnqP+gcD4GNsJyn+IvBjCTOnraTFgG1DJyf0fpjaYiXb8v
g/ORTA17Kq0E
=gh1I
-----END PGP SIGNATURE-----