Format: 3.0 (quilt)
Source: why
Binary: why, why-examples
Architecture: any all
Version: 2.34-4+rpi1
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://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 (>= 7.0.50~), autotools-dev, autoconf, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20140301+neon+dfsg), libapron-ocaml-dev (>= 0.9.10-4~), camlidl
Package-List:
 why deb math optional arch=any
 why-examples deb doc optional arch=all
Checksums-Sha1:
 4c1218b32314015819d5d7e3a56b1c51aed16903 3725831 why_2.34.orig.tar.gz
 282a4364e6d65955e9fa8cfd04c9c4d90601dde0 11636 why_2.34-4+rpi1.debian.tar.xz
Checksums-Sha256:
 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 3725831 why_2.34.orig.tar.gz
 a35829eb0d1fb855066f3815fb52ad0c37e7044c1fbcb0ff7b51d81b00067a0f 11636 why_2.34-4+rpi1.debian.tar.xz
Files:
 1e729c4ecb41892531563d34208d3e52 3725831 why_2.34.orig.tar.gz
 562137982db756c4666a4ae0c624ef65 11636 why_2.34-4+rpi1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>