<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: why
Binary: why, libwhy-coq
Architecture: amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 powerpc ppc64 ppc64el sparc s390x all
Version: 2.40-3build1
Maintainer: Ubuntu Developers &lt;ubuntu-devel-discuss@lists.ubuntu.com&gt;
Uploaders: Samuel Mimram &lt;smimram@debian.org&gt;, Mehdi Dogguy &lt;mehdi@debian.org&gt;, Ralf Treinen &lt;treinen@debian.org&gt;
Homepage: http://krakatoa.lri.fr/
Standards-Version: 4.1.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/why
Vcs-Git: https://salsa.debian.org/ocaml-team/why.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo
Build-Depends: debhelper (&gt;= 11), dh-ocaml (&gt;= 0.9~), ocaml-nox (&gt;= 4.02), camlp4, coq (&gt;= 8.3~), libocamlgraph-ocaml-dev (&gt;= 1.4~), libzarith-ocaml-dev, frama-c-base (&gt;= 20171101+sulfur), camlidl, why3, why3-coq
Package-List:
 libwhy-coq deb libdevel optional arch=all
 why deb math optional arch=amd64,arm64,armhf,hurd-i386,i386,kfreebsd-i386,kfreebsd-amd64,powerpc,ppc64,ppc64el,sparc,s390x
Original-Maintainer: Debian OCaml Maintainers &lt;debian-ocaml-maint@lists.debian.org&gt;

</pre></body></html>
