-----BEGIN PGP SIGNED MESSAGE-----

Source: gs-aladdin-manual-de
Version: 1.3-1
Binary: gs-aladdin-manual-de
Maintainer: Marco Pistore <pistore@di.unipi.it>
Architecture: all
Standards-Version: 2.4.0.0
Files: 
 e7528e14b3e95e5701902f1af42ca23b 359446 gs-aladdin-manual-de_1.3.orig.tar.gz
 3e924b423d087b2b0d0efbd7de40ee01 2269 gs-aladdin-manual-de_1.3-1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3ia
Charset: noconv

iQB1AwUBNe8CTC4T+lbFIwO9AQEcLgL7BKxhcz/n/ZBgRKHm4C50WN0yWou42hMp
qdbXMXO7R/mdwdKiCG2aqYdfMklpXgsUYBqQ4+pXtXxLp6Dvm1YvthmRFG9cCA6n
l223TD1wbEJBekpiDYhG5uTDfxNfU/+j
=W4hJ
-----END PGP SIGNATURE-----