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

[Stéphane Glondu]

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: e...@packages.debian.org, debian-ocaml-ma...@lists.debian.org
Control: affects -1 + src:elpi
User: ftp.debian....@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