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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.6.1-1build1
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.6.1
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-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-interval deb ocaml optional arch=any
Checksums-Sha1:
 2acd2a45495f10e08aba6b9520eab97c8870e04d 259459 coq-interval_4.6.1.orig.tar.bz2
 583513678383189a9d4f58d54f5eddac49571c08 8800 coq-interval_4.6.1-1build1.debian.tar.xz
Checksums-Sha256:
 29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef 259459 coq-interval_4.6.1.orig.tar.bz2
 3170858658fc54daee46745d9f8cd40f7c50117a4b0ee03964e8806cf0f63a4c 8800 coq-interval_4.6.1-1build1.debian.tar.xz
Files:
 5d5f13150d2634408f0abde20508340f 259459 coq-interval_4.6.1.orig.tar.bz2
 24fe6c6dee25ae6d63766d48a03551eb 8800 coq-interval_4.6.1-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOwGH0ACgkQ808JdE6f
XdlZMA//Z8oCIg2wC4mEY554MgdvZb8IluKlmt590NY+fbXKC28HClJR6mIxo2Cb
kTz3X1Mx+CzfmD12HyYXDu4PCMKvBjWlg7he0ZftJgTyeYnCdVgwvEVFluTG+v4l
sn/jK2/8bnNSJsIXBOwaXSRvOYgc/X6MdzEy5PgqVSM6XCRJnGKhVbRpS5i+3u5s
llOD4tBfAR2ZogrLwrpXhTVNl4s6kLezcVD1+xjKCaGfcVptQjRRjLGsM3Fl/BpW
/CopZ+6hE40YEtZ7/FMrO9A9oPkcr52RMuKLk9DRfKdk1kcWgf7ZjCXToRZvSynw
eHMGouGTqXBoxYxUO6/zxiQ7co71v+NGDcLUNC9XYMuyDqVxwzSJvk0p5uFgc2Hq
uS3pkx0nk8tDOniLYG5ylzL6LWjGw1ZSlFt29R26eryPmM1Tr3yELSqG8HohOmKG
8mo9eYi7WyDCwjwz1QKJGYkGuCuig9vOhFrVolWldLb/sFa7NDEM0vqPov+rh/bO
gmhz1FowI2s0y7mhT85jFLKdh6jmIdiAy0fEoGVoZbwzVKUZ2yJMFjym+3XkA9fe
rps9W0iw0rRMQ5iUP0+YBCbix589LXdyBDk9E2z5HMl/o2JzZuTSk70eUXGudSFL
HbdKjQ7MIMzVmhPS3yhsuFdLgJigcF+jm5FwDC1kGqjtL76oxHs=
=x2HM
-----END PGP SIGNATURE-----