up ver

friguzzi · Dec 5, 2018 · 3685983 · 3685983
1 parent 9222e31
commit 3685983
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pack.pl b/pack.pl
@@ -1,5 +1,5 @@
 name(bddem).
 title('A library for manipulating Binary Decision Diagrams').
-version('4.3.0').
+version('4.3.1').
 author('Fabrizio Riguzzi','[email protected]').
 download('https://github.com/friguzzi/bddem/releases/*.zip').