Debian Patches
Status for coq-dpdgraph/1.0+8.20-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| ignore_warning_70.patch | make sure warning 70 isn't an error | Julien Puydt | yes | |||
| use_install.patch | use install and $DESTDIR so things get properly installed | Julien Puydt | invalid |
All known versions for source package 'coq-dpdgraph'
- 1.0+8.20-1 (sid, trixie)
- 1.0+8.16-2 (bookworm)