-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.1-8.20-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:
719ca21fb558dfa59ff3577ac7f9ab889ef8b12e 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
0627f9dcf6113001230dfb217d78fe6760087166 2748 coq-equations_1.3.1-8.20-1.debian.tar.xz
Checksums-Sha256:
6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
eb0b8aced113d6453b8e415e6169495156a84bb871632d5c2111f237a967939c 2748 coq-equations_1.3.1-8.20-1.debian.tar.xz
Files:
5cfe3dc4c2232a559e866a492917975f 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
2001ed02a9faaca50dab83c2e25672b3 2748 coq-equations_1.3.1-8.20-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sYESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRsZkP/2+Ho/Yx8g8tEdGlY/Ci6vzbX0wDxWm/
lexyfGZsx3FXpR3jqi9dJCK1vpSlMedGJw3yNBvKXBQgFX0P6ddqOcMXdHhQfo2T
YLvABBjJbwI+K/M8p1V0ps9r5E7zH5/WgcqYAT3Rvi3NqvU2twuD+Tmbf4iqMRte
8vHWnG3FyOSIWiY1Iyg9K+75p1ai/t7jxHu2Jb2AidYHFNXmibSZIG6Gz6iCS+03
w/HCcf4ZRvkvrsly/PWfnYioUXcfZdOyC8q3pu2sBSFdyDHBAI99LwzmefEQ7Wgd
yTPMiejHcH58nOGgcrSMZKdgFdDbZyIM5dBXhiFkm9ShxgA26yDyqnHDjLIvh4RV
17T9z0KR8OKELhvF40uMKxawlrNWnZs9CatOwi/uISqTYInncTatF/sxKCgFyCUK
ugBlTdFB5dbDlkv96N8Z64cIsdFlr7E+lF+ER3U4YuBr1lonjAK6FzdAcp7kyW6K
QYtVSRZVsO1EoEc0N6+8exuBbaG1CQBbZFPmlpQ0oTaVgpMkGNs2KXaMPJJprm7A
XQw2m3tyfJs1Qjfm6mgsjeZX0lAgxMnxcF0ufQSR8Vfb2pr9jpgizUQekSe+s1Sf
56o3+PnsY4ZE+wbvKsSjtNz1gGSfn83IlGhD/5n5W/oyFytXqaquBML0iGcIhUkl
S27ZK2NjgZYR
=0tC1
-----END PGP SIGNATURE-----