Version 7.0.1

rzese · Sep 19, 2024 · 9685f0a · 9685f0a
1 parent f54a20a
commit 9685f0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pack.pl b/pack.pl
@@ -1,6 +1,6 @@
 name(trill).
 title('A tableau probabilistic reasoner in three different versions').
-version('7.0.0').
+version('7.0.1').
 author('Riccardo Zese', 'zsercr@unife.it').
 download('https://github.com/rzese/trill/releases/*.zip').
 requires(bddem).