math/coq: Update to 8.20.1
PR: 283111
Reported by: wenheping2000@hotmail.com
Approved by: maintainer(timeout, > 60 days)
Description
Description
Details
Details
- Provenance
wen Authored on Feb 14 2025, 2:30 AM - Parents
- R11:d6100fd1794a: security/scrypt: Update to 1.3.3.
- Branches
- Unknown
- Tags