Package Details: frama-c-git 19.1.r1.g17683929-1

Git Clone URL: https://aur.archlinux.org/frama-c-git.git (read-only, click to copy)
Package Base: frama-c-git
Description: source-code analysis of c software
Upstream URL: http://frama-c.com
Licenses: LGPL
Submitter: Alad
Maintainer: Alad
Last Packager: Alad
Votes: 0
Popularity: 0.000000
First Submitted: 2019-11-30 18:41
Last Updated: 2019-11-30 19:23