The amd64 packages are not actually compiled for amd64:

/usr/lib/smlnj/bin/.run/run.x86-linux: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 2.6.32, BuildID[sha1]=205158fc8f5bd70fe18a4b1f2a5279e01053b961, stripped

This means that they cannot run on systems where the kernel does not
provide the i386 system call interface.

Control: severity -1 wishlist
Control: tag -1 upstream
Control: retitle -1 Provide 64-bit binaries

Yes. That's why smlnj-runtime Depends on libc6-i386. Upstream doesn't have
native 64-bit support yet.

That's not a typical configuration. If you're going to disable support for
the 32-bit interface, then you'll have to wait until upstream finishes
64-bit support.

Cheers,
James

* James McCoy:

These days, users could just install the smlnj:i386 packages, which
would makes this much more explicit.

We believe that the bug you reported is fixed in the latest version of
smlnj, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 796661@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Barak A. Pearlmutter <bap@debian.org> (supplier of updated smlnj package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Sat, 12 Sep 2026 14:00:00 +0100
Source: smlnj
Architecture: source
Version: 110.99.9-1
Distribution: unstable
Urgency: medium
Maintainer: Barak A. Pearlmutter <bap@debian.org>
Changed-By: Barak A. Pearlmutter <bap@debian.org>
Closes: 796661 1075518 1147437
Changes:
 smlnj (110.99.9-1) unstable; urgency=medium
 .
   * New upstream version (closes: #1075518)
   * Build natively on amd64 using upstream's 64-bit code generator,
     instead of 32-bit x86 via gcc-multilib (closes: #796661)
   * Keep package in unstable (closes: #1147437)
   * Debhelper 14, dh sequencer
   * Standards version 4.7.4
   * uscan v5 debian/watch, update debian/mkorig (https, amd64 boot image)
   * Machine-readable debian/copyright
   * Forward port quilt patches
   * Quote arguments in wrapper scripts
   * Drop obsolete Replaces: sml-nj
   * Rewrite README.Debian
   * Use upstream man pages; add heap2asm(1)
   * Install new libraries (json, sexp, xml, html4, uuid, pp-extras,
     basis-2004, compiler) and heap2asm/heap2exec
   * NLFFI is 32-bit only upstream, so libmlnlffi-smlnj and ml-nlffigen
     are now i386/powerpc only
   * Fix doc-base paths for smlnj-doc
   * Add debian/upstream/metadata
   * Patch typos in sml(1)
   * Ship the SML/NJ Library HTML documentation (MathJax CDN reference
     removed) instead of its asciidoc sources
   * Keep the build directory out of driver scripts and stable libraries
     (patch: SMLNJ_TRIM_PREFIX trims file names in recorded locations)
Checksums-Sha1:
 472d0edfb93d3359877a82f7a5a1558be14b926f 3426 smlnj_110.99.9-1.dsc
 02629c29631b0e8fa399c9be06a06c1cd02e22ee 25753746 smlnj_110.99.9.orig.tar.gz
 33ee39413b4049d3c43a127ccdc411b4e09365e3 19260 smlnj_110.99.9-1.debian.tar.xz
 fa520b0aa9207532578cc174242bcc302c0f25f9 51263164 smlnj_110.99.9-1.git.tar.xz
 b7006d072366efa35dc1ca8db6e559b8cc2b32a3 17672 smlnj_110.99.9-1_source.buildinfo
Checksums-Sha256:
 29ac5cc63cd82fccfd31677f6122d044b99d4e55063228cb9d5132684152b35a 3426 smlnj_110.99.9-1.dsc
 928b0942a8a790c80ac7d7b498cd8c5d7ebd7e80465a2f60f824eaad2be42a36 25753746 smlnj_110.99.9.orig.tar.gz
 0d0b2356bc30c059022589ddda08fe5971a5a97884341f29eb133c0a87356553 19260 smlnj_110.99.9-1.debian.tar.xz
 68950abee79b391bb3d9646a56742770566f484aa999170a9478e86978e9656f 51263164 smlnj_110.99.9-1.git.tar.xz
 3d02094ed0d868d82a1f629d1c38d57c53d6db5190a6f6daadea8aaeaa01dc14 17672 smlnj_110.99.9-1_source.buildinfo
Files:
 6cf4fa150e7830e3413ac482ec968f2a 3426 devel optional smlnj_110.99.9-1.dsc
 6c914650bafb733b01848dcf3c91ffda 25753746 devel optional smlnj_110.99.9.orig.tar.gz
 dcbaa0fde57514362051a6faf624d1d3 19260 devel optional smlnj_110.99.9-1.debian.tar.xz
 07f9091f47a96b6d4f1583c2e5c175ca 51263164 devel None smlnj_110.99.9-1.git.tar.xz
 dc32b3ecf84840ac0c7e370db106333b 17672 devel optional smlnj_110.99.9-1_source.buildinfo
Git-Tag-Info: tag=76fcb2bedaf9c13ba170ef22ff2195122607d187 fp=2de4bf05421076c47ad20367c6af2490d3ca72b9
Git-Tag-Tagger: Barak A. Pearlmutter <barak+git@pearlmutter.net>
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqlt30ACgkQYG0ITkaD
wHlBJBAAidcnct+AurluiFxW22U12PIFFqHw3FUt6186RwX5Dt1wv3N7m/VQ6ZHZ
C7T8nd6NjqmvZYpRyaz7P2XZ6H7u/O9+GW720JahT2wiGgV4pIydhnnEPR4gXAjA
v0b/aRQcEMWPr67MZ4JkxYgrXPo5Rv5dbeqZAPpGz/woxNH2bVof2VmbykQrsaOP
mF06FMgIUXzaeFAcmUQxhnE7KqKYk0SbHNXXwAW2AIO4F5Ai7NSlJ3Jszq0wZYZk
aNbjd269YFiamgy8IovDIOY9maOkKlrqN1/MgZeXn/MPtVYudmVlWNlH/ail2nO1
0WL86OVRfH/MevEsFEqPVAEiM2rsmzY6OjszRWdZkgTJgDkJvVMKntiI1W6LfpPR
Cw8WBipqU+FHegvA97lWFRi8UZrAVU+IQgZrFaO5R2f5gtmlRG/MgKknJmbA9T7R
Req/Iltju0h2hYRmy+4Zk1L19tjpQ2887pIG+mgoPkUX6tP5n+zxvMDBEcz/RGuz
vvLX/DQy/+SpY4I2eEAlS2/Q5XpupXjPT+feijiwJDpOidkbWxOciT+JQpincMN9
v6e0VpA6x0e4CSJ1hvPi3QLjMfuFfT415TRGKldRiZy3VxBU8Ga28K1Rf/PCGAvl
p1pwWCT9ItonYpgKjLkyG45EWRiEgKoUteYvzeGDbNExGXh52LQ=
=pU1f
-----END PGP SIGNATURE-----