Skip to content
Snippets Groups Projects
Commit e50147e7 authored by Jan Gruteser's avatar Jan Gruteser
Browse files

use snapshot version

parent 41cf332b
No related branches found
No related tags found
No related merge requests found
......@@ -31,7 +31,7 @@ def parser_version = '2.13.3'
dependencies {
//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
implementation(group: 'commons-cli', name: 'commons-cli', version: '1.8.0')
implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.2')
implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.3-SNAPSHOT')
implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment