search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

update sbt and scala versions #458

Closed lambdaTotoro closed 5 years ago

lambdaTotoro commented 5 years ago

sbt: minor version bump (1.1.1 to 1.2.7) scala: patch / minor version bump (2.12.3 to 2.12.8)