-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: cduce
Binary: cduce
Architecture: any
Version: 0.5.5-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Stéphane Glondu <glondu@debian.org>, Pietro Abate <pietro.abate@pps.jussieu.fr>
Homepage: http://www.cduce.org
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/cduce.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/cduce.git
Build-Depends: debhelper (>= 7.2.11~), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), camlp4-extra, ocaml-source (>= 3.11.0), libpcre-ocaml-dev (>= 6.0.1-2~), libocamlnet-ocaml-dev (>= 2.2.9-7~), libexpat-ocaml-dev (>= 0.9.1+debian1-6~), libcurl-ocaml-dev (>= 0.5.1-2~), ocaml-ulex (>= 1.1-2~), chrpath, bzip2
Package-List: 
 cduce deb interpreters optional
Checksums-Sha1: 
 2305d876f21c320edb62f9116a395e32480c3df1 596666 cduce_0.5.5.orig.tar.gz
 719eb65e1566bdfb0c3bccf8f2265d3c84a9a8e2 6100 cduce_0.5.5-1.debian.tar.gz
Checksums-Sha256: 
 4ed53a0ff196f490729d0146b474546f5115fd3cff2627f52670cfcc619b0157 596666 cduce_0.5.5.orig.tar.gz
 131fa370c909d350a1f6e6d33a71845ac51be4c9ce8df733595ca98ee3f698ba 6100 cduce_0.5.5-1.debian.tar.gz
Files: 
 bf9726a9cbc6287c807a8b1113f1e71f 596666 cduce_0.5.5.orig.tar.gz
 490663ad6d4eec9bb6b991bb60c2d53b 6100 cduce_0.5.5-1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCgAGBQJPUpOgAAoJEHhT2k1JiBrT4TEP/R1sxn84EglokFfXPNZAgnJI
TUdcGVjGOA/nWG/RgMmOZhASgVlyG8eXLqyDloxYX8VOfucVujquttzivXmscObM
FVk4cGXx2xYpDmbhd8z3F2BY7TTSXut3o6Zrdl3xMl28TVkBFarklaLOVJuyc0qb
E7vZK4p2AS5R151CpgYnFpqmti05VlnPY5Nd+mTdjjoPGoQfUjcIbccRQeywBMRw
l2jySCdp6OlP3yT41l89DmVXU8d0WM9hc/vB+lyfCeaTI/eMOw/OD3unjyIvrTT1
CZjIA0HCNhIcfhntl6vScmGRRNktWnSxrFQyLrnKxjyLQ/EFdtvk6YpR9/9r3C4A
EY9BJ7Mut9irHkVr9GVCDMrmRmhb96YhY82eE5Nyueg6wD5Kr5VID8m7yopjyPgf
L8YiSN1qj00Mbn6yJHrjp18pIoepOGoo1aa9CyjZ5SfiY+HrxVUCYSEZzzmWWOS3
xVKTr9PFa3ymu36uuhAHXfjhIY1IlaOQsipO9DP7PxYqzScFIkhGeBoSo3Pgk2co
m/C8xDWPw5BjAtGk5vTQY7aSypjYpLIPP9RJ0sbf9Mm9cw1wb7eWl+te7Yb/nUvj
tDNIrnXNPqvgQDpRnENSU5JLx0jF9zH9zrQCyL2550ue1QtGGOSR+5BnNU/rr4me
psIhd6vIRrPIsxBnI8CQ
=xU5f
-----END PGP SIGNATURE-----