-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 21 Nov 2012 12:24:30 +0900 Source: smlsharp Binary: smlsharp Architecture: source amd64 Version: 1.2.0-1 Distribution: unstable Urgency: low Maintainer: Nobuhiro Iwamatsu <iwamatsu@debian.org> Changed-By: Nobuhiro Iwamatsu <iwamatsu@debian.org> Description: smlsharp - Standard ML compiler with practical extensions Changes: smlsharp (1.2.0-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: 361fa2172cc107a07d78ca6510b3b08d1f1d9052 1960 smlsharp_1.2.0-1.dsc 4eb9c0559656e35a989c8500daf99883767825d9 14158962 smlsharp_1.2.0.orig.tar.gz 4f805344573ba51643972cd1b9fdb103e04783a2 3701 smlsharp_1.2.0-1.debian.tar.gz 006c601a748906ff67bca71029d2fd51e61b885e 11115790 smlsharp_1.2.0-1_amd64.deb Checksums-Sha256: 6ff77f893650c7f98f91352eb894a005f16ccd018d962cfd5443d8c206a40f91 1960 smlsharp_1.2.0-1.dsc 2a0df66310cb1b0a02c20b88ee4c7c6a887905168e2bcb048db397c61bc50e2c 14158962 smlsharp_1.2.0.orig.tar.gz bb7c3cbca6268130aca91e7bb0091b9ccdcd2e5e8cee9d9be5e032b3a8517f77 3701 smlsharp_1.2.0-1.debian.tar.gz b4018cfa3b4ec7b4cab6be48c0964835d751b336a1c7dcf7d80add7973b413b4 11115790 smlsharp_1.2.0-1_amd64.deb Files: 3e2714b4ef6d0d04497c1b3495e14116 1960 devel extra smlsharp_1.2.0-1.dsc a77a3ed172bca1b382c178a8e199009b 14158962 devel extra smlsharp_1.2.0.orig.tar.gz 98774328e63d4fbd1e3b2a37338658dc 3701 devel extra smlsharp_1.2.0-1.debian.tar.gz 9be171f139dfa4e2f41866ad1ef122c4 11115790 devel extra smlsharp_1.2.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCAAGBQJQrXGBAAoJEDIkf7tArR+mrvsP/0e/6geuJ6ovyEvERnWx6rDN j2VIuLLgKjvAsKn3Ah2S2afheYk2RaahcojUgAYvM9rx1Q+OVosZqD8KLwbQVFOH AHCi/luhhURX/d7fav59eLiwey+sI/9yjFZDpgYPA1HDt7/+/PjdGh83yam7ZXmE CckeuX07ZBd5nB7vdZyFhPeUDB9q1dPn4Yeni6EDJEsNmtEvpybv2kMpsq4uDiWg dJUOyW55+CKYWuplc0e/WvfD0M2/1m2M4/6TUE3Gph2zKYpl04lijNfqHKPjAu6U /Rhm5H+LK/W+RwQhWFLqrTXfjO+bmHq0ZQ8Q/CovY5XAmHktzPnKIiojHpiebTKM CcMK3wKwSL9HtUOUxyHyAbQotlmINkh/uUxDBz/Qjrdr6geQB/5sIlGNOxAaU5+Z 15hTqxc96HHpYUFQcnxKoZK0aYEh0FEBPgbiY6pm2thIA7YCtWAHPRbgpV5i1XLb up4X3BDwmIcew+VcQSJBXUEFqOeTzNU+7UDeVRhUXS1KVQPz/ohszxCGqBlSoCVh 0SKJzqiwciJH/ytNwqGZ83GCODlAJGFaV0mAjKMYasgJSnK/n0LmwI6USW+SdhaY 1KMbFebLGtT4a+0FXXy/cZBLOYI8CMCC6vIW7br86nzEzAEvo3A1/iejcyM3l0U+ 5q1Z7gjp43CfJ7xiGczw =hg+J -----END PGP SIGNATURE-----
