Skip to content

Commit

Permalink
upgrade versions
Browse files Browse the repository at this point in the history
  • Loading branch information
daemontus committed Mar 9, 2017
1 parent 5e74457 commit e9d0215
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions build.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ apply plugin: 'application'

group = "com.github.sybila"
mainClassName = "com.github.sybila.ComponentsKt"
version = '0.2.0'
version = '0.3.0'


// In this section you declare where to find the dependencies of your project
Expand All @@ -36,8 +36,9 @@ dependencies {
// ODE and CTL modules do not propagate this dependency, because it's part of the plugin
compile 'org.antlr:antlr4-runtime:4.6'
compile "org.jetbrains.kotlin:kotlin-stdlib:$kotlin_version"
compile 'args4j:args4j:2.33'
// BioDivine modules.
compile 'com.github.sybila:ode-generator:-SNAPSHOT'
compile 'com.github.sybila:ode-generator:e9dace3210' //latest commit with some minor changes
compile 'com.github.sybila:ctl-model-checker:2.1.2'
}

Expand Down

0 comments on commit e9d0215

Please sign in to comment.