Debian Patches
Status for coq-reglang/1.2.2-4
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| dune3.24.patch | fix compilation with recent dune | Julien Puydt | invalid | |||
| crocq9.2.patch | Compile with Coq/Rocq 9.2 | Pierre Roux | yes |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| dune3.24.patch | fix compilation with recent dune | Julien Puydt | invalid | |||
| crocq9.2.patch | Compile with Coq/Rocq 9.2 | Pierre Roux | yes |