cvc5: add patches for CVE-2024-37794 & CVE-2024-37795#335628

Closed

risicle wants to merge 1 commit intoNixOS:release-24.05from risicle:ris-cvc5-CVE-2024-37794-CVE-2024-37795-r24.05

+173-1

Commits on Aug 18, 2024

cvc5: add patches for CVE-2024-37794 & CVE-2024-37795
risicle
committed