Publishing details

• Published on 2023-04-25
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

polyml (5.7.1-5) unstable; urgency=medium

  * glibc-2.34-PTHREAD_STACK_MIN.patch: New patch to fix build with glibc 2.34
    (Closes: #1020264)
  * d/rules: Silence textrel warnings during the build
  * polyc-notext.patch: New patch to silence textrel warnings using polyc
    (Closes: #1007974)

 -- Jessica Clarke <email address hidden>  Fri, 03 Feb 2023 00:25:28 +0000

Builds

Built packages

• libpolyml-dev development files for Poly/ML, a compiler for Standard ML

• libpolyml9 runtime files for Poly/ML, a compiler for Standard ML

• libpolyml9-dbgsym debug symbols for libpolyml9

• polyml interpreter and interactive compiler for Standard ML

• polyml-dbgsym debug symbols for polyml

• polyml-modules modules for Poly/ML, a compiler for Standard ML

Package files

• libpolyml-dev_5.7.1-5_amd64.deb (244.3 KiB)
• libpolyml-dev_5.7.1-5_arm64.deb (246.1 KiB)
• libpolyml-dev_5.7.1-5_armhf.deb (232.3 KiB)
• libpolyml-dev_5.7.1-5_ppc64el.deb (288.5 KiB)
• libpolyml-dev_5.7.1-5_riscv64.deb (660.6 KiB)
• libpolyml-dev_5.7.1-5_s390x.deb (234.8 KiB)
• libpolyml9-dbgsym_5.7.1-5_amd64.ddeb (1.1 MiB)
• libpolyml9-dbgsym_5.7.1-5_arm64.ddeb (1.1 MiB)
• libpolyml9-dbgsym_5.7.1-5_armhf.ddeb (1.1 MiB)
• libpolyml9-dbgsym_5.7.1-5_ppc64el.ddeb (1.2 MiB)
• libpolyml9-dbgsym_5.7.1-5_riscv64.ddeb (1.1 MiB)
• libpolyml9-dbgsym_5.7.1-5_s390x.ddeb (1.2 MiB)
• libpolyml9_5.7.1-5_amd64.deb (195.7 KiB)
• libpolyml9_5.7.1-5_arm64.deb (189.3 KiB)
• libpolyml9_5.7.1-5_armhf.deb (177.8 KiB)
• libpolyml9_5.7.1-5_ppc64el.deb (221.1 KiB)
• libpolyml9_5.7.1-5_riscv64.deb (194.1 KiB)
• libpolyml9_5.7.1-5_s390x.deb (188.2 KiB)
• polyml-dbgsym_5.7.1-5_amd64.ddeb (6.4 KiB)
• polyml-dbgsym_5.7.1-5_arm64.ddeb (6.5 KiB)
• polyml-dbgsym_5.7.1-5_armhf.ddeb (6.4 KiB)
• polyml-dbgsym_5.7.1-5_ppc64el.ddeb (6.6 KiB)
• polyml-dbgsym_5.7.1-5_riscv64.ddeb (6.3 KiB)
• polyml-dbgsym_5.7.1-5_s390x.ddeb (6.4 KiB)
• polyml-modules_5.7.1-5_amd64.deb (671.1 KiB)
• polyml-modules_5.7.1-5_arm64.deb (667.4 KiB)
• polyml-modules_5.7.1-5_armhf.deb (599.2 KiB)
• polyml-modules_5.7.1-5_ppc64el.deb (665.4 KiB)
• polyml-modules_5.7.1-5_riscv64.deb (667.2 KiB)
• polyml-modules_5.7.1-5_s390x.deb (655.9 KiB)
• polyml_5.7.1-5.debian.tar.xz (21.9 KiB)
• polyml_5.7.1-5.dsc (2.1 KiB)
• polyml_5.7.1-5_amd64.deb (2.4 MiB)
• polyml_5.7.1-5_arm64.deb (2.1 MiB)
• polyml_5.7.1-5_armhf.deb (1.4 MiB)
• polyml_5.7.1-5_ppc64el.deb (2.1 MiB)
• polyml_5.7.1-5_riscv64.deb (1.5 MiB)
• polyml_5.7.1-5_s390x.deb (2.2 MiB)
• polyml_5.7.1.orig.tar.gz (6.9 MiB)