Debian Patches
Status for coq-relation-algebra/1.7.9-2
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
compat8.18.patch
make it compile with Coq 8.18
Julien Puydt
yes
All known versions for source package 'coq-relation-algebra'
1.7.10-3
(sid)
1.7.9-2
(trixie)
1.7.8-2
(bookworm)
Links
Package Tracker for 'coq-relation-algebra'
Debian Maintainer Dashboard for 'coq-relation-algebra'
Browse sources for 'coq-relation-algebra/1.7.9-2' on sources.debian.org
DEP3: Patch Tagging Guidelines