Debian Patches

Status for rocq-micromega-plugin/1.1.1-2

Patch Description Author Forwarded Bugs Origin Last update
dune.patch fix compilation with recent dune Julien Puydt not-needed

All known versions for source package 'rocq-micromega-plugin'

Links