drwxr-xr-x root/root 0 2015-02-26 15:31 ./ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/lib/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/lib/x86_64-linux-gnu/pkgconfig/ -rw-r--r-- root/root 282 2015-02-26 15:30 ./usr/lib/x86_64-linux-gnu/pkgconfig/polybori-0.8.pc drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/share/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/share/doc/libpolybori-dev/ -rw-r--r-- root/root 4783 2013-11-03 08:33 ./usr/share/doc/libpolybori-dev/copyright -rw-r--r-- root/root 6792 2013-01-30 08:26 ./usr/share/doc/libpolybori-dev/changelog.gz -rw-r--r-- root/root 1762 2013-11-05 06:50 ./usr/share/doc/libpolybori-dev/changelog.Debian.gz drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/include/ -rw-r--r-- root/root 517 2013-01-30 08:26 ./usr/include/polybori.h drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/include/polybori/ -rw-r--r-- root/root 2969 2013-01-30 08:26 ./usr/include/polybori/BooleVariable.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/routines/ -rw-r--r-- root/root 28997 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_routines_misc.h -rw-r--r-- root/root 23104 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_func.h -rw-r--r-- root/root 8929 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_algorithms.h -rw-r--r-- root/root 24813 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_algo.h -rw-r--r-- root/root 1063 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_routines.h -rw-r--r-- root/root 13733 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_routines_order.h -rw-r--r-- root/root 1771 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_routines_cuddext.h -rw-r--r-- root/root 2072 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_routines_hash.h -rw-r--r-- root/root 1640 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_routines_dd.h -rw-r--r-- root/root 20207 2013-01-30 08:26 ./usr/include/polybori/routines/pbori_algo_int.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/factories/ -rw-r--r-- root/root 1442 2013-01-30 08:26 ./usr/include/polybori/factories/CFactoryBase.h -rw-r--r-- root/root 2155 2013-01-30 08:26 ./usr/include/polybori/factories/VariableBlock.h -rw-r--r-- root/root 2791 2013-01-30 08:26 ./usr/include/polybori/factories/SetFactory.h -rw-r--r-- root/root 2152 2013-01-30 08:26 ./usr/include/polybori/factories/VariableFactory.h -rw-r--r-- root/root 2328 2013-01-30 08:26 ./usr/include/polybori/factories/MonomialFactory.h -rw-r--r-- root/root 3460 2013-01-30 08:26 ./usr/include/polybori/factories/PolynomialFactory.h -rw-r--r-- root/root 1174 2013-01-30 08:26 ./usr/include/polybori/polybori.h -rw-r--r-- root/root 8341 2013-01-30 08:26 ./usr/include/polybori/BooleExponent.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/literals/ -rw-r--r-- root/root 1887 2013-01-30 08:26 ./usr/include/polybori/literals/CStringLiteral.h -rw-r--r-- root/root 1086 2013-01-30 08:26 ./usr/include/polybori/literals/CLiteralCodes.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/cudd/ -rw-r--r-- root/root 12942 2013-01-30 08:26 ./usr/include/polybori/cudd/prefix_internal.h -rw-r--r-- root/root 51876 2013-01-30 08:26 ./usr/include/polybori/cudd/cuddInt.h -rw-r--r-- root/root 60830 2013-01-30 08:26 ./usr/include/polybori/cudd/cudd.h -rw-r--r-- root/root 2640 2013-01-30 08:26 ./usr/include/polybori/cudd/util.h -rw-r--r-- root/root 838 2013-01-30 08:26 ./usr/include/polybori/cudd/prefix.h -rw-r--r-- root/root 10225 2013-01-30 08:26 ./usr/include/polybori/embed.h -rw-r--r-- root/root 1655 2013-01-30 08:26 ./usr/include/polybori/BlockDegRevLexAscOrder.h -rw-r--r-- root/root 2022 2013-01-30 08:26 ./usr/include/polybori/DegLexOrder.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/except/ -rw-r--r-- root/root 1130 2013-01-30 08:26 ./usr/include/polybori/except/CErrorInfo.h -rw-r--r-- root/root 1319 2013-01-30 08:26 ./usr/include/polybori/except/PBoRiGenericError.h -rw-r--r-- root/root 1536 2013-01-30 08:26 ./usr/include/polybori/except/PBoRiError.h -rw-r--r-- root/root 5901 2013-01-30 08:26 ./usr/include/polybori/BoolePolyRing.h -rw-r--r-- root/root 2101 2013-01-30 08:26 ./usr/include/polybori/DegRevLexAscOrder.h -rw-r--r-- root/root 18417 2013-01-30 08:26 ./usr/include/polybori/BoolePolynomial.h -rw-r--r-- root/root 3794 2013-01-30 08:26 ./usr/include/polybori/BooleConstant.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/cache/ -rw-r--r-- root/root 16622 2013-01-30 08:26 ./usr/include/polybori/cache/CCacheManagement.h -rw-r--r-- root/root 10142 2013-01-30 08:26 ./usr/include/polybori/cache/CDegreeCache.h -rw-r--r-- root/root 1565 2013-01-30 08:26 ./usr/include/polybori/cache/CacheManager.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/common/ -rw-r--r-- root/root 4234 2013-01-30 08:26 ./usr/include/polybori/common/CExtrusivePtr.h -rw-r--r-- root/root 1544 2013-01-30 08:26 ./usr/include/polybori/common/CWeakPtrFacade.h -rw-r--r-- root/root 6112 2013-01-30 08:26 ./usr/include/polybori/common/traits.h -rw-r--r-- root/root 1581 2013-01-30 08:26 ./usr/include/polybori/common/CWeakPtr.h -rw-r--r-- root/root 990 2013-01-30 08:26 ./usr/include/polybori/common/CCheckedIdx.h -rw-r--r-- root/root 1710 2013-01-30 08:26 ./usr/include/polybori/common/tags.h -rw-r--r-- root/root 1636 2013-01-30 08:26 ./usr/include/polybori/common/TransformedSequence.h -rw-r--r-- root/root 7639 2013-01-30 08:26 ./usr/include/polybori/pbori_defs.h -rw-r--r-- root/root 1802 2013-01-30 08:26 ./usr/include/polybori/BooleSetSequence.h -rw-r--r-- root/root 584 2015-02-26 15:30 ./usr/include/polybori/config.h -rw-r--r-- root/root 4479 2013-01-30 08:26 ./usr/include/polybori/BooleEnv.h -rw-r--r-- root/root 2050 2013-01-30 08:26 ./usr/include/polybori/LexOrder.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/orderings/ -rw-r--r-- root/root 1141 2013-01-30 08:26 ./usr/include/polybori/orderings/order_tags.h -rw-r--r-- root/root 4319 2013-01-30 08:26 ./usr/include/polybori/orderings/CBlockOrderingFacade.h -rw-r--r-- root/root 2012 2013-01-30 08:26 ./usr/include/polybori/orderings/pbori_order.h -rw-r--r-- root/root 2682 2013-01-30 08:26 ./usr/include/polybori/orderings/COrderingTags.h -rw-r--r-- root/root 5297 2013-01-30 08:26 ./usr/include/polybori/orderings/COrderingBase.h -rw-r--r-- root/root 6296 2013-01-30 08:26 ./usr/include/polybori/orderings/COrderingFacade.h -rw-r--r-- root/root 1591 2013-01-30 08:26 ./usr/include/polybori/orderings/order_traits.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/iterators/ -rw-r--r-- root/root 2107 2013-01-30 08:26 ./usr/include/polybori/iterators/CVariableIter.h -rw-r--r-- root/root 2556 2013-01-30 08:26 ./usr/include/polybori/iterators/CGenericIter.h -rw-r--r-- root/root 1520 2013-01-30 08:26 ./usr/include/polybori/iterators/CCuddLastIter.h -rw-r--r-- root/root 5922 2013-01-30 08:26 ./usr/include/polybori/iterators/CCuddNavigator.h -rw-r--r-- root/root 2196 2013-01-30 08:26 ./usr/include/polybori/iterators/CStackSelector.h -rw-r--r-- root/root 2250 2013-01-30 08:26 ./usr/include/polybori/iterators/TransformedIterator.h -rw-r--r-- root/root 7063 2013-01-30 08:26 ./usr/include/polybori/iterators/COrderedIter.h -rw-r--r-- root/root 4512 2013-01-30 08:26 ./usr/include/polybori/iterators/CTermGenerator.h -rw-r--r-- root/root 2381 2013-01-30 08:26 ./usr/include/polybori/iterators/CCuddFirstIter.h -rw-r--r-- root/root 23997 2013-01-30 08:26 ./usr/include/polybori/iterators/CTermStack.h -rw-r--r-- root/root 4737 2013-01-30 08:26 ./usr/include/polybori/iterators/CBidirectTermIter.h -rw-r--r-- root/root 3956 2013-01-30 08:26 ./usr/include/polybori/iterators/CTermIter.h -rw-r--r-- root/root 2179 2013-01-30 08:26 ./usr/include/polybori/iterators/PBoRiOutIter.h -rw-r--r-- root/root 3256 2013-01-30 08:26 ./usr/include/polybori/iterators/CExpIter.h -rw-r--r-- root/root 11262 2013-01-30 08:26 ./usr/include/polybori/BooleMonomial.h -rw-r--r-- root/root 8271 2013-01-30 08:26 ./usr/include/polybori/BooleSet.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/diagram/ -rw-r--r-- root/root 1543 2013-01-30 08:26 ./usr/include/polybori/diagram/CDDOperations.h -rw-r--r-- root/root 1334 2013-01-30 08:26 ./usr/include/polybori/diagram/CNodeCounter.h -rw-r--r-- root/root 14411 2013-01-30 08:26 ./usr/include/polybori/diagram/CCuddDDFacade.h -rw-r--r-- root/root 3862 2013-01-30 08:26 ./usr/include/polybori/diagram/CApplyNodeFacade.h -rw-r--r-- root/root 1578 2013-01-30 08:26 ./usr/include/polybori/BlockDegLexOrder.h drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/ring/ -rw-r--r-- root/root 3072 2013-01-30 08:26 ./usr/include/polybori/ring/CCallbackWrapper.h -rw-r--r-- root/root 12042 2013-01-30 08:26 ./usr/include/polybori/ring/CCuddInterface.h -rw-r--r-- root/root 1410 2013-01-30 08:26 ./usr/include/polybori/ring/WeakRingPtr.h -rw-r--r-- root/root 3315 2013-01-30 08:26 ./usr/include/polybori/ring/CCuddCore.h -rw-r--r-- root/root 2538 2013-01-30 08:26 ./usr/include/polybori/ring/CMemberFunctionTraits.h -rw-r--r-- root/root 2512 2013-01-30 08:26 ./usr/include/polybori/ring/CVariableNames.h lrwxrwxrwx root/root 0 2015-02-26 15:31 ./usr/lib/x86_64-linux-gnu/libpolybori-0.8.so -> libpolybori-0.8.so.3