<?xml version="1.0" encoding="UTF-8"?>
<metadata xmlns="http://linux.duke.edu/metadata/common" xmlns:suse="http://novell.com/package/metadata/suse/common" xmlns:rpm="http://linux.duke.edu/metadata/rpm" packages="25"><package type="rpm">
  <name>PolyBoRi</name>
  <arch>i586</arch>
  <version epoch="0" ver="0.8.0" rel="79.1"/>
  <checksum type="sha" pkgid="YES">e5159087124609f6371a26a964f4becb297bdad5</checksum>
  <summary>Framework for Boolean Rings</summary>
  <description>PolyBoRi is a special purpose computer algebra system for computations in
Boolean Rings. The core is a C++ library, which provides high-level data types
for Boolean polynomials and related structures. As a unique approach, binary
decision diagrams are used as internal storage type for polynomial
structures. On top of this, we provide a Python interface for parsing of
complex polynomial systems, as well as for sophisticated and extendable
strategies for Groebner base computation.</description>
  <packager/>
  <url>http://polybori.sf.net</url>
  <time file="1313579699" build="1313579623"/>
  <size package="51555" installed="107391" archive="109744"/>
<location href="i586/PolyBoRi-0.8.0-79.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.0-79.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="4842"/>
    <rpm:provides>
      <rpm:entry name="PolyBoRi" flags="EQ" epoch="0" ver="0.8.0" rel="79.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="IPython" flags="GE" epoch="0" ver="0.6"/>
      <rpm:entry name="/usr/bin/python"/>
      <rpm:entry name="python-PolyBoRi" flags="EQ" epoch="0" ver="0.8.0" rel="79.1"/>
      <rpm:entry name="/bin/bash"/>
    </rpm:requires>    <file>/usr/bin/ipbori</file>

  </format>
</package>
<package type="rpm">
  <name>PolyBoRi-devel</name>
  <arch>i586</arch>
  <version epoch="0" ver="0.8.0" rel="79.1"/>
  <checksum type="sha" pkgid="YES">8eec6be25ef9077ce17f7bea0445254b8007abf1</checksum>
  <summary>Development files for PolyBoRi</summary>
  <description>Development headers and libraries for PolyBoRi.</description>
  <packager/>
  <url>http://polybori.sf.net</url>
  <time file="1313579700" build="1313579623"/>
  <size package="1048839" installed="4776832" archive="4805920"/>
<location href="i586/PolyBoRi-devel-0.8.0-79.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.0-79.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="20633"/>
    <rpm:provides>
      <rpm:entry name="libpolybori-0.8.0.so.0"/>
      <rpm:entry name="libpolybori_groebner-0.8.0.so.0"/>
      <rpm:entry name="PolyBoRi-devel" flags="EQ" epoch="0" ver="0.8.0" rel="79.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)"/>
      <rpm:entry name="libc.so.6"/>
      <rpm:entry name="libboost_unit_test_framework.so.1.36.0"/>
      <rpm:entry name="libgcc_s.so.1"/>
      <rpm:entry name="libboost_python.so.1.36.0"/>
      <rpm:entry name="libm.so.6"/>
      <rpm:entry name="libgd.so.2"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)"/>
      <rpm:entry name="PolyBoRi" flags="EQ" epoch="0" ver="0.8.0"/>
      <rpm:entry name="libc.so.6(GLIBC_2.1.3)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.0)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.1)"/>
      <rpm:entry name="libpython2.6.so.1.0"/>
      <rpm:entry name="libpolybori-0.8.0.so.0"/>
      <rpm:entry name="libstdc++.so.6"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.0)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.10)"/>
      <rpm:entry name="boost-devel"/>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>PolyBoRi-doc</name>
  <arch>i586</arch>
  <version epoch="0" ver="0.8.0" rel="79.1"/>
  <checksum type="sha" pkgid="YES">a40c7b2211d03862a80bdde96cd211ac9c62fda4</checksum>
  <summary>Documentation package for PolyBoRi</summary>
  <description>This package contains the documentation and tutorial of PolyBoRi.</description>
  <packager/>
  <url>http://polybori.sf.net</url>
  <time file="1313579700" build="1313579623"/>
  <size package="1528662" installed="13567667" archive="13829348"/>
