Hi,
Source: elpi
Version: 8.5.4-1
Severity: wishlist
Tags: patch
User: debian-loongarch@lists.debian.org
Usertags: loong64
Dear maintainers,
The elpi source package lacks LoongArch architecture support.
We need to add build support for loongarch64 in d/control, for examples,
```
Package: libelpi-ocaml
-Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4
+Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4
Package: libelpi-ocaml-dev
-Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4
+Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4
Package: elpi
-Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4
+Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4
```
I'm ok with adding support for the architecture.
I would like to remind you that the compilation dependencies of loong64
elpi are not yet satisfied.
If you have any questions, you can contact me at any time.
I guess you're working your way up and you want to remove future easy hurdles already.
I'll get this out of your way, but notice all Coq packages are mostly blocked since weeks - I'll push the change for elpi on salsa but won't upload before I can get everything in shape, probably not before january.
Cheers,
J.Puydt