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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20230420-1build1
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.6.2
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unimath deb ocaml optional arch=any
Checksums-Sha1:
 b559c26193e64961f2d3f9856cb744e90ae1a352 2601704 coq-unimath_20230420.orig.tar.gz
 9230ad9ac72c2ba5998643361e02da4aa807b98f 1884 coq-unimath_20230420-1build1.debian.tar.xz
Checksums-Sha256:
 62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50 2601704 coq-unimath_20230420.orig.tar.gz
 e75b0434e03c7f2b3b24c830d9b0ad9cb505b87467d588dbb13d893270c9f709 1884 coq-unimath_20230420-1build1.debian.tar.xz
Files:
 792a9689ce36bff58fb6aa58c4f7eb6b 2601704 coq-unimath_20230420.orig.tar.gz
 2d0b8256a3bb2c68ed018bd6a91f8ee9 1884 coq-unimath_20230420-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILCAACgkQ808JdE6f
XdmmMRAAmnU9id6c9x9Th3qJvjNOfUWYaQ6Mw3WQwtqTynRNfxBLDlJPjCHOLVLr
xlyhgToRsuDcpKlmDhliczjytCy3sggtEeIreNJOv6354kTh3GBJ50KnhNuT0aqo
wTnKM5pbm3WUb5dyX3F1I+SqGcdBtGTAmgI3Csh1uycxNJTQEhyEy6/yyT2nuu1/
znXjWUIX2WURDnj5zEkr8nI8J6oyvSGhhZx4EcIXgkOtjJog19YMWrFJ8cjDIEHo
pnBGc7qFnhv45x/lZK1jrtRdCumqjgL7eNMvt/1C3wTob0+0PgiZzlj5mERYDkaI
mbb1Z56VufWWJQVjgsa9wabpFIstWUY62b7g8L+NaDedbGybdH3rbX1LMWVHcBfr
4w2ymXELCWkyGdFwIyCFMfABl0elPsDRofqDzznPmAvTTlrQzk7VAVgrA6ShdEGh
U7VSf8Jj/vNuue9C7X8W+GBKxoI24sbo28JTRz1nbqwXm4wXCdxQ2v44hKLtzNFG
wcJO6hTGIPUSEeUcHqDC7jVD/kquSi0edJqfXyNRCK8+Xj/jxlIzJPgJM+bpJGeT
srUvxEw39SxoSZuYTNtpDr0iLNM/Rroj91K6PAlJpWP40DvxeMYd70dX/Fq29pyr
Vp33Alm3l7yEp58eGEuR9llXoogVgGNB82NMMU5+1tc3Qnwkylo=
=FkDa
-----END PGP SIGNATURE-----