langVersion: 1.10
version: 1.10
sourcesDir: src
testsDir: test
binariesDir: bin
extensionsDir: ext
extensionMainClass: org.arend.lib.StdExtension