-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 30 Jun 2018 17:08:06 +0100
Source: polyml
Binary: polyml polyml-modules libpolyml-dev libpolyml9
Architecture: source
Version: 5.7.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: James Clarke <jrtc27@debian.org>
Description:
libpolyml-dev - development files for Poly/ML, a compiler for Standard ML
libpolyml9 - runtime files for Poly/ML, a compiler for Standard ML
polyml - interpreter and interactive compiler for Standard ML
polyml-modules - modules for Poly/ML, a compiler for Standard ML
Changes:
polyml (5.7.1-2) unstable; urgency=medium
.
* Bump standards version to 4.1.4, no changes needed
* Use https for copyright format URI
* d/control:
- Change Vcs-* to point to salsa
- Add `Rules-Requires-Root: no`
* Add RISC-V support
Checksums-Sha1:
06ca0c17e72fb776d5404d8a5c58034ede25960f 2117 polyml_5.7.1-2.dsc
629b80a5fa33f4d4fddac964b3008aa96a1ca627 21024 polyml_5.7.1-2.debian.tar.xz
c6e15bec140ca5765c3d58cfd57c0aa2b7177120 7157 polyml_5.7.1-2_amd64.buildinfo
Checksums-Sha256:
29a4de5edd08d5fc87223aa0f2dc4fe320f2877ab4b5679a07e6bac8982eac1c 2117 polyml_5.7.1-2.dsc
021c01e05ef0959209010ce712f4dd611426df263a6975bfdef4fb9384b49ce9 21024 polyml_5.7.1-2.debian.tar.xz
21783b618d73d97f0fb4973d88f2106c07d63fc0fd71cef14c7817f310b1abb2 7157 polyml_5.7.1-2_amd64.buildinfo
Files:
ba79be309ee894839425517aeecc5e55 2117 interpreters optional polyml_5.7.1-2.dsc
f707c0dfadf9660fa0f57b440b1cdb65 21024 interpreters optional polyml_5.7.1-2.debian.tar.xz
3c923c9bd7f1999cc3c3bc23c5551b57 7157 interpreters optional polyml_5.7.1-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAls3r2kACgkQsZN3DBhq
HH1sWg/+O4N5OYowYarCkuvp6agiBceaa7fgVWI9TBxdHdGqvBt15epyD+f5AbSK
+XH37b0J5Zy4sgWfR4QvQ6pLfKNwJSAodz6cKsWC0+MOfFM4EQqgnctOIJcH2jON
cdmsNiZvxEvPmFDlofYU69k4xRsir4dVLD5I2z3XwHMkdpHJzxi6uczsjvZ39nnt
VhRd841A0LwwMPsf3lgUtCfZfS6YK5PiEGQ1R8IWN5ogZNr/GdD2ACBeC8RjkoeQ
eIYLCFnnZEOMRgYkt5mjjV58KAIKW6MU0sRkiUnM6Gy92ZYD3rhB61tgh+xezWLN
MBaqbFZWu31fyYQWAsC0k1iAOqxM1wTgpOAXWo5IX03K27mHw6UtWEfHCYg/5Jkg
tTuqdieLXKxvwz8YQX32FL8W/VI48qkuiOm7wlj/Fsg117Z8+w50kuu6wSWAvRLP
33xAP91MkKma09b8deep7h0Jo5l7EgntpS43OjeIsPJuu5vU/gOUXT8YD+QqDdkS
Ynvt34kFutZqK4W3OTg13KdFqxZBvYfZmSbfbk8UyJkfYgMQNqAXWJrqjj2SGcPG
YBEWyteai517plTdNBfkUcWgYcN3vhHNt9eQW1QGVQqbuGHw0nAwi4f4gasJWQBr
GD+SvIsqQ0ncUd16hVGsWmrVbfa82Ul9UmCASP9EbaV5HxKdc3g=
=+MS7
-----END PGP SIGNATURE-----
