version 4.5.0: bddem as a separate pack

friguzzi · Nov 4, 2018 · 6acd2b1 · 6acd2b1
1 parent 80cdb00
commit 6acd2b1
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.1.0').
+version('4.5.0').
 author('Fabrizio Riguzzi','[email protected]').
 download('https://github.com/friguzzi/cplint/releases/*.zip').
 requires(bddem).