Debian Patches
Status for coq-equations/1.3.2-9.2-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| dune3.24.patch | fix compilation with recent dune | Julien Puydt | invalid |
All known versions for source package 'coq-equations'
- 1.3.2-9.2-2 (sid)
- 1.3.1-8.20-1 (forky, trixie)
- 1.3-8.16-2 (bookworm)