-----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@lists.alioth.debian.org> Changed-By: Jessica Clarke <jrtc27@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-----
