SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

msolve-devel rpm build for : Rawhide. For other distributions click msolve-devel.

Name : msolve-devel
Version : 0.7.3 Vendor : Fedora Project
Release : 1.fc42 Date : 2024-10-15 23:03:38
Group : Unspecified Source RPM : msolve-0.7.3-1.fc42.src.rpm
Size : 0.19 MB
Packager : Fedora Project
Summary : Development files for msolve
Description :
Header files and library links for developing applications that use
msolve.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/m

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
msolve-devel
msolve-devel(x86-64)
pkgconfig(msolve)

Requires :
/usr/bin/pkg-config
gmp-devel(x86-64)
libmsolve.so.0()(64bit)
libneogb.so.0()(64bit)
msolve-libs(x86-64) = 0.7.3-1.fc42
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/msolve
/usr/include/msolve/fglm
/usr/include/msolve/fglm/fglm.h
/usr/include/msolve/msolve
/usr/include/msolve/msolve-data.h
/usr/include/msolve/msolve.h
/usr/include/msolve/msolve/msolve-data.h
/usr/include/msolve/msolve/msolve.h
/usr/include/msolve/neogb
/usr/include/msolve/neogb/basis.h
/usr/include/msolve/neogb/data.h
/usr/include/msolve/neogb/engine.h
/usr/include/msolve/neogb/f4.h
/usr/include/msolve/neogb/f4sat.h
/usr/include/msolve/neogb/hash.h
/usr/include/msolve/neogb/io.h
/usr/include/msolve/neogb/libneogb.h
/usr/include/msolve/neogb/meta_data.h
/usr/include/msolve/neogb/modular.h
/usr/include/msolve/neogb/nf.h
/usr/include/msolve/neogb/sba.h
/usr/include/msolve/neogb/sort_r.h
/usr/include/msolve/neogb/tools.h
/usr/include/msolve/neogb/update.h
/usr/include/msolve/usolve
/usr/include/msolve/usolve/libusolve.h
/usr/include/neogb
/usr/include/neogb/basis.h
/usr/include/neogb/data.h
/usr/include/neogb/engine.h
There is 16 files more in these RPM.

 
ICM