-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 12 Mar 2016 17:17:35 +0000
Source: polyml
Binary: polyml libpolyml-dev libpolyml7
Architecture: source
Version: 5.6-3
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: James Clarke <jrtc27@jrtc27.com>
Description:
libpolyml-dev - development files for Poly/ML, a compiler for Standard ML
libpolyml7 - runtime files for Poly/ML, a compiler for Standard ML
polyml - interpreter and interactive compiler for Standard ML
Changes:
polyml (5.6-3) unstable; urgency=low
.
* Support for the Hurd
* Build is now reproducible
* Bump up Standards-Version to 3.9.7
* New patches:
- alpha.diff: Add support for alpha
- bss-ioarea.diff: Export ioarea to bss section
- m68k.diff: Add support for m68k
- maxpathlen.diff: Remove all use of MAXPATHLEN
- mips64.diff: Add support for mips64/mips64el
- noexec-stack-gnu.diff: Mark stack as non-executable on all GNU systems
- noflsh-unsigned.diff: Cast NOFLSH to unsigned (fixes a warning on the
Hurd)
- source-date-epoch.diff: Use SOURCE_DATE_EPOCH instead of current time if
it is defined
- x32.diff: Add support for x32
Checksums-Sha1:
6e8886beed10f380d653e3577dcce22f333b114f 2049 polyml_5.6-3.dsc
fe601efdc4d06d66e29447bb50486fb33ef5d12a 28008 polyml_5.6-3.debian.tar.xz
Checksums-Sha256:
31555441e76e43edbd327a4e73e2a803d488f52d1729b1c4cc13d3003cb000dd 2049 polyml_5.6-3.dsc
cd96a602badf2a4f21f3d5072c332557515cb7176dd4acf37827642353bfbf5e 28008 polyml_5.6-3.debian.tar.xz
Files:
21cc9b8d20b735f2ddf4328a90ecd076 2049 interpreters extra polyml_5.6-3.dsc
6d82ded64afc148e129a114c5ee0d6e4 28008 interpreters extra polyml_5.6-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQIcBAEBCAAGBQJW5GELAAoJEPNPCXROn13ZsdsQALUY8kA9QKPaTx9AvM45h3yy
JWpZsYJCZaxhSQ7RbVpwGncssOh8xcK60Ake0ClXMZZTPQ5yKTVgFQflBasYOtuX
yaj6XsQi4yCRStd+RGctR+6Idrp3g2YSvGYIC+VL5FamVWBGbCk3JjjWhAiaSoov
nFVmlsDp2PGyKDse3np05j6oFTmjQFLYW/HVmTfFjIbMteGSpHMiM9tKSheQyX+d
cEJ9IujMt8A9LInn0/Bn2FWicHXTF1S1k/wbHkljUHPWboin5nUnqH62fnMy9XyA
5RYUqVdVOn0R4QniN5IeAA3mdznuQCD+s+31mAMr1nDarLCSOykc0lVM/6jfZJ2a
8tppvAKLlB3EKkvaZEFby5Sb8hDRmviqCIUD+OelkgYWnrwGPGyH4KYV6h8rc3Ne
S45vW57tHOnvggoTmRpIVPq1BckOB7MuvHtQ7VL4K0DqefGYEu2jNl4fWqVoHt3V
hZ5Ha7kjKrAFBFvuvvA5on+YcLOEKUGTdPxxNvPNCVooyVDAF9nqRYj9v8pAFA0p
JPBtCKkyYlrxhZJgrWHWqTC14eFqdmDBOUOtcndMvskYSxxr8LNLYkHylWDtfYSj
EF3R4hMbrIteM3RCG2XOPeA7IwRcBgokFZimZ4kvtyn2gKMq6XKwONyIwa8BO6+f
SwJEO7ULxqgkAVDY+Vb8
=V8sa
-----END PGP SIGNATURE-----
