-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 29 Jul 2013 11:26:41 +0900 Source: smlsharp Binary: smlsharp Architecture: source i386 Version: 1.2.0-2 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 Closes: 718108 Changes: smlsharp (1.2.0-2) unstable; urgency=low . * Update debian/control. - Set Architecture to i386 only. (Closes: #718108) - Bump Standards-Version to 3.9.4. - Add libgmp-dev to Depends. * Add README.Debian. Add infomation about support architecture. Checksums-Sha1: 1bb15af51daacf8b08a60afc4b3e4ae24de29807 1925 smlsharp_1.2.0-2.dsc 44653f27a08494ac59b8e97fca88688c1fecb48c 4010 smlsharp_1.2.0-2.debian.tar.gz 8e075b466179b6f14d57916a4a705c682e588ab1 6166238 smlsharp_1.2.0-2_i386.deb Checksums-Sha256: c8fe75fdfc0091df58e1ed75659199448abd82a386bb9ed8a49a6086a2ce62da 1925 smlsharp_1.2.0-2.dsc 8b574f5c6fba639fd4398ba48f473da13e8521bf03e64ce85c94717a74b737e8 4010 smlsharp_1.2.0-2.debian.tar.gz 1b838d8a34f9686bab1da08d8d09c112064a16450c5c631aa42be57c1abdc7d3 6166238 smlsharp_1.2.0-2_i386.deb Files: eff4da7ec9d5921261b056587a53d823 1925 devel extra smlsharp_1.2.0-2.dsc fc122ed43bef20545e1f5387e6ea744f 4010 devel extra smlsharp_1.2.0-2.debian.tar.gz 5ac6262d24ad9b5c59feeada223145bc 6166238 devel extra smlsharp_1.2.0-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iQIcBAEBCAAGBQJSPSmwAAoJEDIkf7tArR+mx7UP/1MhtnYIowkL0mH37OD6XCNo EThihwVCMMJXKmocumSLLfvqstEX9FRWxweCAmH/VisL+ighM9LDQjma33MTeDft gTYHcIEBfIL1U92r2CBpzKxe6eUcd5qaw7vs5UxA1KHiHzo7LFy1+Pt+0Kmp8E60 orKwi34o9538b8xZ3IFH7Ur845lhX+BOScrDH8AfuWlJ14JRanQCvUP3pxwL0ELF 7Xr36eXSqOydYK+IHU93byozCqCpFQdLULyc23eovygOY/S0tUbd4K4nnSP2efwY gsUZTgJeH/BAod8Xk770+tnlPBVW74SnBsyuI0JZbHHvfG63u1CqybDQ1/fzLrQT ezziGsWNHUD2S2M98ykHROEoAFoR+LedRnNiPUwbER5yBknTW8IwKbj9nPLp4fAE cZxvQGp2m4K9a0OLldpN7hCNr9Fzu01nZNBjUkm4CppXA684WylAo3WRtc6uLgjL 6IZ0jcThxndgSGer+8ZKetZcYlwQF7G3/YGVBGPKp36N8LLHuuC+0P8iV/YHJq3T nxkJDAg4qwQXZPsCTuBAgt5WffY8lxnmk9QhJemeUoH898ML3ciIXLbi94DBWvH4 gOp0s3Z9Iq6TNMjP1eecjyMQ90hajPf6qr9QCgA9wib5eRDJQbkDsJKqIvHTaF4k BQKp31F5xeuITSou2uYO =WYwX -----END PGP SIGNATURE-----
