This package provides debug sources for package frama-c.
Debug sources are useful when developing applications that use this
package or when debugging this package.
Build Time
2025-04-04 08:06:35 GMT
Size
2.33 MB
5fe9a9e5facef68c455bc059c9976a72
License
LGPL-2.1-only AND LGPL-2.1-or-later AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later AND CC0-1.0 AND CC-BY-SA-4.0 AND BSD-3-Clause AND QPL-1.0-INRIA-2004 WITH QPL-1.0-INRIA-2004-exception
