Processed: your mail

To: julien.puydt@gmail.com
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: your mail
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 01 Jun 2024 06:09:03 +0000
Message-id: <[🔎] handler.s.C.1717221943924805.transcript@bugs.debian.org>
References: <2a92c0b8b79fa03b8ab4e615e5a950555c8bca03.camel@gmail.com>

Processing commands for control@bugs.debian.org:

> fixed #1059090 1.18.1-1
Bug #1059090 [src:elpi] elpi: add build support for loongarch64
The source 'elpi' and version '1.18.1-1' do not appear to match any binary packages
Marked as fixed in versions elpi/1.18.1-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1059090: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1059090
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

Next by Date: dh-coq_0.9_source.changes ACCEPTED into unstable
Next by thread: dh-coq_0.9_source.changes ACCEPTED into unstable
Index(es):
- Date
- Thread