-----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-7 Maintainer: Debian OCaml Maintainers Uploaders: Stefano Zacchiroli , Ralf Treinen , Johannes 'josch' Schauer Homepage: https://www.mancoosi.org/software/ Standards-Version: 4.6.2 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 75245bbdb1a6e9bfbe3e12293650c33380c761ce 20696 dose3_7.0.0-7.debian.tar.xz Checksums-Sha256: 02db6104db2683483f8309c76e77705b2606803fc5b58ea0a402f9da30a56029 1422990 dose3_7.0.0.orig.tar.gz 2c84a5ca623e897b92f681a859ecd139c101dc84f851dcdecd19c8e0231afca8 20696 dose3_7.0.0-7.debian.tar.xz Files: bc99cbcea8fca29dca3ebbee54be45e1 1422990 dose3_7.0.0.orig.tar.gz 8b5b4eb4198fc9a5856bc922d155e6bb 20696 dose3_7.0.0-7.debian.tar.xz Dgit: e9a7f7c0be4bc2edda07bc66a067324176458b66 debian archive/debian/7.0.0-7 https://git.dgit.debian.org/dose3 -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmmAkv0SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBKbAH/1BzL6lfms47Uf8hedcL1XsFxZ+YzBJL oonj7a9bMDkp/YLEFGFr78OsCQeyCyXtlQME19/7J6S7ts27tQ/jXPWXhz5eD3M5 aGoE7wtwl7xG4GTGFIklSHXUqZzFwOCUzUZ4VkJHb5IOuCEkJlOANig2W4WFT6b7 yJfgq6Co2Yn/On9kgvls/luk60h4t85f02SOh3z4zyjsKKLN/smGvqqdNjc2lv1L 4KnWVG1jLF7/uxgN9ekRzKGwRXN0v8x9TlfALAsac57oJIGaEf7RhjeVg7uCtRLm JHyKajQZco4hhrya3M4517rbJDK8tq4yq8V7WxCtDhZgpv7I6nEnkGg= =qyqP -----END PGP SIGNATURE-----