drabt - Proof checker for the DRAT proof format

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename drabt-004-2.fc29.i686.rpm
Package name drabt
Package version 004
Package release 2.fc29
Package architecture i686
Package type rpm
Homepage http://fmv.jku.at/drabt/
License MIT
Maintainer -
Download size 13.55 KB
Installed size 19.46 KB
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).


Package Version Architecture Repository
drabt-004-2.fc29.x86_64.rpm 004 x86_64 Fedora
drabt - - -


Name Value
libc.so.6(GLIBC_2.1.3) -
rtld(GNU_HASH) -


Name Value
drabt = 004-2.fc29
drabt(x86-32) = 004-2.fc29


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package drabt-004-2.fc29.i686.rpm
Source Package drabt-004-2.fc29.src.rpm

Install Howto

Install drabt rpm package:

# dnf install drabt




2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 004-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-06 - Jerry James <loganjerry@gmail.com> - 004-1
- Initial RPM

See Also

Package Description
dracut-048-14.git20180726.fc29.i686.rpm Initramfs generator using udev
dracut-caps-048-14.git20180726.fc29.i686.rpm dracut modules to build a dracut initramfs which drops capabilities
dracut-config-generic-048-14.git20180726.fc29.i686.rpm dracut configuration to turn off hostonly image generation
dracut-config-rescue-048-14.git20180726.fc29.i686.rpm dracut configuration to turn on rescue image generation
dracut-kiwi-lib-9.16.12-1.fc29.noarch.rpm KIWI - Dracut kiwi Library
dracut-kiwi-live-9.16.12-1.fc29.noarch.rpm KIWI - Dracut module for iso(live) image type
dracut-kiwi-oem-dump-9.16.12-1.fc29.noarch.rpm KIWI - Dracut module for oem(install) image type
dracut-kiwi-oem-repart-9.16.12-1.fc29.noarch.rpm KIWI - Dracut module for oem(repart) image type
dracut-kiwi-overlay-9.16.12-1.fc29.noarch.rpm KIWI - Dracut module for vmx(+overlay) image type
dracut-live-048-14.git20180726.fc29.i686.rpm dracut modules to build a dracut initramfs with live image capabilities
dracut-modules-olpc-0.7.6-13.fc29.i686.rpm OLPC modules for dracut initramfs
dracut-network-048-14.git20180726.fc29.i686.rpm dracut modules to build a dracut initramfs with network support
dracut-tools-048-14.git20180726.fc29.i686.rpm dracut tools to build the local initramfs
dragon-18.04.3-1.fc29.i686.rpm Media player
drascula-1.0-18.fc29.noarch.rpm The Vampire Strikes Back