diff --git a/org.alloytools.alloy.dist/conveyor/conveyor.conf b/org.alloytools.alloy.dist/conveyor/conveyor.conf index d3dac3ce5..097fa9a9c 100644 --- a/org.alloytools.alloy.dist/conveyor/conveyor.conf +++ b/org.alloytools.alloy.dist/conveyor/conveyor.conf @@ -2,7 +2,7 @@ include required("/stdlib/jdk/17/openjdk.conf") app { - version = 6.1.0.7 + version = 6.1.0.8 rdns-name = org.alloytools.alloy name = Alloy fsname = alloy