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

Source: gs-aladdin-manual
Version: 1.3-1
Binary: gs-aladdin-manual
Maintainer: Marco Pistore <pistore@di.unipi.it>
Architecture: all
Standards-Version: 2.4.0.0
Files: 
 919c2ad26f78c59374f5776d452b21a2 384037 gs-aladdin-manual_1.3.orig.tar.gz
 4fc8a1909b75e0a49f65214ae516316d 1953 gs-aladdin-manual_1.3-1.diff.gz

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

iQB1AwUBNe8DCS4T+lbFIwO9AQG9JwMAoGeIVjC1U/LodAEdXDph9pqLpPOHjC9p
S1k0923RmNvWE+lw7vCpW803XLq/3KFzJV2MjYptacl1wo67GptI9VdN0AgsYZiY
4zqM5vH116yC5PWDFiMDAJNaDVJAeNus
=16Nm
-----END PGP SIGNATURE-----