Debian Patches
Status for coq-mtac2/1.4-rocq9.1-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| rocq9.2.patch | fix compilation with 9.2 | upstream | yes | |||
| fix_configure.sh.patch | make configure.sh usable for Debian | Julien Puydt | invalid |
All known versions for source package 'coq-mtac2'
- 1.4-rocq9.1-2 (sid)
- 1.4+8.20-1 (trixie, forky)
- 1.4+8.16-2 (bookworm)