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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20260603-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/UniMath/UniMath
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unimath
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unimath.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unimath deb ocaml optional arch=any
Checksums-Sha1:
 633a5821c0e84916c0b0fde1b69bc5f6849a297f 4201408 coq-unimath_20260603.orig.tar.gz
 4fb70bed4486ed3ca58b683dd75473cf598ffda1 2404 coq-unimath_20260603-1.debian.tar.xz
Checksums-Sha256:
 e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 4201408 coq-unimath_20260603.orig.tar.gz
 6cbf9aa282a93115a97dad9028d247a47b73e579832db6bdd650c5a31cc4388b 2404 coq-unimath_20260603-1.debian.tar.xz
Files:
 c400d964180fb1e2d358bc84a9898974 4201408 coq-unimath_20260603.orig.tar.gz
 9990c51f9261f32b5bd9e06fa50a7d15 2404 coq-unimath_20260603-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRIcEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZmxD/9hHBXyvdl3/lKuMdvBUgMg
a4QzW4PflsdfS6DJDRJgQg9caZu1jAe4uCyc2DIc6ojuLuC2yMDitq6c92b7IthA
rSGesZHKn04FzcYl/StHIGHd789Tf0jfZYN06MFCKfcOvvlJPncMmBUdZe2Y07j4
vxPuu2ptjkJFh19ePD31rcgOUBjkL3taRo0no+B5apK5j5oUUAp4ncmkujjADTdk
8nNdkuH5eB3201qK+/NILGnoVzAdR5THfU+YHMHFs0MDJti13lgf84+c1Msjev42
dGotZ/cFCReB0fgUy2DAPR0GdH1q4w2MV5M22GwLRuzHS01EEjhGXVM/oEiAe5hw
c5d14lVEtA0bAKlVDOjxvwGj6qrpIufGPV5/kUJzKW+blgxBqjYN61zF0fPJaKNw
axWDM6AV7MLqNf4A7tW0iqph9m1GIzVJg8kKRRD79QpWUC/OxnlKRizxDRAYH3tf
QjA3L0tHMmR+IOcBG8myWDJsgA69x9TyhaN0Az/UNKsK/wneIkx406HrPdyZqPdp
Vs1gxJ4zwto1BoOw1Qdf7yUkhiOyNHTJDzlJvIci37YfQrXbw1UGYPwRrKAkxCpU
Xs4Y4QDSNBRuRgXavQqv8HOlHQbAJge7I7IY5CVRnqAKxdDrkKxqYapAMJSw8YBC
4tPHcYxBbpGX2xft9/W6Dg==
=PKO9
-----END PGP SIGNATURE-----