<location href="i586/PolyBoRi-doc-0.8.0-79.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Documentation/Other</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.0-79.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="159938"/>
    <rpm:provides>
      <rpm:entry name="PolyBoRi-doc" flags="EQ" epoch="0" ver="0.8.0" rel="79.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="PolyBoRi" flags="EQ" epoch="0" ver="0.8.0"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>PolyBoRi-gui</name>
  <arch>i586</arch>
  <version epoch="0" ver="0.8.0" rel="79.1"/>
  <checksum type="sha" pkgid="YES">62fa714dc31fa91e1dadda144dc21f3ff6c75c25</checksum>
  <summary>Qt GUI for PolyBoRi</summary>
  <description>Qt GUI for PolyBoRi.</description>
  <packager/>
  <url>http://polybori.sf.net</url>
  <time file="1313579700" build="1313579623"/>
  <size package="4493" installed="1125" archive="1556"/>
<location href="i586/PolyBoRi-gui-0.8.0-79.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.0-79.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="3179"/>
    <rpm:provides>
      <rpm:entry name="PolyBoRi-gui" flags="EQ" epoch="0" ver="0.8.0" rel="79.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="PyQt4"/>
      <rpm:entry name="PolyBoRi" flags="EQ" epoch="0" ver="0.8.0"/>
    </rpm:requires>    <file>/usr/bin/PolyGUI</file>

  </format>
</package>
<package type="rpm">
  <name>PolyBoRi-static</name>
  <arch>i586</arch>
  <version epoch="0" ver="0.8.0" rel="79.1"/>
  <checksum type="sha" pkgid="YES">16ff99bf3c24c4e9400d965caa39a069ee461993</checksum>
  <summary>Static libraries for PolyBoRi</summary>
  <description>Static libraries for PolyBoRi.</description>
  <packager/>
  <url>http://polybori.sf.net</url>
  <time file="1313579701" build="1313579623"/>
  <size package="1054799" installed="5721742" archive="5722148"/>
<location href="i586/PolyBoRi-static-0.8.0-79.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.0-79.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="3182"/>
    <rpm:provides>
      <rpm:entry name="PolyBoRi-static" flags="EQ" epoch="0" ver="0.8.0" rel="79.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="PolyBoRi-devel" flags="EQ" epoch="0" ver="0.8.0"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libm4ri-0_0_20111203</name>
  <arch>i586</arch>
  <version epoch="0" ver="20111203" rel="17.1"/>
  <checksum type="sha" pkgid="YES">565586693441d6b3aa86f0bf945d40dfb9d454d6</checksum>
  <summary>Shared library for m4ri</summary>
  <description>This package contains the shared library to be used by the main package m4ri.</description>
  <packager/>
  <url>http://m4ri.sagemath.org/</url>
  <time file="1329691623" build="1329691603"/>
  <size package="106754" installed="306499" archive="306768"/>
