BIN: updated lib for linux, updated version

friguzzi · Nov 5, 2018 · 4e8eb0d · 4e8eb0d
1 parent de834f4
commit 4e8eb0d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/lib/x86_64-linux/bddem.so b/lib/x86_64-linux/bddem.so
diff --git a/pack.pl b/pack.pl
@@ -1,5 +1,5 @@
 name(bddem).
 title('A library for manipulating Binary Decision Diagrams').
-version('4.1.0').
+version('4.2.0').
 author('Fabrizio Riguzzi','fabrizio.riguzzi@unife.it').
 download('https://github.com/friguzzi/bddem/releases/*.zip').