-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: why3 Binary: why3, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf Architecture: any all Version: 1.4.1-1 Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen Homepage: http://why3.lri.fr/ Standards-Version: 4.6.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/why3 Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git Testsuite: autopkgtest Testsuite-Triggers: alt-ergo, cvc4, spass, z3 Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, ocaml-nox (>= 4.05.5), 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 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: 6222ebede22bbdd4d15ecdbea824c0814fa4e671 6305011 why3_1.4.1.orig.tar.gz 1a9763d0af0b97d0691f2f18690a3f0a7763e641 20384 why3_1.4.1-1.debian.tar.xz Checksums-Sha256: 580eec4d9af0bd4f37ebc34e1fa82b3edbed3b2f0cd0e907b1f9a94dfff51ee7 6305011 why3_1.4.1.orig.tar.gz e5a3a77ab7c2fbe049893250cb68a923f4724f177d2eed188ea8f555de584c7a 20384 why3_1.4.1-1.debian.tar.xz Files: 4710c10b5cfeb63950f3cd12b5d91a49 6305011 why3_1.4.1.orig.tar.gz 71206d89e11a4af627444be992145edb 20384 why3_1.4.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmI1u7wACgkQdFxHZtTK zf93kg//U/8EJGzkdbYn9Zdho34RrCOSKcH9sjxD0vyezMgGmFiTxPhm/1GgjGZ0 Qeo+ETXM5q8ilV4bUD3w3ZZnAdD2ODCL3XqB7/eDyTuNsAQ42WO/SO3aUgKMZGRm J8/d4MDpgE5LkxmG3qItM1QAJScJhgBeqmzkn5Sh+29ieM9M2kr0R/lG99I7ltel +WtpXEEmNbnJHD/VBHiZ/7xN0wweVhfzjOW4HmzsYe9KuPDDEY/qXs+j8VHGs004 MbbNTYeVjzp/25xnds/BaDO0e8E9li21oil3yIqu3eXaqJk0L8N8zO4AiW/PetMS tvEyaHMWHHSDyRUIyTQcpsoy+cTOhhe6OH2S/yujk3EoXZjyBD7//m433Qb+JcD1 jLRR8GrFR5y31cuw/x4BvUy+PBGPyzwSTMNHO8q/VDS0DDoxaUJAgzVkcXRkJRwI So35sB/RrKzv5e+2MhalK/Gg9Qsf7+luHOvEuBNIHx4dSNbLp1JjFN6Zk1sui2Rf Y+Uheq23Npt+AruPBvis4eqAdCMP5Zrwuuon4YnijRBoRmla5MjhrgewQt+TKaqs 4hS5VJpbEc1wMwTW5hRQHY65nYheqipKW0IwE8cLmHhIAdRZUSkMTw8eI8l3rzTO dl6Q3ZHK/nqvGRcyqFzkRfqLiu6JTVUQbzuSTTALr2NqsBWqe/g= =pckz -----END PGP SIGNATURE-----