<location href="i586/libm4ri-0_0_20111203-20111203-17.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build21</rpm:buildhost>
    <rpm:sourcerpm>m4ri-20111203-17.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="4281"/>
    <rpm:provides>
      <rpm:entry name="libm4ri-0.0.20111203.so"/>
      <rpm:entry name="libm4ri-0_0_20111203" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libgomp.so.1"/>
      <rpm:entry name="libgomp.so.1(OMP_1.0)"/>
      <rpm:entry name="libm.so.6"/>
      <rpm:entry name="libpthread.so.0"/>
      <rpm:entry name="libc.so.6(GLIBC_2.0)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.7)"/>
      <rpm:entry name="libpng12.so.0(PNG12_0)"/>
      <rpm:entry name="libpng12.so.0"/>
      <rpm:entry name="libc.so.6(GLIBC_2.1.3)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.1)"/>
      <rpm:entry name="libc.so.6"/>
      <rpm:entry name="libc.so.6(GLIBC_2.4)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.3.4)"/>
      <rpm:entry name="libgomp.so.1(GOMP_1.0)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>m4ri</name>
  <arch>i586</arch>
  <version epoch="0" ver="20111203" rel="17.1"/>
  <checksum type="sha" pkgid="YES">fce901432d84fc1cdc7674ff691c550480193d77</checksum>
  <summary>Linear Algebra over F_2</summary>
  <description>M4RI is a library for fast arithmetic with dense matrices over F_2.
The name M4RI comes from the first implemented algorithm: The "Method
of the Four Russians" inversion algorithm published by Gregory Bard.
M4RI is used by the Sage mathematics software and the PolyBoRi library.</description>
  <packager/>
  <url>http://m4ri.sagemath.org/</url>
  <time file="1329691623" build="1329691603"/>
  <size package="12485" installed="20713" archive="21276"/>
<location href="i586/m4ri-20111203-17.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build21</rpm:buildhost>
    <rpm:sourcerpm>m4ri-20111203-17.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="4390"/>
    <rpm:provides>
      <rpm:entry name="m4ri" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libm4ri-0_0_20111203" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>m4ri-devel</name>
  <arch>i586</arch>
  <version epoch="0" ver="20111203" rel="17.1"/>
  <checksum type="sha" pkgid="YES">8408ffd8c051d0ab02208d6ae4a01dd4903c3207</checksum>
  <summary>Development files for m4ri</summary>
  <description>The m4ri-devel package contains libraries and header files for
developing applications that use m4ri.</description>
  <packager/>
  <url>http://m4ri.sagemath.org/</url>
  <time file="1329691623" build="1329691603"/>
  <size package="105771" installed="1160098" archive="1174964"/>
<location href="i586/m4ri-devel-20111203-17.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build21</rpm:buildhost>
    <rpm:sourcerpm>m4ri-20111203-17.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="12258"/>
    <rpm:provides>
      <rpm:entry name="m4ri-devel" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="m4ri" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>m4ri-static</name>
  <arch>i586</arch>
  <version epoch="0" ver="20111203" rel="17.1"/>
  <checksum type="sha" pkgid="YES">0bfb5d7249b5baec9fc40e64675f49e025da3a71</checksum>
  <summary>Static library files for m4ri</summary>
  <description>The m4ri-static package contains the static m4ri library.</description>
  <packager/>
  <url>http://m4ri.sagemath.org/</url>
  <time file="1329691623" build="1329691603"/>
  <size package="98358" installed="300480" archive="300736"/>
<location href="i586/m4ri-static-20111203-17.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build21</rpm:buildhost>
    <rpm:sourcerpm>m4ri-20111203-17.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="3895"/>
    <rpm:provides>
      <rpm:entry name="m4ri-static" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="m4ri" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>python-PolyBoRi</name>
  <arch>i586</arch>
  <version epoch="0" ver="0.8.0" rel="79.1"/>
  <checksum type="sha" pkgid="YES">a1b0ef9f62c2456bfe1a18e81ebd463e29c3943b</checksum>
  <summary>Python core package for PolyBoRi</summary>
  <description>This package contains the python core routines of PolyBoRi.
It incorporates code from CUDD and M4RI.</description>
  <packager/>
  <url>http://polybori.sf.net</url>
  <time file="1313579701" build="1313579623"/>
  <size package="1347514" installed="6344888" archive="6357304"/>
