.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
34

# Generated by mksrcinfo v8
# Sun Dec  1 16:59:03 UTC 2019
pkgbase = frama-c
	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
	pkgver = 19.1
	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
	makedepends = ocaml-yojson
	depends = gtksourceview2
	depends = libgnomecanvas
	depends = ocaml-zarith
	optdepends = lablgtk2
	optdepends = coq
	optdepends = graphviz
	optdepends = ltl2ba
	source = http://frama-c.com/download/frama-c-19.1-Potassium.tar.gz
	md5sums = 439bfca103e6ceb726df3fc993334d57
	sha1sums = ee1f2528c58196ffbefb93879eff65fbecad8db6
	sha256sums = 2def511c3cf4b0362bd67520bc48345c5093754c70de7c712b9af9b12561ba9b

pkgname = frama-c