New issue by LinArcX on void-packages repository

https://github.com/void-linux/void-packages/issues/43474

Description:
### Package name

frama-c

### Package homepage

https://git.frama-c.com/pub/frama-c

### Description

a platform dedicated to the analysis of source code written in C.

### Does the requested package meet the package requirements?

Compiled

### Is the requested package released?

Yes