Bug#1080490: RM: elpi libelpi-ocaml libelpi-ocaml-dev [armhf i386] -- ROM; armhf and i366 are no longer native

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#1080490: RM: elpi libelpi-ocaml libelpi-ocaml-dev [armhf i386] -- ROM; armhf and i366 are no longer native
From: Stéphane Glondu <glondu@debian.org>
Date: Thu, 05 Sep 2024 02:11:42 +0200
Message-id: <[🔎] 172549510202.2859929.4051836155494002830.reportbug@baronn.up7.fr>
Reply-to: Stéphane Glondu <glondu@debian.org>, 1080490@bugs.debian.org

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: elpi@packages.debian.org, debian-ocaml-maint@lists.debian.org
Control: affects -1 + src:elpi
User: ftp.debian.org@packages.debian.org
Usertags: remove

Dear FTP Team,

Thanks for processing #1078252.

I forgot elpi in that bug. Please remove its binary packages on armhf
and i386.

Cheers,

-- 
Stéphane

Reply to:

Prev by Date: Bug#1078252: Removed package(s) from unstable
Next by Date: Bug#1080490: Removed package(s) from unstable
Previous by thread: Bug#1078252: Removed package(s) from unstable
Next by thread: Bug#1080490: Removed package(s) from unstable
Index(es):
- Date
- Thread