-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 09 Aug 2012 05:52:40 +0900 Source: smlsharp Binary: smlsharp Architecture: source amd64 Version: 1.1.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.1.0-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: 755ff20d936c0d9363cdc7eed0933c984a5ac4c0 1954 smlsharp_1.1.0-1.dsc 040bbfce6f67977b1d7c742fe82ce25b2e6585bd 16390158 smlsharp_1.1.0.orig.tar.gz a6db475a94a064a24a793353b28a05f4b148a8b1 3607 smlsharp_1.1.0-1.debian.tar.gz d4e0d74178e8dd174e0443bec4bd9c2f89cc6c3c 12623904 smlsharp_1.1.0-1_amd64.deb Checksums-Sha256: 2f4ab86b1774f19037bab887a73dcb66f2e4e5251de8b57dfc5765b53503e0f2 1954 smlsharp_1.1.0-1.dsc 25b13c3aaa60277fba509920a1a55be132a61a35a2f14ae42fd553b200880f12 16390158 smlsharp_1.1.0.orig.tar.gz be86ccc74b646710a5755afb1ac22e9e31ed3848c744ddcdc50dae8370656638 3607 smlsharp_1.1.0-1.debian.tar.gz 79dbf65a77e7d0d5dadc2ae1a387381c1c26c0a2ebbc4c536f9b6610ad386b25 12623904 smlsharp_1.1.0-1_amd64.deb Files: b1b021c41897746d9429c32fd1f03e8d 1954 devel extra smlsharp_1.1.0-1.dsc 9433144fca040cabb3c8d51f0b8f6745 16390158 devel extra smlsharp_1.1.0.orig.tar.gz 9bbeeb0932005908ca6df5e995b88a0b 3607 devel extra smlsharp_1.1.0-1.debian.tar.gz 6e7cb41e0a2fc3325ecab11a9f22c0e1 12623904 devel extra smlsharp_1.1.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCAAGBQJQIvfIAAoJEDIkf7tArR+m6/AQAJbo5aiGEvxVJ6N3SdaaUkUh Lqx4p8BexO7HwFr+P0+2XSMQW7tOPHR882Csk8N0MJ9ogztu2ViGUiHVrry5gY3r Vg2UcSQ6gLRaDnbBj+644unsd1F1iqfPz9VYVfFs2OE7O3UCJio9dSHcZcxuUVr/ kIfv3DOKE9O02y9kz3nwqK8qwwKJ8lez2ayYlMKMnJZx9IBBvEvW7AoPYxAiTGII rp6ro8SlsCCsJIMqk3UymNzeH6o/A6BGzBx3T3B5tsTmG+lpaBh1Jai4vTIITNpU cQ+bBjxPMiZw+Q1Ymn7eCX2EgHh//FX2LrAipUX/WGkpX//959XCkUjlMvmHq7ZG 2UEGB3X8dAFNClKYUDTbPIzMYMz2hZXmNuJ9bwm3nuv+zK7fex7XmM7MmBLkB/5O /QhknNXjFzEhUtQ/3SeHnr6Bm7T6Y9w4zMd8tn1CQcp3tO99GMaP7yvAnzJaY2eW QmfvH4RE3zV0GRKliSNIJuj8wJC9iNtPP4h5+ZVxUJY5B4djKPzKHan1HHpQDacP JZFaDTdSX7vzvxd+sOd5rs75IxnqNbVUKLkzddFhD6IdZyBKzwsMGNYKK/4ySozi eBYFZY/iETGVTW5AOIiLfakM1Cf0gu07kVy24Opdcyfhz1j3w5ywQ3wNv4kh8S3f KOU5GgL9Hdd9IhGSNezC =jztz -----END PGP SIGNATURE-----