RPM Rawhide cadical-devel 2.0.0 x86

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

Name : cadical-devel
Version : 2.0.0	Vendor : Fedora Project
Release : 3.fc41	Date : 2024-07-17 20:54:47
Group : Unspecified	Source RPM : cadical-2.0.0-3.fc41.src.rpm
Size : 0.27 MB
Packager : Fedora Project
Summary : Development files for cadical
Description : Library links and header files for developing applications that use cadical.
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/c

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl cadical-devel-2.0.0-3.fc41.x86_64.rpm

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

Requires :

cadical-libs(x86-64) = 1:2.0.0-3.fc41

libcadical.so.0()(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/cadical
/usr/include/cadical.hpp
/usr/include/cadical/arena.hpp
/usr/include/cadical/averages.hpp
/usr/include/cadical/bins.hpp
/usr/include/cadical/block.hpp
/usr/include/cadical/cadical.hpp
/usr/include/cadical/ccadical.h
/usr/include/cadical/checker.hpp
/usr/include/cadical/clause.hpp
/usr/include/cadical/config.hpp
/usr/include/cadical/contract.hpp
/usr/include/cadical/cover.hpp
/usr/include/cadical/decompose.hpp
/usr/include/cadical/drattracer.hpp
/usr/include/cadical/elim.hpp
/usr/include/cadical/ema.hpp
/usr/include/cadical/external.hpp
/usr/include/cadical/file.hpp
/usr/include/cadical/flags.hpp
/usr/include/cadical/format.hpp
/usr/include/cadical/frattracer.hpp
/usr/include/cadical/heap.hpp
/usr/include/cadical/idruptracer.hpp
/usr/include/cadical/instantiate.hpp
/usr/include/cadical/internal.hpp
/usr/include/cadical/inttypes.hpp
/usr/include/cadical/ipasir.h
/usr/include/cadical/level.hpp
/usr/include/cadical/lidruptracer.hpp
There is 32 files more in these RPM.