.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

# Generated by mksrcinfo v8
# Sat Jan 19 07:02:33 UTC 2019
pkgbase = frama-c
	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
	pkgver = 18.0
	pkgrel = 1
	epoch = 1
	url = http://frama-c.com
	arch = i686
	arch = x86_64
	license = LGPL2.1
	makedepends = lablgtk2
	makedepends = coq
	makedepends = graphviz
	makedepends = ltl2ba
	makedepends = ocaml
	makedepends = ocaml-ocamlgraph
	makedepends = ocaml-findlib
	makedepends = ocaml-num
	depends = gtksourceview2
	depends = libgnomecanvas
	depends = ocaml-zarith
	optdepends = lablgtk2
	optdepends = coq
	optdepends = graphviz
	optdepends = ltl2ba
	source = http://frama-c.com/download/frama-c-18.0-Argon.tar.gz
	md5sums = 659cf094d6e92a8adeb5863ec229020b
	sha1sums = b97529a6f92622f9d6e9132668b978e615c1969e
	sha256sums = 42b12540c608f3bf6cc258a6bcededf3c596589e58bfdfc6bf473a05ab980829

pkgname = frama-c