Format: 1.0
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 0.94-2.10.201403120615
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Mehdi Dogguy <mehdi@debian.org>
Homepage: http://alt-ergo.lri.fr
Standards-Version: 3.8.4
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/alt-ergo.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
Build-Depends: debhelper (>= 7.0.50~), autotools-dev, autoconf, ocaml-nox (>= 3.11.1-3~), libocamlgraph-ocaml-dev (>= 1.1), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~), quilt (>= 0.46-7~), dh-ocaml (>= 0.9.0~)
Package-List: 
 alt-ergo deb math optional
Checksums-Sha1: 
 52d32f5ba9ea1ce7bf90ce204d92571d1f62d6db 188414 alt-ergo_0.94.orig.tar.gz
 320258151e7543975be765cadfa0523cce6942f1 13152 alt-ergo_0.94-2.10.201403120615.diff.gz
Checksums-Sha256: 
 bb6ddf947357d587eac4dc3375b712af2c58e46d3f5ab2c8eee5f25a99c2cd6e 188414 alt-ergo_0.94.orig.tar.gz
 ebad463bf1db7081c19b6bc00c90c3c9fce05e8929da0857eefc018e32004027 13152 alt-ergo_0.94-2.10.201403120615.diff.gz
Files: 
 c66932c4624f173548fb967a9e091ebb 188414 alt-ergo_0.94.orig.tar.gz
 33c7185216fc3f709de9aef45aa2ce36 13152 alt-ergo_0.94-2.10.201403120615.diff.gz