frama-wodi-profile.ini

[source_1]
name = public_godirepo_unknown
master_sites = 
build_sites = 
include = *-*
enable_condition = always

[profile]
name = frama-wodi
comment = additional packages related to Frama-C
archive = false
sources = source_0 source_1 source_2
section = 4.00

[source_0]
name = winbeta
master_sites = http://dl.arirux.de/distfiles/
build_sites = http://dl.arirux.de/buildfiles/
include = *-*
enable_condition = always

[source_2]
name = frama-wodi
master_sites = https://raw.github.com/vprevosto/master/distfiles/
build_sites = https://raw.github.com/vprevosto/master/buildfiles/
include = *-*
enable_condition = always