Main Site Links:

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

Information for RPM drabt-004-2.fc29.riscv64.rpm

ID	209774
Name	drabt
Version	004
Release	2.fc29
Epoch
Arch	riscv64
Summary	Proof checker for the DRAT proof format
Description	DRABT is a proof checker for the DRAT proof format. Proofs compressed with gzip, bzip2, xz, zip, and 7zip are supported, but the corresponding decompression binary must be installed (i.e., gunzip, bunzip2, unxz, unzip, or 7z).
Build Time	2018-07-25 10:29:52 GMT
Size	28.33 KB
SIGMD5	8e0cf2b62a29f2219cbba23a52685686
License	MIT
Buildroot	f29-build-19843-10505
Provides	drabt = 004-2.fc29 drabt(riscv-64) = 004-2.fc29
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-1 rtld(GNU_HASH)
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 10 of 10 Name Size /usr/bin/drabt 40.65 KB /usr/lib/.build-id 0.00 B /usr/lib/.build-id/e8 0.00 B /usr/lib/.build-id/e8/ad407279e879e71bfe1e7e47776948070961ef 25.00 B /usr/share/doc/drabt 0.00 B /usr/share/doc/drabt/NEWS 114.00 B /usr/share/doc/drabt/README 219.00 B /usr/share/doc/drabt/USAGE 2.52 KB /usr/share/licenses/drabt 0.00 B /usr/share/licenses/drabt/LICENSE 1.04 KB
Component of	1 through 2 of 2 Buildroot Created State f30-build-38686-22247 2018-12-07 20:33:03 f29-build-26301-13634 2018-08-18 10:40:06