Debian Patches
Status for coq-mtac2/1.4+9.0-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| coq9.1.patch | fix compilation with Coq/Rocq 9.1 | mostly upstream, but some changes by Julien Puydt | yes | |||
| fix_configure.sh.patch | make configure.sh usable for Debian | Julien Puydt | invalid |
All known versions for source package 'coq-mtac2'
- 1.4+9.0-2 (experimental)
- 1.4+8.20-1 (trixie, forky, sid)
- 1.4+8.16-2 (bookworm)