Debian Patches

Status for paramcoq/1.1.3+coq8.17-2

This source or version is unknown from this service.

All known versions for source package 'paramcoq'

1.1.3+coq8.20-1 (sid, forky, trixie)
1.1.3+coq8.16-3 (bookworm)

Links