<location href="i586/python-PolyBoRi-0.8.0-79.1.i586.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.0-79.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="10158"/>
    <rpm:provides>
      <rpm:entry name="PyPolyBoRi.so"/>
      <rpm:entry name="python-PolyBoRi" flags="EQ" epoch="0" ver="0.8.0" rel="79.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libm.so.6"/>
      <rpm:entry name="libgd.so.2"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)"/>
      <rpm:entry name="libstdc++.so.6"/>
      <rpm:entry name="libc.so.6(GLIBC_2.0)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)"/>
      <rpm:entry name="libc.so.6"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.10)"/>
      <rpm:entry name="libboost_unit_test_framework.so.1.36.0"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)"/>
      <rpm:entry name="python-base" flags="EQ" epoch="0" ver="2.6"/>
      <rpm:entry name="libm.so.6(GLIBC_2.0)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.1)"/>
      <rpm:entry name="libpython2.6.so.1.0"/>
      <rpm:entry name="libgcc_s.so.1"/>
      <rpm:entry name="libc.so.6(GLIBC_2.1.3)"/>
      <rpm:entry name="libboost_python.so.1.36.0"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>PolyBoRi</name>
  <arch>src</arch>
  <version epoch="0" ver="0.8.0" rel="79.1"/>
  <checksum type="sha" pkgid="YES">0200634aed2b8559fc6abb16ae422cedcd2914a7</checksum>
  <summary>Framework for Boolean Rings</summary>
  <description>PolyBoRi is a special purpose computer algebra system for computations in
Boolean Rings. The core is a C++ library, which provides high-level data types
for Boolean polynomials and related structures. As a unique approach, binary
decision diagrams are used as internal storage type for polynomial
structures. On top of this, we provide a Python interface for parsing of
complex polynomial systems, as well as for sophisticated and extendable
strategies for Groebner base computation.</description>
  <packager/>
  <url>http://polybori.sf.net</url>
  <time file="1313579700" build="1313579623"/>
  <size package="1663907" installed="1664700" archive="1665088"/>
<location href="src/PolyBoRi-0.8.0-79.1.src.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm/>
    <rpm:header-range start="440" end="3340"/>
    <rpm:requires>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="doxygen"/>
      <rpm:entry name="python-devel"/>
      <rpm:entry name="gcc"/>
      <rpm:entry name="texlive-tex4ht"/>
      <rpm:entry name="gd-devel"/>
      <rpm:entry name="boost-devel"/>
      <rpm:entry name="scons"/>
      <rpm:entry name="texlive-latex"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>m4ri</name>
  <arch>src</arch>
  <version epoch="0" ver="20111203" rel="17.1"/>
  <checksum type="sha" pkgid="YES">90da9e645ddbdf32da775804e8e0bb622d3d1b8b</checksum>
  <summary>Linear Algebra over F_2</summary>
  <description>M4RI is a library for fast arithmetic with dense matrices over F_2.
The name M4RI comes from the first implemented algorithm: The "Method
of the Four Russians" inversion algorithm published by Gregory Bard.
M4RI is used by the Sage mathematics software and the PolyBoRi library.</description>
  <packager/>
  <url>http://m4ri.sagemath.org/</url>
  <time file="1329691623" build="1329691603"/>
  <size package="476148" installed="475215" archive="475724"/>
<location href="src/m4ri-20111203-17.1.src.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build21</rpm:buildhost>
    <rpm:sourcerpm/>
    <rpm:header-range start="440" end="3922"/>
    <rpm:requires>
      <rpm:entry name="doxygen"/>
      <rpm:entry name="libpng-devel"/>
    </rpm:requires>
  </format>
</package>

<package type="rpm">
  <name>PolyBoRi</name>
  <arch>src</arch>
  <version epoch="0" ver="0.8.3" rel="43.1"/>
  <checksum type="sha" pkgid="YES">0021c178a022950dfe0c77192e0060043ca52759</checksum>
  <summary>Framework for Boolean Rings</summary>
  <description>PolyBoRi is a special purpose computer algebra system for computations in
