plugins {
    id 'java'
    id 'ch.fhnw.thga.frege' version '4e72b93'
}


frege {
    version = '3.25.84'
    release = '3.25alpha'
}
dependencies {

}