| ID | 32584 | ||||||
|---|---|---|---|---|---|---|---|
| Build | frama-c-30.0-6.rvre0.fc42 | ||||||
| Name | frama-c-emacs | ||||||
| Version | 30.0 | ||||||
| Release | 6.rvre0.fc42 | ||||||
| Epoch | |||||||
| Arch | noarch | ||||||
| Draft | False | ||||||
| Summary | Emacs support file for ACSL markup | ||||||
| Description | This package contains an Emacs support file for working with C source files marked up with ACSL. | ||||||
| Build Time | 2025-04-04 08:06:35 GMT | ||||||
| Size | 19.77 KB | ||||||
| 4b9c150009cd374eae4e1ce82de17642 | |||||||
| License | LGPL-2.1-only | ||||||
| git:https://git.frama-c.com/pub/frama-c.git | |||||||
| Provides |
|
||||||
| Obsoletes | No Obsoletes | ||||||
| Conflicts | No Conflicts | ||||||
| Requires |
|
||||||
| Recommends | No Recommends | ||||||
| Suggests | No Suggests | ||||||
| Supplements | No Supplements | ||||||
| Enhances | No Enhances | ||||||
| Files | |||||||
| Component of | No Buildroots |
