Debian Patches
Status for coq-elpi/3.5.0-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| riscv64.patch | fix compilation on riscv64 | Adrian Bunk | yes | |||
| dune3.24.patch | fix compilation with recent dune | Julien Puydt | not-needed |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| riscv64.patch | fix compilation on riscv64 | Adrian Bunk | yes | |||
| dune3.24.patch | fix compilation with recent dune | Julien Puydt | not-needed |