Boolean Rings. The core is a C++ library, which provides high-level data types
for Boolean polynomials and related structures. As a unique approach, binary
decision diagrams are used as internal storage type for polynomial
structures. On top of this, we provide a Python interface for parsing of
complex polynomial systems, as well as for sophisticated and extendable
strategies for Groebner base computation.
It uses the libraries CUDD and M4RI.</description>
  <packager></packager>
  <url>http://polybori.sf.net</url>
  <time file="1359387625" build="1359387579"/>
  <size package="1556074" installed="1560453" archive="1560840"/>
<location href="src/PolyBoRi-0.8.3-43.1.src.rpm"/>
  <format>
    <rpm:license>GPL-2.0+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build04</rpm:buildhost>
    <rpm:header-range start="440" end="3544"/>
    <rpm:requires>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="m4ri-devel"/>
      <rpm:entry name="doxygen"/>
      <rpm:entry name="python-devel"/>
      <rpm:entry name="gcc"/>
      <rpm:entry name="texlive-tex4ht"/>
      <rpm:entry name="gd-devel"/>
      <rpm:entry name="boost-devel"/>
      <rpm:entry name="scons"/>
      <rpm:entry name="texlive-latex"/>
    </rpm:requires>
  </format>
</package><package type="rpm">
  <name>libm4ri-0_0_20111203</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20111203" rel="17.1"/>
  <checksum type="sha" pkgid="YES">9091b3e95063d1c1a7c5d09932f445257922e93b</checksum>
  <summary>Shared library for m4ri</summary>
  <description>This package contains the shared library to be used by the main package m4ri.</description>
  <packager/>
  <url>http://m4ri.sagemath.org/</url>
  <time file="1329691639" build="1329691600"/>
  <size package="85985" installed="232315" archive="232588"/>
<location href="x86_64/libm4ri-0_0_20111203-20111203-17.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>m4ri-20111203-17.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="4311"/>
    <rpm:provides>
      <rpm:entry name="libm4ri-0.0.20111203.so()(64bit)"/>
      <rpm:entry name="libm4ri-0_0_20111203" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libgomp.so.1()(64bit)"/>
      <rpm:entry name="libgomp.so.1(GOMP_1.0)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.4)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.7)(64bit)"/>
      <rpm:entry name="libpthread.so.0()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.3.4)(64bit)"/>
      <rpm:entry name="libpng12.so.0(PNG12_0)(64bit)"/>
      <rpm:entry name="libgomp.so.1(OMP_1.0)(64bit)"/>
      <rpm:entry name="libpng12.so.0()(64bit)"/>
      <rpm:entry name="libc.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.2.5)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>m4ri</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20111203" rel="17.1"/>
  <checksum type="sha" pkgid="YES">0bd17f2d9b1ac7a681698113c0b2f69e7e8595e9</checksum>
  <summary>Linear Algebra over F_2</summary>
  <description>M4RI is a library for fast arithmetic with dense matrices over F_2.
The name M4RI comes from the first implemented algorithm: The "Method
of the Four Russians" inversion algorithm published by Gregory Bard.
M4RI is used by the Sage mathematics software and the PolyBoRi library.</description>
  <packager/>
  <url>http://m4ri.sagemath.org/</url>
  <time file="1329691639" build="1329691600"/>
  <size package="12467" installed="20713" archive="21276"/>
<location href="x86_64/m4ri-20111203-17.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>m4ri-20111203-17.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="4370"/>
    <rpm:provides>
      <rpm:entry name="m4ri" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libm4ri-0_0_20111203" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>m4ri-devel</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20111203" rel="17.1"/>
  <checksum type="sha" pkgid="YES">18f4246a947030516243a84adf031544f4d9d2b6</checksum>
  <summary>Development files for m4ri</summary>
  <description>The m4ri-devel package contains libraries and header files for
