SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

brial-devel rpm build for : Fedora 38. For other distributions click brial-devel.

Name : brial-devel
Version : 1.2.11 Vendor : Fedora Project
Release : 2.fc38 Date : 2023-01-19 00:26:52
Group : Unspecified Source RPM : brial-1.2.11-2.fc38.src.rpm
Size : 0.72 MB
Packager : Fedora Project
Summary : Development files for brial
Description :
Development headers and libraries for brial.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/38/Everything/x86_64/os/Packages/b

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  brial-devel-1.2.11-2.fc38.x86_64.rpm
     

Provides :
brial-devel
brial-devel(x86-64)

Requires :
boost-devel(x86-64)
brial(x86-64) = 1.2.11-2.fc38
libbrial.so.3()(64bit)
libbrial_groebner.so.3()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/include/polybori
/usr/include/polybori.h
/usr/include/polybori/BlockDegLexOrder.h
/usr/include/polybori/BlockDegRevLexAscOrder.h
/usr/include/polybori/BooleConstant.h
/usr/include/polybori/BooleEnv.h
/usr/include/polybori/BooleExponent.h
/usr/include/polybori/BooleMonomial.h
/usr/include/polybori/BoolePolyRing.h
/usr/include/polybori/BoolePolynomial.h
/usr/include/polybori/BooleSet.h
/usr/include/polybori/BooleSetSequence.h
/usr/include/polybori/BooleVariable.h
/usr/include/polybori/DegLexOrder.h
/usr/include/polybori/DegRevLexAscOrder.h
/usr/include/polybori/LexOrder.h
/usr/include/polybori/cache
/usr/include/polybori/cache/CCacheManagement.h
/usr/include/polybori/cache/CDegreeCache.h
/usr/include/polybori/cache/CacheManager.h
/usr/include/polybori/common
/usr/include/polybori/common/CCheckedIdx.h
/usr/include/polybori/common/CExtrusivePtr.h
/usr/include/polybori/common/CWeakPtr.h
/usr/include/polybori/common/CWeakPtrFacade.h
/usr/include/polybori/common/TransformedSequence.h
/usr/include/polybori/common/tags.h
/usr/include/polybori/common/traits.h
/usr/include/polybori/config.h
/usr/include/polybori/cudd
There is 173 files more in these RPM.

 
ICM