Debian Patches

Status for coq-equations/1.3.1-8.20-1

This package does not include any patches.

All known versions for source package 'coq-equations'

1.3.2-9.2-2 (sid)
1.3.1-8.20-1 (forky, trixie)
1.3-8.16-2 (bookworm)

Links