devel/cbmc: fix build with older llvm
Description
Description
Details
Details
- Provenance
olivier Authored on Sun, Jun 21, 3:48 PM - Parents
- R11:ba61254d0d07: deskutils/qownnotes: update QOwnNotes to version 26.6.7.
- Branches
- Unknown
- Tags
devel/cbmc: fix build with older llvm Tags None Referenced Files None Subscribers None |