Debian Patches
Status for coq-hammer/1.3.2+9.0-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| use_libexec.patch | put internal executables away in /usr/libexec | Julien Puydt | yes | |||
| rocq9.1.patch | fix compilation with Rocq 9.1 | Julien Puydt | yes |
All known versions for source package 'coq-hammer'
- 1.3.2+9.0-2 (experimental)
- 1.3.2+8.20-1 (sid, trixie, forky)
- 1.3.2+8.16-2 (bookworm)