polyml_5.8.1-1~exp1_amd64.changes ACCEPTED into experimental, experimental

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 28 Nov 2020 05:02:25 +0000
Source: polyml
Binary: libpolyml-dev libpolyml11 libpolyml11-dbgsym polyml polyml-dbgsym polyml-modules
Architecture: source amd64
Version: 5.8.1-1~exp1
Distribution: experimental
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Jessica Clarke <jrtc27 at debian.org>
Description:
 libpolyml-dev - development files for Poly/ML, a compiler for Standard ML
 libpolyml11 - 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.8.1-1~exp1) experimental; urgency=medium
 .
   * New upstream version 5.8.1
   * Drop patches fixed upstream
   * riscv-libffi.patch: Refresh
   * Rename libpolyml9 to libpolyml11 to match new soname
Checksums-Sha1:
 8b784bc36af0bc5d328648a111a957e394cd3703 2141 polyml_5.8.1-1~exp1.dsc
 9050a484169d130bae09ebf9da78ce94f54e8de1 9845209 polyml_5.8.1.orig.tar.gz
 f62ad4e04eb46949a524bf1638296d03f99e47c2 20276 polyml_5.8.1-1~exp1.debian.tar.xz
 00493208096614a16ed529eed375d17be5a3147f 223248 libpolyml-dev_5.8.1-1~exp1_amd64.deb
 31e01e04699e97dbbb9b2e731cdcdc49e89a118b 1243836 libpolyml11-dbgsym_5.8.1-1~exp1_amd64.deb
 188b0bdb753bf6c2fe804df2f4278d14ecc992e9 186192 libpolyml11_5.8.1-1~exp1_amd64.deb
 f9083a64da5ccaf2c49411c43340cacca701ea5f 5864 polyml-dbgsym_5.8.1-1~exp1_amd64.deb
 4d77f353f40730dac334b3dc3667bba31c2518c6 507452 polyml-modules_5.8.1-1~exp1_amd64.deb
 9b94d434167b504c1ac75499f4704c6e882adaa1 7665 polyml_5.8.1-1~exp1_amd64.buildinfo
 3aaa1945330cb9330bb9614b71ed34ca43070798 1950076 polyml_5.8.1-1~exp1_amd64.deb
Checksums-Sha256:
 87d1a47741ca9f8bd63dab7cffce2652eb66c36f623a6f8d88052c0422a13689 2141 polyml_5.8.1-1~exp1.dsc
 fa0507b44470b4e07a061ef6a8896efe42710d8436e15721d743572ad2f7753b 9845209 polyml_5.8.1.orig.tar.gz
 06d0b2c044c2cfa3956d5a196091feb3b0408251a4432db2f97a48ddd16ecad6 20276 polyml_5.8.1-1~exp1.debian.tar.xz
 7ade8775b185ead6df240ffca328eb0852794909b76977428b59f929109b3cc6 223248 libpolyml-dev_5.8.1-1~exp1_amd64.deb
 8d63a1c2b7404cac0756e374500fea176bcd407a105992b45ec9dec279fd36a8 1243836 libpolyml11-dbgsym_5.8.1-1~exp1_amd64.deb
 ea165b51b092bb95470462036bb547f84d4d14598d5312822f02b822da47d849 186192 libpolyml11_5.8.1-1~exp1_amd64.deb
 7919f9447db2939dfc5e1d26efe5edce0b0bc6836406588826ef1bab6528c0ee 5864 polyml-dbgsym_5.8.1-1~exp1_amd64.deb
 b32622c91e0db65faab946e83c0637fc693d03c82ef759b6f69118ee0d164ba3 507452 polyml-modules_5.8.1-1~exp1_amd64.deb
 74d352b6ba9f967504064b2d2eab78f0d041e268508dec600d6c3369d315a1cd 7665 polyml_5.8.1-1~exp1_amd64.buildinfo
 4e4ca972af509645b865fef2705457872373f0b6609a66b88442f3d405fa055a 1950076 polyml_5.8.1-1~exp1_amd64.deb
Files:
 0fdb08ae20c1e0a80f89dd1c7b238325 2141 interpreters optional polyml_5.8.1-1~exp1.dsc
 54b8ba00c7a9d1b7dbbcae7857c7b4a1 9845209 interpreters optional polyml_5.8.1.orig.tar.gz
 459cbcf2dd82f2aadc3f0099580219f3 20276 interpreters optional polyml_5.8.1-1~exp1.debian.tar.xz
 abf8bda194ef3d09c6ccc4085fba9f41 223248 libdevel optional libpolyml-dev_5.8.1-1~exp1_amd64.deb
 3fa08f168d607564291f9c7e63d5bcdd 1243836 debug optional libpolyml11-dbgsym_5.8.1-1~exp1_amd64.deb
 274a79befe134db8a685906212ed902a 186192 libs optional libpolyml11_5.8.1-1~exp1_amd64.deb
 bd03e97a9b73cb3b1e3053c080ab27b8 5864 debug optional polyml-dbgsym_5.8.1-1~exp1_amd64.deb
 1e94e43edda0182e2d025729e0bb9a0f 507452 libs optional polyml-modules_5.8.1-1~exp1_amd64.deb
 351f13a5c81ba584242a54468b561238 7665 interpreters optional polyml_5.8.1-1~exp1_amd64.buildinfo
 7f10f9cafaff9f2beb8e398f4a2139fc 1950076 interpreters optional polyml_5.8.1-1~exp1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAl/B4jQACgkQsZN3DBhq
HH0MfxAAlXEe/AJWF7bi+YvySoKb3hGSchzd+iQcNn0vrH4DZabc7SaP7oe0Z5oo
SW3NWNwNCYBM9XB2Md0RP3DX6WLPUQ7CE8ZRliq4Ul5QXQhgSeMkHSSKCGvB7Iqe
y7jjJA7o/R0fUoYVvwNjXtGX5gVg95UI3Rhe2PIw/6vhaoTYMscW/3li/qHgHthj
4JpaDdFkTNdv8Y/5ofIESquDyn01pkdhVtDeSXbMkZkbAET6pAID3YUqmdrbUl3x
CFyHGXhnbzdOgbIHo7OLYqLNS2LbfDz/4RTFR9pj4hlZEIe6ts1miSumFshdXyyt
1tE5XjmkVd5a/VBzUDVaZmvv/5xuQsCpyWFx+1QZnLIJV4ssjq7op+SO09WodC/J
xGK5WoKh+UzZJjgG3pQvFWnH5lKmCFHzmBPcUiDWHfaEqvaMWbQswLhlEUvXTcEZ
708BAynJUu/awO2gMn+CvTDZnnt0AhZ9eX5u4EtQYjpFHVMcgHcxcmkuIv0zXiXs
WBShGpOT9HgBfaybIq6ich5rNvckHP1IxLyJazVJ2zlt+KMQ6bDUo6tmTE29UYDy
NWxCSSzipVXFy9ch2HZeyBy0h2Rg5GFjiJ4/osJ21nJmEp8a8eAL5KvBsXDb6IKf
M0CSY4HO5e1CyjpWP8z7L6iFLSS3XI4EZ54V7h0L7IG1dkwpyW8=
=229S
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.