From 6acd2b18d8ede9883cd4e5fc815ec9e2a0f9cb79 Mon Sep 17 00:00:00 2001
From: Fabrizio Riguzzi <fabrizio.riguzz@unife.it>
Date: Sun, 4 Nov 2018 15:59:04 +0100
Subject: [PATCH] version 4.5.0: bddem as a separate pack

---
 pack.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pack.pl b/pack.pl
index 5f4f63e7..8630e732 100644
--- 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','fabrizio.riguzzi@unife.it').
 download('https://github.com/friguzzi/cplint/releases/*.zip').
 requires(bddem).