Debian Patches
Status for paramcoq/1.1.3+coq8.20-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix_typo.patch | fix a typo | Julien Puydt | yes |
All known versions for source package 'paramcoq'
- 1.1.3+coq8.20-1 (sid, trixie)
- 1.1.3+coq8.16-3 (bookworm)