-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.0
Source: polyml
Binary: polyml, libpolyml-dev, libpolyml1
Architecture: i386 sparc powerpc amd64 armel armhf
Version: 5.2.1-1.1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Achim D. Brucker <brucker@member.fsf.org>, Lionel Elie Mamane <lmamane@debian.org>
Homepage: http://www.polyml.org
Standards-Version: 3.8.2
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/polyml.git
Vcs-Git: git://git.debian.org/git/debian-science/packages/polyml.git
Build-Depends: debhelper (>= 6), autotools-dev
Package-List: 
 libpolyml-dev deb libdevel extra
 libpolyml1 deb libs extra
 polyml deb interpreters extra
Checksums-Sha1: 
 39cc9451113d41ca9c491167cf3973dfd55b7446 4114551 polyml_5.2.1.orig.tar.gz
 7616984e01103da307cdffed67955ed554cdd515 475532 polyml_5.2.1-1.1.diff.gz
Checksums-Sha256: 
 c84148ae9a28e782f48208bcb8c5b82ee7bfdc178784fe81694cf1f0789ae62e 4114551 polyml_5.2.1.orig.tar.gz
 416f3ce06aba4ed33b9067486d89be23710bc77161a4b0a65f4841a0eb8eaf29 475532 polyml_5.2.1-1.1.diff.gz
Files: 
 303ba7d26c262999685ddd54b36dd16b 4114551 polyml_5.2.1.orig.tar.gz
 ff6d9097e988d3e239ec04b948f46db6 475532 polyml_5.2.1-1.1.diff.gz

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

iQIcBAEBCAAGBQJPDkujAAoJEGYGAn9kNxJMzNsP/ijeEc1TCAJ3arwCY+WrUDiM
I18gWb8Fy5TtgtoSFxFk00Byi9YYXTc5BYmcWUA0g2a7WZTDjj0sCpUAgVoGh79o
PfUQoV1XHJlS1A5Ehe08UEt41+/h+/8x1xV1Uz83lUJQkFG4o4VLd76i+aZvYMjN
Zc0PAQnGG2EcnCWhsn3kvl0M/Zxm6buNAMrqDmChdMvWmFi5JoL1l+boAqhV7/Ck
ve83ajrqss9RFlpUIvTa+cpt7FUoOsK9Jl2VjHZ2dHcE/Vbfk945jWaklYJOvcG7
EbZna7Xv+WJHbn4jxfJyrmsi8PXQwWtC59nTCdCAmOBrQ0KoW7Z9KVXs/9f2GemI
/W8XbTA6pkUSPst0fXVS6kmg4DfaVcpzEYf7mTmChPrfX9MxPLUHHbbzfeuDti7r
1K3hGYK318Uo7TBDpgff32ChTJz6CwJgz2wanPT/1GHis2fhOzZCpKeFRzds/g7T
dWl7FHTNsZEXaHtLHOwCCZcR/x1VpJVdz7MEIRK7qSfAI8ZWVDk11Meref8gMAFS
kvcnC252gTygGXKz00ZkfutAccGpXYvB+xs4bPUl3rkN4Uk3Xepr10NTnTWG67G3
TrOeUX8UQkCwbubDwRiF77jbN4gYMMg58BnDDImzK8ZbBVkCTChdmkA7DIEzkLX6
sFVPSwdKsPjSdBGjrvii
=v5/6
-----END PGP SIGNATURE-----