Add packages for MetaCoq 1.3.4 on Coq 8.20#3316

Merged

mattam82 merged 1 commit intocoq:masterfrom yforster:coq-metacoq.1.3.4+8.20

Jan 28, 2025

+541

Commits on Jan 27, 2025

Add packages for MetaCoq 1.3.4 on Coq 8.20
yforster
committed