Debian Patches
Status for coq-elpi/3.5.1-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| riscv64.patch | fix compilation on riscv64 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> | yes | 2026-10-26 | ||
| dune3.24.patch | fix compilation with recent dune | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> | not-needed | 2026-10-26 | ||
| 0003-Update-random-initialization-in-Elpi-command.patch | Update random initialization in Elpi command Replace random.self_init with random.init 0 in Elpi command. |
Enrico Tassi <gareuselesinge@gmail.com> | no | https://github.com/LPCIC/coq-elpi/pull/1122 | 2026-10-26 |