-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: fsharp Binary: fsharp, libfsharp-core4.3-cil, libfsharp-data-typeproviders4.3-cil Architecture: all Version: 3.0.34+dfsg-5 Maintainer: Debian CLI Applications Team Uploaders: Christopher James Halse Rogers Homepage: http://fsharp.org Standards-Version: 3.9.5 Vcs-Browser: http://anongit.debian.org/?p=pkg-cli-apps/packages/fsharp.git;a=summary Vcs-Git: git://anongit.debian.org/pkg-cli-apps/packages/fsharp.git Testsuite: autopkgtest Build-Depends: debhelper (>= 8.0.0), dh-autoreconf, cli-common-dev (>= 0.9) Package-List: fsharp deb cli-mono optional arch=all libfsharp-core4.3-cil deb cli-mono optional arch=all libfsharp-data-typeproviders4.3-cil deb cli-mono optional arch=all Checksums-Sha1: 6fda35ed684a27b25858c2067453d738e5410133 9103706 fsharp_3.0.34+dfsg.orig.tar.gz b59aa437f08c999408b79fee836cac3ea7d6ee9d 14236 fsharp_3.0.34+dfsg-5.debian.tar.xz Checksums-Sha256: 3141d6a5938e9d0d58fb75fa7a4fe9eb7177cbec5c41bf0f3a37dfbcd3210eb3 9103706 fsharp_3.0.34+dfsg.orig.tar.gz 8cef885c5d73f7b95fb6c841452a3cbe085d8f0e6e5f5e7ab7af1c2ae5c8a73c 14236 fsharp_3.0.34+dfsg-5.debian.tar.xz Files: 51c79c9d9043619d314227ad4573d75c 9103706 fsharp_3.0.34+dfsg.orig.tar.gz 43a4c2a1c6511a3a005a31f904254109 14236 fsharp_3.0.34+dfsg-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJTv59JAAoJEONS1cUcUEHUrXwQALRW8zyZpNZYm8w0qyXGvS6i Vru1qOGPg54RPnp+vyHE17iVeYrvfrb+qQzAnEyXicLGNJC7YIthiGHlqss2QU12 Uu7J7W9G/KAj8KrjSc8mKekrROqNwNYkxfYOQf0eyBB3Y2+/0Gq2qfBJ22k0VR5D REX+oole5KXXuNkM9NIKf94EP4YLu0pEEQOAHk38khvMXwa0AEU5ea/akJ35YIdu Ix7gPzzsZ+GY3HDrJD+Yrfi3n65HKMevWmh+2NTtnFqKw6yYv7epv0LnDiAZH81E zcroj1OW5EVRnAGl/Hh/tbSX1/nXN+xKstikzwboRF7VW9wavv+7muC1aVenz5ad 0S4hNW4n7NPW9ITnUtSG8HQz1axOh9UiJO6rU79K/qGJgPoQs8cENyDmd5by3+F1 Qir/Kem3nrbNa1w70cX0qZm7DSnYFfCu4ILM90RnWZvGO3cxxGmJYIOI6QJ0nCAH fg9b2KcGdldkDQxQhKqUWrvmB662XtDfZUaZhYqTf7pXRCqD+tPaVeycMMyfLBRN VHT802z1GPeifYtaCHA/+CAeTLG8+hPe0axX9W95NYImG58VoNOdbiIrLdNibg43 DQtC2IyIZ1LkVqdv1YFl/nrK/13NJuZuCW9TMraN4WnAc2JvqEpJ0GH5HyKeSxuH 0WJEHbdClQq6/u4OC7M2 =Q2xd -----END PGP SIGNATURE-----