Bug#1048224: sml-mode: Fails to build source after successful build

To: control@bugs.debian.org, 1048224@bugs.debian.org
Subject: Bug#1048224: sml-mode: Fails to build source after successful build
From: Santiago Vila <sanvila@debian.org>
Date: Sat, 13 Dec 2025 11:07:07 +0000
Message-id: <[🔎] E1vUNSt-00CGap-1d@paradis.debian.org>
Reply-to: Santiago Vila <sanvila@debian.org>, 1048224@bugs.debian.org
References: <1691954487.845851.1284062.nullmailer@grub.nussbaum.fr>

severity 1048224 normal
close 1048224 6.12-1
thanks

Hi. I've checked and this is fixed in trixie.

Thanks.

Reply to:

Follow-Ups:
- Processed: Re: sml-mode: Fails to build source after successful build
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: Processed: Re: persist-el: Fails to build source after successful build
Next by Date: Processed: Re: sml-mode: Fails to build source after successful build
Previous by thread: Processed: Re: persist-el: Fails to build source after successful build
Next by thread: Processed: Re: sml-mode: Fails to build source after successful build
Index(es):
- Date
- Thread