Debian Patches

Status for coq-iris/4.0.0-3

This package does not include any patches.

All known versions for source package 'coq-iris'

4.4.0-2 (experimental)
4.3.0-1 (forky, trixie, sid)
4.0.0-3 (bookworm)

Links