Debian Patches
Status for coq-mtac2/1.4+8.20-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 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)