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

frege {
    version = '3.25.84'
    release = '3.25alpha'
    mainModule = 'ch.fhnw.thga.HelloFrege'
    replModule = 'ch.fhnw.thga.HelloFrege'
}