Debian Patches
Status for coq-dpdgraph/1.0+9.1-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 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+9.1-2 (sid)
- 1.0+8.20-1 (forky, trixie)
- 1.0+8.16-2 (bookworm)