Request for help to support LoongArch architecture in ocaml source

Dear maintainers, Please don't feel bothered by my sudden letter. I would like to ask for your help． This e-mail is about the support for LoongArch architecture in ocaml source. The support for LoongArch architecture has been submitted in ocaml upstream. However, the submission request to

coq-bignums_9.0.0+coq8.19-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 09:51:53 +0100 Source: coq-bignums Architecture: source Version: 9.0.0+coq8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-ext-lib_0.12.1-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 09:56:43 +0100 Source: coq-ext-lib Architecture: source Version: 0.12.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-hammer_1.3.2+8.19-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 10 Apr 2024 08:56:56 +0200 Source: coq-hammer Architecture: source Version: 1.3.2+8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-elpi_2.1.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 30 Mar 2024 09:35:03 +0100 Source: coq-elpi Architecture: source Version: 2.1.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

aac-tactics_8.19.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 09:51:21 +0100 Source: aac-tactics Architecture: source Version: 8.19.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-dpdgraph_1.0+8.19-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 30 Mar 2024 09:33:52 +0100 Source: coq-dpdgraph Architecture: source Version: 1.0+8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

flocq_4.1.4-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 09:57:16 +0100 Source: flocq Architecture: source Version: 4.1.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

ott_0.33+ds-3_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 22 Apr 2024 18:06:42 +0200 Source: ott Architecture: source Version: 0.33+ds-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

paramcoq_1.1.3+coq8.19-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 09:57:47 +0100 Source: paramcoq Architecture: source Version: 1.1.3+coq8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-libhyps_2.0.8-3_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 15:41:03 +0200 Source: coq-libhyps Architecture: source Version: 2.0.8-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-menhirlib_20231231+ds-3_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 15:42:54 +0200 Source: coq-menhirlib Architecture: source Version: 20231231+ds-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-unimath_20240331-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 10 Apr 2024 09:29:16 +0200 Source: coq-unimath Architecture: source Version: 20240331-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-hott_8.19-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 30 Mar 2024 09:44:04 +0100 Source: coq-hott Architecture: source Version: 8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: