Format: 3.0 (quilt) Source: why3 Binary: why3, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf Architecture: any all Version: 1.8.2-3+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen Homepage: https://www.why3.org/ Standards-Version: 4.7.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/why3 Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git Testsuite: autopkgtest Testsuite-Triggers: cvc4, cvc5, ocaml-native-compilers, spass, z3 Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, ocaml, ocaml-findlib, menhir (>= 20200123), libmenhir-ocaml-dev (>= 20200123), libzarith-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.2), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, tex-common Build-Depends-Indep: python3-sphinx, python3-sphinxcontrib.bibtex, texlive-plain-generic, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra, tex-gyre, graphviz-tools Package-List: libwhy3-ocaml-dev deb ocaml optional arch=any why3 deb math optional arch=any why3-doc-html deb math optional arch=all why3-doc-pdf deb math optional arch=all why3-examples deb math optional arch=all Checksums-Sha1: e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2 184d2ad5c347b60ef7ce8e6f1e42577fd1b29c30 19640 why3_1.8.2-3+ocaml1.debian.tar.xz Checksums-Sha256: 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2 58c4620e3e6ccd4cd7a65b6b0c3edf0edfa304b042f767363537c0dabe5c65e9 19640 why3_1.8.2-3+ocaml1.debian.tar.xz Files: 0a89fc6956ad76a4af1a4763c24af107 6644926 why3_1.8.2.orig.tar.bz2 31627978547efd5642f5983532ad843c 19640 why3_1.8.2-3+ocaml1.debian.tar.xz