developing applications that use m4ri.</description>
  <packager/>
  <url>http://m4ri.sagemath.org/</url>
  <time file="1329691639" build="1329691600"/>
  <size package="105776" installed="1160048" archive="1174912"/>
<location href="x86_64/m4ri-devel-20111203-17.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>m4ri-20111203-17.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="12242"/>
    <rpm:provides>
      <rpm:entry name="m4ri-devel" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="m4ri" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>m4ri-static</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20111203" rel="17.1"/>
  <checksum type="sha" pkgid="YES">1bc1481b379a6458521f3e78715d201eabc57169</checksum>
  <summary>Static library files for m4ri</summary>
  <description>The m4ri-static package contains the static m4ri library.</description>
  <packager/>
  <url>http://m4ri.sagemath.org/</url>
  <time file="1329691639" build="1329691600"/>
  <size package="83523" installed="285984" archive="286240"/>
<location href="x86_64/m4ri-static-20111203-17.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPLv2+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build19</rpm:buildhost>
    <rpm:sourcerpm>m4ri-20111203-17.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="3877"/>
    <rpm:provides>
      <rpm:entry name="m4ri-static" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="m4ri" flags="EQ" epoch="0" ver="20111203" rel="17.1"/>
    </rpm:requires>
  </format>
</package>

<package type="rpm">
  <name>PolyBoRi</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.8.3" rel="43.1"/>
  <checksum type="sha" pkgid="YES">8f4449432ed7abd0c42e23d62cb3cd2a529e4d07</checksum>
  <summary>Framework for Boolean Rings</summary>
  <description>PolyBoRi is a special purpose computer algebra system for computations in
Boolean Rings. The core is a C++ library, which provides high-level data types
for Boolean polynomials and related structures. As a unique approach, binary
decision diagrams are used as internal storage type for polynomial
structures. On top of this, we provide a Python interface for parsing of
complex polynomial systems, as well as for sophisticated and extendable
strategies for Groebner base computation.
It uses the libraries CUDD and M4RI.</description>
  <packager></packager>
  <url>http://polybori.sf.net</url>
  <time file="1359387625" build="1359387579"/>
  <size package="22878" installed="110579" archive="48628"/>
<location href="x86_64/PolyBoRi-0.8.3-43.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build04</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.3-43.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="4727"/>
    <rpm:provides>
      <rpm:entry name="PolyBoRi" flags="EQ" epoch="0" ver="0.8.3" rel="43.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="IPython" flags="GE" epoch="0" ver="0.6"/>
      <rpm:entry name="/bin/sh"/>
      <rpm:entry name="python-PolyBoRi" flags="EQ" epoch="0" ver="0.8.3" rel="43.1"/>
    </rpm:requires>    <file>/usr/bin/ipbori2</file>
    <file>/usr/bin/ipbori2.6</file>
    <file>/usr/bin/ipbori</file>

  </format>
</package>
<package type="rpm">
  <name>PolyBoRi-devel</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.8.3" rel="43.1"/>
  <checksum type="sha" pkgid="YES">4efd3536b18923c38eaf84d339c1b1e7b5a8aa3d</checksum>
  <summary>Development files for PolyBoRi</summary>
  <description>This package contains headers and runtime libraries for PolyBoRi. It may to
be used for developing computer-algebra applications for Boolean polynomials.</description>
  <packager></packager>
  <url>http://polybori.sf.net</url>
  <time file="1359387625" build="1359387579"/>
  <size package="168220" installed="815541" archive="849448"/>
