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
2024-07-25 13:24:27 GMT
Size
2.31 MB
f08166222f3fb290f8eb0b6e2e10c194
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
