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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.0-2build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coqinterval.gitlabpages.inria.fr/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-interval
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-interval.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-coquelicot, libcoq-flocq, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-interval deb ocaml optional arch=any
Checksums-Sha1:
 e366ac6fffa1a4f3bd943a0e4a639877c9fe1096 301998 coq-interval_4.11.0.orig.tar.bz2
 febf02a387865a76b552ce51a1a09ebbe7923e13 9484 coq-interval_4.11.0-2build3.debian.tar.xz
Checksums-Sha256:
 40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2
 26236c9f9ca775b54e5e416e55106de187c51cf169460fd916aa517fe6534ab1 9484 coq-interval_4.11.0-2build3.debian.tar.xz
Files:
 e4a529b5883ce16c9fa2a240ba81dbae 301998 coq-interval_4.11.0.orig.tar.bz2
 0bac276ab0f4e621b3937bd814970ad8 9484 coq-interval_4.11.0-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbb+usACgkQLIPbyOm9
DjdKag//ed2U6LcGgRvwknzAfmJuZ5/NmQMV9fjb1J6602WcplvSQyXkJyJmsNgi
RbVDsSzkGAJU2kqd8/q78ADYtKGrfvspBCekeWQjL54ypz660EY0wQ7UWa2gPycX
amN5xmhGT7VzRygbWqGPeIHUYKxAqR80YL8+dqSUS8ep8i69EMWVyEN3Z+nMO0qI
IcVU1fexJJHd2qNhn3Nwr31VT+U80rckWoWHzo3l9wg3SWY+byq/CDzaLSzoD0qq
c1cjtJsrQCo/qACgkkUZ7cNnTRdr5O1pebxzJzAeLc4KqswBi71q8nrPqPFKDnXk
bS3tCHQV8jsiEDrjs9T5DFlHM1Gl0dgWsM0gOBEd7q8dGFVFJnIN2stdwj2aspMK
J07P6cjDRH2XrYMgxjeFhFY4wlmbC9YkkKnjFZaf2JLlX+4PBW6qT9WQ/b5zjSCQ
s4TDlE1PkHiTXiM9vnYJvCZ7voA1GiTFMWS/NS0tt/HmV21V/2WTahNlHOlSZSQL
0u60qRe4Rl3DHH5YBYGVW4pksdDdm0s1aPCNx46Grn8Exdyn+oqbrMRXcOAOFG0d
v62fCJoaTc377WDQ+Y0zAoeQQTH3HXQ1gGvt/NzKkW31JQFViwarFHPNwyBruHyE
O7ZdMG/cH2hVA4JpZzrLPsEPjjkrSAIEIEA2iWp7Fv0zh8rywlw=
=FFH4
-----END PGP SIGNATURE-----