<location href="x86_64/PolyBoRi-devel-0.8.3-43.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build04</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.3-43.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="23103"/>
    <rpm:provides>
      <rpm:entry name="PolyBoRi-devel" flags="EQ" epoch="0" ver="0.8.3" rel="43.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="PolyBoRi" flags="EQ" epoch="0" ver="0.8.3"/>
      <rpm:entry name="m4ri-devel"/>
      <rpm:entry name="libpolybori_groebner-0_8-3" flags="EQ" epoch="0" ver="0.8.3"/>
      <rpm:entry name="libpolybori-0_8-3" flags="EQ" epoch="0" ver="0.8.3"/>
      <rpm:entry name="boost-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>PolyBoRi-doc</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.8.3" rel="43.1"/>
  <checksum type="sha" pkgid="YES">3d5c1c6d942e437d1dde27252b5d392fecfd535b</checksum>
  <summary>Documentation package for PolyBoRi</summary>
  <description>This package contains the documentation and tutorial of PolyBoRi.</description>
  <packager></packager>
  <url>http://polybori.sf.net</url>
  <time file="1359387626" build="1359387579"/>
  <size package="1477746" installed="13952869" archive="14249832"/>
<location href="x86_64/PolyBoRi-doc-0.8.3-43.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Documentation/Other</rpm:group>
    <rpm:buildhost>build04</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.3-43.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="182297"/>
    <rpm:provides>
      <rpm:entry name="PolyBoRi-doc" flags="EQ" epoch="0" ver="0.8.3" rel="43.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="PolyBoRi" flags="EQ" epoch="0" ver="0.8.3"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>PolyBoRi-gui</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.8.3" rel="43.1"/>
  <checksum type="sha" pkgid="YES">2531ca372c6ee1256228a0b4f4a913c8f4cb395a</checksum>
  <summary>Qt GUI for PolyBoRi</summary>
  <description>This packagae contains a PyQt-based GUI for PolyBoRi. It comes with the simple
tool PolyGUI which can load digital systems stored in various formats. The
user can easily compute Groebner bases and switch between different
heuristics and parameters on click.</description>
  <packager></packager>
  <url>http://polybori.sf.net</url>
  <time file="1359387626" build="1359387579"/>
  <size package="35549" installed="65144" archive="66920"/>
<location href="x86_64/PolyBoRi-gui-0.8.3-43.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build04</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.3-43.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="4298"/>
    <rpm:provides>
      <rpm:entry name="PolyBoRi-gui" flags="EQ" epoch="0" ver="0.8.3" rel="43.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/bin/sh"/>
      <rpm:entry name="python-PolyBoRi" flags="EQ" epoch="0" ver="0.8.3"/>
      <rpm:entry name="python-qt4"/>
    </rpm:requires>    <file>/usr/bin/PolyGUI2.6</file>
    <file>/usr/bin/PolyGUI2</file>
    <file>/usr/bin/PolyGUI</file>

  </format>
</package>
<package type="rpm">
  <name>PolyBoRi-static</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.8.3" rel="43.1"/>
  <checksum type="sha" pkgid="YES">2d6058fd54809f3bb6493da0a60f8f3d27985f67</checksum>
  <summary>Static libraries for PolyBoRi</summary>
  <description>This package contains static libraries for PolyBoRi. It may to be used for
developing computer-algebra applications for Boolean polynomials without using
having shared libraries in place at runtime.</description>
  <packager></packager>
  <url>http://polybori.sf.net</url>
  <time file="1359387626" build="1359387579"/>
  <size package="5046333" installed="35298816" archive="35299224"/>
<location href="x86_64/PolyBoRi-static-0.8.3-43.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>build04</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.3-43.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="3496"/>
    <rpm:provides>
      <rpm:entry name="PolyBoRi-static" flags="EQ" epoch="0" ver="0.8.3" rel="43.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="PolyBoRi-devel" flags="EQ" epoch="0" ver="0.8.3"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libpolybori-0_8-3</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.8.3" rel="43.1"/>
  <checksum type="sha" pkgid="YES">a826ee1f2c7a0d69677e4f207cef248a1e7e3729</checksum>
  <summary>Polynomial core library for PolyBoRi</summary>
  <description>This package contains the polynomial core library for PolyBoRi for Boolean polynomial
