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-3build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
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 (>= 11), dh-ocaml (>= 0.9~), ocaml-nox (>= 4.02), camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), libzarith-ocaml-dev, frama-c-base (>= 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 <debian-ocaml-maint@lists.debian.org>
