-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: dose3 Binary: libdose3-ocaml-dev, dose-distcheck, dose-builddebcheck, dose-extra, apt-cudf, dose-doc Architecture: any all Version: 7.0.0-8build1 Maintainer: Debian OCaml Maintainers Uploaders: Stefano Zacchiroli , Ralf Treinen , Johannes 'josch' Schauer Homepage: https://www.mancoosi.org/software/ Standards-Version: 4.7.4 Vcs-Browser: https://salsa.debian.org/ocaml-team/dose3 Vcs-Git: https://salsa.debian.org/ocaml-team/dose3.git Testsuite: autopkgtest Build-Depends: debhelper-compat (= 13), dh-ocaml, libbase64-ocaml-dev (>= 3.1.0), libbz2-ocaml-dev (>= 0.6.0-10~) , libcudf-ocaml-dev, libextlib-ocaml-dev (>= 1.7.7), libocamlgraph-ocaml-dev (>= 2.1.0), libre-ocaml-dev, libzip-ocaml-dev (>= 1.08) , ocaml-dune (>= 2.7.1), ocaml Build-Depends-Arch: grep-dctrl , libounit-ocaml-dev , libcamlp-streams-ocaml-dev , libparmap-ocaml-dev , perl, python3-yaml , xz-utils Build-Depends-Indep: graphviz , hevea , lmodern , ocaml-odoc , texlive-latex-base , texlive-latex-extra , pandoc Package-List: apt-cudf deb admin optional arch=any profile=!pkg.dose3.noextra profile:v1=!pkg.dose3.noextra dose-builddebcheck deb devel optional arch=any profile=!pkg.dose3.noextra profile:v1=!pkg.dose3.noextra dose-distcheck deb devel optional arch=any profile=!pkg.dose3.noextra profile:v1=!pkg.dose3.noextra dose-doc deb doc optional arch=all profile=!nodoc profile:v1=!nodoc dose-extra deb devel optional arch=any profile=!pkg.dose3.noextra profile:v1=!pkg.dose3.noextra libdose3-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: 752a29c5fa1900ea6cfd52c40c1b4e743c394014 1422990 dose3_7.0.0.orig.tar.gz 3ee232ae4fda5414f3c21e55032c0b94c8723a4f 20772 dose3_7.0.0-8build1.debian.tar.xz Checksums-Sha256: 02db6104db2683483f8309c76e77705b2606803fc5b58ea0a402f9da30a56029 1422990 dose3_7.0.0.orig.tar.gz f539e30e945cd0b4900c0243a02524c27f84d4d0fd284fe07a9ab0be3f4d662b 20772 dose3_7.0.0-8build1.debian.tar.xz Files: bc99cbcea8fca29dca3ebbee54be45e1 1422990 dose3_7.0.0.orig.tar.gz 349bb4fd05f058aede25d439720757bc 20772 dose3_7.0.0-8build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpFRuIACgkQ808JdE6f Xdm/BhAAv+6QsYS1QxN39v5qQ42Unkkc29p00Q9tKJMNbQ32X4YwlfodNvX86o5P uwgRuQ8+IxRhdXsuFTgzlpNDyo6ysLQjZLoSfsZgeuEjOZkyIoRgZUnQcMdVz5wq xs73Pf/+2442mXlaDFpHhO5blUz4Afn3op4+5IHDUWymuhFNBK2hhdj9lu4Wu6Hx WH1gSoZjGmmRaUAOK/7ISJMgkyQXV1pqcJGLiTMQwQbx2dALuUd+Go0IO286xsyN MrjPMe0qvaBPARxiMo/8KM+CXZLhgmfQmjY6QnUh9eW+7dy//VAe+usl1zsXkqUR mR7xPFYdJe4ZRTepKm6o4iyJteEktwLMqd/K47jA+TeLyI3nD/waYuIX8p119Cry bUpEVFhac9pvXcTJz5Cr9HJYrA1Pqujs/C2NqBwNUf75QyUfCI46P5jEhE99RKZY QGdmpsXJ6jx1YQoUgaf0SGmdKyga+ddm+yC2v3Ff51B9xBptUdPKvnLunzC6+uOH gas1YEZw7QNM8g+LOhADUmFjAwFL9xz1FvGnLedSkNdH8q41YMSB5jWBslzRdGY/ 7QQAwbSejv1VAbwX03P89pkyViEVRkavp/t6wri2M4N50AVS8SqisAhbXEIM0xvs CRsuz8X/E59uEK4baLT5uwt0vRN7QjCqjw66KG3gYNbd/+VQHkw= =Wost -----END PGP SIGNATURE-----