<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: SHA256

Format: 3.0 (quilt)
Source: why
Binary: why, why-examples
Architecture: any all
Version: 2.34-4ubuntu4
Maintainer: Debian OCaml Maintainers &lt;debian-ocaml-maint@lists.debian.org&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://why.lri.fr/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/why.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/why.git
Testsuite: autopkgtest
Build-Depends: debhelper (&gt;= 7.0.50~), autotools-dev, autoconf, dh-ocaml (&gt;= 0.9~), ocaml-nox (&gt;= 3.11.1-3~), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (&gt;= 2.12.0-3~), libocamlgraph-ocaml-dev (&gt;= 1.4~), frama-c-base (&gt;= 20140301+neon+dfsg), libapron-ocaml-dev (&gt;= 0.9.10-4~), camlidl
Package-List:
 why deb math optional arch=any
 why-examples deb doc optional arch=all

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