Debian Patches
Status for coq-unicoq/1.6-9.1-4
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-Restore-compatibility-with-OCaml-5.5.patch | Restore compatibility with OCaml 5.5 | Yann Leray <yann.leray@inria.fr> | no | https://github.com/unicoq/unicoq/pull/113 | 2026-06-26 |
All known versions for source package 'coq-unicoq'
- 1.6-9.1-4 (sid)
- 1.6-9.1-2 (forky)
- 1.6-8.20-1 (trixie)
- 1.6-8.16-2 (bookworm)