Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM cadical-devel-1:1.3.0-1.fc33.riscv64.rpm

ID	705713
Name	cadical-devel
Version	1.3.0
Release	1.fc33
Epoch	1
Arch	riscv64
Summary	Development files for cadical
Description	Library links and header files for developing applications that use cadical.
Build Time	2020-08-15 13:02:27 GMT
Size	17.75 KB
SIGMD5	89fb023fa7713d0c8e6d597676e7fd6a
License	MIT
Buildroot	f33-build-302875-57051
Provides	cadical-devel = 1:1.3.0-1.fc33 cadical-devel(riscv-64) = 1:1.3.0-1.fc33
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	cadical-libs(riscv-64) = 1:1.3.0-1.fc33 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
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 3 of 3 Name Size /usr/include/cadical.hpp 33.40 KB /usr/include/ccadical.h 1.97 KB /usr/lib64/libcadical.so 15.00 B
Component of	Page: 1 2 1 through 50 of 51 >>> Buildroot Created State f37-build-658204-73355 2022-10-26 13:49:26 f33-build-621801-67514 2021-05-07 06:34:15 f33-build-617790-67418 2021-05-03 04:45:17 f33-build-605282-67314 2021-05-02 03:38:15 f33-build-602938-67236 2021-05-01 17:27:53 f33-build-602724-67204 2021-04-27 08:53:55 f33-build-598612-67114 2021-04-26 11:31:48 f33-build-594688-66893 2021-04-24 23:44:53 f33-build-591113-66865 2021-04-24 18:36:49 f33-build-585600-66647 2021-04-24 10:07:49 f33-build-543820-65193 2021-03-02 09:04:48 f33-build-539716-65072 2021-02-27 19:54:44 f33-build-536173-64951 2021-02-27 14:05:13 f33-build-529226-64717 2021-02-08 07:30:09 f33-build-525395-64622 2021-02-07 16:48:56 f33-build-522382-64576 2021-02-03 12:00:18 f33-build-518949-64552 2021-02-03 06:43:59 f33-build-517700-64544 2021-02-02 15:02:47 f33-build-513224-64516 2021-02-02 08:30:34 f33-build-509350-64490 2021-02-01 10:35:50 f33-build-503969-64367 2021-01-31 16:43:36 f33-build-496485-64280 2021-01-28 12:30:54 f33-build-491602-64166 2021-01-27 14:53:38 f33-build-475475-63826 2021-01-19 10:48:35 f33-build-470268-63706 2021-01-18 08:58:18 f33-build-462926-63671 2021-01-17 18:38:01 f33-build-450711-63417 2021-01-16 10:58:11 f33-build-446865-63358 2021-01-13 09:48:03 f33-build-443389-63310 2021-01-12 12:41:23 f33-build-438698-63202 2021-01-11 14:48:22 f33-build-429160-63105 2021-01-10 16:21:15 f33-build-423272-62997 2021-01-09 16:20:42 f33-build-422114-62985 2021-01-08 19:03:58 f33-build-417681-62891 2021-01-08 12:22:12 f33-build-411955-62818 2021-01-06 05:40:50 f33-build-406751-62667 2021-01-05 12:07:24 f33-build-402680-62572 2020-12-31 09:25:22 f33-build-399766-62540 2020-12-31 05:08:15 f33-build-394773-62432 2020-12-30 12:14:16 f33-build-390383-62291 2020-12-28 10:06:32 f33-build-387237-62225 2020-12-27 16:09:10 f33-build-386375-62195 2020-12-26 15:24:19 f33-build-381731-62004 2020-12-25 13:15:34 f33-build-375894-61670 2020-12-24 14:12:49 f33-build-372720-61407 2020-12-04 13:06:58 f33-build-368391-61122 2020-12-03 10:58:54 f33-build-366213-60782 2020-12-02 16:25:34 f33-build-359986-60193 2020-11-29 17:45:23 f33-build-356330-60120 2020-11-28 21:02:40 f33-build-351218-59992 2020-11-28 12:02:01