UNKNOWN OSS-Security

CVE-2020-37268

CVE-2020-37268: Rocq/Coq Print Assumptions omits unsafe universe checking inlined through Parameter Inline (0 = 1 demons…

Affected Products

CVE-2020-37268

References

https://www.openwall.com/lists/oss-security/2026/10/26/8

Published: 2026-10-26 · Source: OSS-Security · Feed updated: 2026-10-26

This unknown severity vulnerability was published on 2026-10-26 via OSS-Security. Affected: CVE-2020-37268.

vulnfeed aggregates 17053 vulnerabilities from NVD, CISA KEV, Ubuntu, Debian, Red Hat, Kubernetes, Exploit-DB, OSS-Security, GitHub and OpenStack — updated every 4 hours.