-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 22 Jul 2015 00:02:09 -0400 Source: smlnj Binary: smlnj smlnj-doc smlnj-runtime libsmlnj-smlnj ml-lex ml-yacc ml-burg libpgraphutil-smlnj libcml-smlnj libcmlutil-smlnj libexene-smlnj libckit-smlnj libmlnlffi-smlnj ml-nlffigen libmlrisctools-smlnj nowhere ml-lpt Architecture: all source Version: 110.78-1 Distribution: unstable Urgency: medium Maintainer: James McCoy <jamessan@debian.org> Changed-By: James McCoy <jamessan@debian.org> Closes: 790283 Description: libckit-smlnj - SML library for parsing and type-checking C programs libcml-smlnj - Concurrent ML extension of SML libcmlutil-smlnj - Concurrent ML utility library libexene-smlnj - Concurrent ML library for the X Window System libmlnlffi-smlnj - No Longer Foreign Function Interface libmlrisctools-smlnj - Library for generating MLRISC modules libpgraphutil-smlnj - Portable graph utility library for SML Compilation Manager libsmlnj-smlnj - Useful libraries for Standard ML of New Jersey ml-burg - Code generator generator for Standard ML ml-lex - Lexical analyzer generator for Standard ML ml-lpt - SML/NJ language processing tools ml-nlffigen - ML generator for C glue code ml-yacc - Parser generator for Standard ML nowhere - Translates programs from an extended Standard ML to Standard ML smlnj-doc - Documentation for Standard ML of New Jersey smlnj-runtime - Standard ML of New Jersey runtime system smlnj - Standard ML of New Jersey interactive compiler Changes: smlnj (110.78-1) unstable; urgency=medium . * New upstream release * debian/mkorig: Handle the new doc tarball. * Switch to 3.0 (quilt) source format * Fix i386 build on Linux 4.x kernels. (Closes: #790283) * Replace Debian man pages with new upstream man pages. * Perform build in a build directory for easy cleanup. Checksums-Sha1: 1589451d2a9e00b0913a3cbf6ea9e87e39b6a50f 2026774 smlnj-doc_110.78-1_all.deb 0d36aa8305c7c243274d6ad1bee9a73d962dd4cd 3319 smlnj_110.78-1.dsc baee6a781a6a4c90316b1939acc39ca15d1d97e9 23558418 smlnj_110.78.orig.tar.gz 2b9a8057c7841b54f4cc66818328dabfa21e05eb 17740 smlnj_110.78-1.debian.tar.xz Checksums-Sha256: d8771a7076891e6739e751125d7c70dfa1d192fce96379b2ff744844f5af1f70 2026774 smlnj-doc_110.78-1_all.deb 052e2436a021ed36bce04e0dec7c5d6cc9528fc6a8ec10633e4d054f64ac4959 3319 smlnj_110.78-1.dsc 9c78a531010402072b20b02e6ab3c97f319c14ee85037da91072774aec368e61 23558418 smlnj_110.78.orig.tar.gz 01fded79fb1f47819dde1c3fbbf484c0a425a2337aa3aa3586598ea54fb3093d 17740 smlnj_110.78-1.debian.tar.xz Files: a0c62a20cf822b08d7284e42e6fe0a4d 2026774 doc optional smlnj-doc_110.78-1_all.deb c4d0e1ea5b34058d493fb5e50e8f7d7b 3319 devel optional smlnj_110.78-1.dsc bdea34f9b909dd53291afc15bf111f03 23558418 devel optional smlnj_110.78.orig.tar.gz f04d6b1142239104943d6ebd7b40e74d 17740 devel optional smlnj_110.78-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQJ8BAEBCgBmBQJVrxg8XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5MUJGQkY0RDY5NTZCRDVERjdCNzJEMjNE RkU2OTFBRTMzMUJBM0RCAAoJEN/mka4zG6PbCy8P/0uGDu8Xmh4+KWEv+LZ2g0UT HpGV1c8jqkTIORBobo5zk0UY++RjkLcUHnSdMXSBSwMQssDHolsMD8MSiGPDPDRS 1lIO4LPJGjaa9pXRYDEgxyr69qtQC5Yu1o++Xf82t8DYVaTJxpVtWwIzIUkMI+ni ESxNWhjOQXvypGzHvV41RFrBSjGwMxXZBqzzFl72wD+2l6TaFoHNSDsFyU3q/J0a xTU6kB/HqmOgTrIzU3+j1XQZajnoNB8siMx/TwsB4x1KH5I9Tecw+ImM/AMjF/ps Py46rzoP5/ufJ+z6UKgKo6DeHLrOdzR6apjrJzamQSlSK2LIgPhPS6dv1IhkWcof 2Zeao0AAGzC1sqZEbiVs+BRn4NBj8DB3i5AxY39AtvYcCU+Gx90wyh62UFFXy7zx VbzD6kp8VRo1LUTIhLuO0tkzaXLQM6z1uz1MphYM464R/AOZu2WbfB/4wD3QMp6c d8AVflMlZKQpxunF5uM7g0TrEyZzE1dYqqYen17EHlLyImIiwEhaZBRV6+lbYzPd g/KNQd13iHYjTZ8JTVWbei6dMWr0uYF9lPnHkG8d5xWnAaIfMhsS3XvHlXOi2a/K fbF5FYczg2bauqXc49juXjhmFTI5TmW/v8O0SNzcgas/OyXR5fe/kxNaJOrbTrRa q7OKnYGSECuWna3k8gif =EdUF -----END PGP SIGNATURE-----