[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. upstream/0.8.2-42-g9b048fc
Alexander Dreyer
adreyer at gmx.de
Fri Jan 4 23:53:38 UTC 2013
The following commit has been merged in the master branch:
commit 7d32f5a1b6c3bc67380c3577302353949557bd6a
Author: Alexander Dreyer <adreyer at gmx.de>
Date: Fri Jan 4 22:43:32 2013 +0100
Added master package 'polybori', and 'polybori-gui'
diff --git a/debian/control b/debian/control
index 8184635..80998e3 100644
--- a/debian/control
+++ b/debian/control
@@ -20,16 +20,60 @@ DM-Upload-Allowed: yes
Homepage: http://polybori.sourceforge.net/
X-Python-Version: >= 2.6
-Package: python-polybori
+Package: polybori
Architecture: any
Section: python
Depends: ${shlibs:Depends},
${misc:Depends},
ipython,
+ python-polybori (= ${binary:Version}),
+ ${python:Depends}
+Provides: polybori
+Description: polynomials over Boolean Rings, Python module
+ The core of PolyBoRi is a C++ library, which provides high-level data
+ types for Boolean polynomials and monomials, exponent vectors, as
+ well as for the underlying polynomial rings and subsets of the
+ powerset of the Boolean variables. As a unique approach, binary
+ decision diagrams are used as internal storage type for polynomial
+ structures. On top of this C++-library we provide a Python
+ interface. This allows parsing of complex polynomial systems, as well
+ as sophisticated and extendable strategies for Groebner base
+ computation. PolyBoRi features a powerful reference implementation
+ for Groebner basis computation.
+ .
+ This package contains the PolyBoRi's shell ipbori.
+
+Package: polybori-gui
+Architecture: any
+Section: python
+Depends: ${shlibs:Depends},
+ ${misc:Depends},
+ python-qt4,
+ python-polybori (= ${binary:Version}),
+ ${python:Depends}
+Description: polynomials over Boolean Rings, Python module
+ The core of PolyBoRi is a C++ library, which provides high-level data
+ types for Boolean polynomials and monomials, exponent vectors, as
+ well as for the underlying polynomial rings and subsets of the
+ powerset of the Boolean variables. As a unique approach, binary
+ decision diagrams are used as internal storage type for polynomial
+ structures. On top of this C++-library we provide a Python
+ interface. This allows parsing of complex polynomial systems, as well
+ as sophisticated and extendable strategies for Groebner base
+ computation. PolyBoRi features a powerful reference implementation
+ for Groebner basis computation.
+ .
+ This package contains the PolyBoRi's PolyGUI.
+
+
+Package: python-polybori
+Architecture: any
+Section: python
+Depends: ${shlibs:Depends},
+ ${misc:Depends},
libpolybori-dev (= ${binary:Version}),
libpolybori-groebner-dev (= ${binary:Version}),
${python:Depends}
-Provides: polybori
Description: polynomials over Boolean Rings, Python module
The core of PolyBoRi is a C++ library, which provides high-level data
types for Boolean polynomials and monomials, exponent vectors, as
@@ -42,7 +86,7 @@ Description: polynomials over Boolean Rings, Python module
computation. PolyBoRi features a powerful reference implementation
for Groebner basis computation.
.
- This package contains the PolyBoRi Python module and ipbori program.
+ This package contains the PolyBoRi Python module.
Package: libpolybori-dev
Architecture: any
diff --git a/debian/copyright b/debian/copyright
index 1e94959..76a602f 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -18,24 +18,24 @@ Files: Cudd/*
Copyright: 1995-2004, Fabio Somenzi <fabio at colorado.edu>
License: BSD-3
Copyright (c) 1995-2004, Regents of the University of Colorado
-
+ .
All rights reserved.
-
+ .
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
-
+ .
Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
-
+ .
Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
-
+ .
Neither the name of the University of Colorado nor the names of its
contributors may be used to endorse or promote products derived from
this software without specific prior written permission.
-
+ .
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
@@ -58,6 +58,13 @@ Copyright: 2007,2008 Gregory Bard <gregory.bard at ieee.org>
2008-2011 Martin Albrecht <martinralbrecht at googlemail.com>
2011 Carlo Wood <carlo at alinoe.com>
License: GPL-2+
+ This package is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 2 of the License, or
+ (at your option) any later version.
+ .
+ On Debian systems, the complete text of the GNU General
+ Public License can be found in `/usr/share/common-licenses/GPL'.
Files: *
Copyright: 2006-2012, Michael Brickenstein <brickenstein at mfo.de>
diff --git a/debian/polybori-gui.install b/debian/polybori-gui.install
new file mode 100644
index 0000000..c2b862c
--- /dev/null
+++ b/debian/polybori-gui.install
@@ -0,0 +1,3 @@
+usr/bin/PolyGUI
+usr/share/man/man1/PolyGUI.1
+usr/share/polybori/gui/
diff --git a/debian/polybori.install b/debian/polybori.install
new file mode 100644
index 0000000..e7cf274
--- /dev/null
+++ b/debian/polybori.install
@@ -0,0 +1,3 @@
+usr/bin/ipbori
+usr/share/man/man1/ipbori.1
+usr/share/polybori/ipbori/
diff --git a/debian/python-polybori.install b/debian/python-polybori.install
index 7b39bb6..f134f77 100644
--- a/debian/python-polybori.install
+++ b/debian/python-polybori.install
@@ -1,5 +1,2 @@
usr/lib/python*/
-usr/share/polybori
-usr/bin
-usr/share/man
--
polybori: Polynomials over Boolean Rings
More information about the debian-science-commits
mailing list