data structures and Groebner basis algorithms.</description>
  <packager></packager>
  <url>http://polybori.sf.net</url>
  <time file="1359387626" build="1359387579"/>
  <size package="154097" installed="521944" archive="522384"/>
<location href="x86_64/libpolybori-0_8-3-0.8.3-43.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build04</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.3-43.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="3953"/>
    <rpm:provides>
      <rpm:entry name="libpolybori-0.8.so.3()(64bit)"/>
      <rpm:entry name="libpolybori-0_8-3" flags="EQ" epoch="0" ver="0.8.3" rel="43.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.4)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.3.4)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.2.5)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
      <rpm:entry name="libc.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.2.5)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libpolybori_groebner-0_8-3</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.8.3" rel="43.1"/>
  <checksum type="sha" pkgid="YES">b24fec1857438a36ce1a8b9e01874218b7515b51</checksum>
  <summary>Core Groebner library for PolyBoRi</summary>
  <description>This package contains the core Groebner library for PolyBoRi for Boolean polynomial
data structures and Groebner basis algorithms.</description>
  <packager></packager>
  <url>http://polybori.sf.net</url>
  <time file="1359387626" build="1359387579"/>
  <size package="693082" installed="3382104" archive="3382572"/>
<location href="x86_64/libpolybori_groebner-0_8-3-0.8.3-43.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build04</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.3-43.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="4087"/>
    <rpm:provides>
      <rpm:entry name="libpolybori_groebner-0.8.so.3()(64bit)"/>
      <rpm:entry name="libpolybori_groebner-0_8-3" flags="EQ" epoch="0" ver="0.8.3" rel="43.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libpolybori-0.8.so.3()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.10)(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.4)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libm4ri-0.0.20111203.so()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.2.5)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
      <rpm:entry name="libc.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.2.5)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>python-PolyBoRi</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.8.3" rel="43.1"/>
  <checksum type="sha" pkgid="YES">5946471ee022a35dc96d4ed3ddcf48c335b80901</checksum>
  <summary>Python core package for PolyBoRi</summary>
  <description>This package contains the python core routines of PolyBoRi. Is contains an
interface to the C/C++ Libraries of PolyBoRi as well as python library code
with high-level routines.</description>
  <packager></packager>
  <url>http://polybori.sf.net</url>
  <time file="1359387626" build="1359387579"/>
  <size package="490725" installed="2621602" archive="2633472"/>
<location href="x86_64/python-PolyBoRi-0.8.3-43.1.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0+</rpm:license>
    <rpm:vendor>openSUSE Build Service</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>build04</rpm:buildhost>
    <rpm:sourcerpm>PolyBoRi-0.8.3-43.1.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="440" end="10293"/>
    <rpm:provides>
      <rpm:entry name="PyPolyBoRi.so()(64bit)"/>
      <rpm:entry name="python-PolyBoRi" flags="EQ" epoch="0" ver="0.8.3" rel="43.1"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.10)(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libpolybori_groebner-0.8.so.3()(64bit)"/>
      <rpm:entry name="libutil.so.1()(64bit)"/>
      <rpm:entry name="libm4ri-0.0.20111203.so()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.2.5)(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libpolybori-0.8.so.3()(64bit)"/>
      <rpm:entry name="libpolybori-0_8-3" flags="EQ" epoch="0" ver="0.8.3"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libpthread.so.0(GLIBC_2.2.5)(64bit)"/>
      <rpm:entry name="libc.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libpolybori_groebner-0_8-3" flags="EQ" epoch="0" ver="0.8.3"/>
      <rpm:entry name="libc.so.6(GLIBC_2.4)(64bit)"/>
      <rpm:entry name="libpthread.so.0()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.2.5)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="python-base" flags="EQ" epoch="0" ver="2.6"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libdl.so.2()(64bit)"/>
      <rpm:entry name="libboost_python.so.1.36.0()(64bit)"/>
    </rpm:requires>
  </format>
</package>
</metadata>