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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.19-1build2
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
 99a5ca8af1af59aa7e3f680cf50a041c1c903b28 2744 coq-equations_1.3-8.19-1build2.debian.tar.xz
Checksums-Sha256:
 4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198 1102843 coq-equations_1.3-8.19.orig.tar.gz
 4d9f5cfd0ed20017c9ce712d32ae0acfb8c376b96313ae288fa14e2c42883b52 2744 coq-equations_1.3-8.19-1build2.debian.tar.xz
Files:
 a83b2e75a3440581de8eba8f0c0ecea2 1102843 coq-equations_1.3-8.19.orig.tar.gz
 a97e96890314bf6eb748d494ea864d9e 2744 coq-equations_1.3-8.19-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWnMACgkQ808JdE6f
XdkgGg/+OesKW62qa38Es+76ZHAu8ypUKbneJrO9I0pQWH2s0uiHzRqX6iSile2B
ofLmm63fJGoPpJfSdcYIyqaqN4MDe7goflOMGhkH/5TmMOoDbY+/eq7jJTbERt0H
2wX2obtUD50W3sfnRekxChD0H58UsMpHekUoXxjXM6UOueQA5Xac1vEvTQSD6q7s
iVy2igM+wpZTt3BkyDYrho9K7RjpbcyqouWakupQN6SkXZgrs/xxkiUV2LB5ttKI
gHcEfQu9L/YTjkOaLwBrr8C3TsxxeRS77r0gwOsdmzMfR7PiYIHisMWyAlz/O01p
8U4qpRAGqdd5CjSh56BBNPhJRTRcWgUfiRDp7Q2nPv+l2qmSw1998Zu80K4kkGe7
bLsu4cmDbPPzkmZJ+DhYJyhBm6ZM3/tsudsRD57OnSwwAfijAJ6CbeHPtC43O4me
DUbNkGr/cOJX7Ke0MNcnwD/gP7u+mNXDLNHZ9kEp2kwPBGbOSXYXpAnIL0oIMbE2
Og4YRH5EgkgJW6MC5cUX1wKkKiQoNoXCaRrwYKhbN5cQ6M59MDMVKn7Yl/+uFmf/
23Rgw8Jz6EHVXwT+8coM3AfXQN95V4yiW19O6fXZkq20PltIWqvZaxkCkJNvRm7f
pyiliyN97B1ggEOFIDd7/L9QZOctc33dghw+r3mlSBIT4NUsKJ4=
=4qkA
-----END PGP SIGNATURE-----