correct version

friguzzi · Oct 25, 2018 · 97f2efa · 97f2efa
1 parent c00d1f1
commit 97f2efa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pack.pl b/pack.pl
@@ -1,6 +1,6 @@
 name(cplint).
 title('A suite of programs for reasoning with probabilistic logic programs').
-version('4.0').
+version('4.0.0').
 author('Fabrizio Riguzzi','[email protected]').
 download('https://github.com/friguzzi/cplint/releases/*.zip').
 requires(auc).