[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. debian/0.8.3-1_exp1-4-g4830f6b

[Alexander Dreyer]

The following commit has been merged in the master branch:
commit 92cd60e023953f5c1a5cd11bb544981baec5af57
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Mar 12 11:40:14 2013 +0100

    Install convenience header usr/include/polybori.h

diff --git a/debian/libpolybori-dev.install b/debian/libpolybori-dev.install
index 925367c..ceb2682 100644
--- a/debian/libpolybori-dev.install
+++ b/debian/libpolybori-dev.install
@@ -1,3 +1,4 @@
+usr/include/polybori.h
 usr/include/polybori/*.*
 usr/include/polybori/cudd
 usr/include/polybori/cache

-- 
polybori: Polynomials over Boolean Rings