| Package | Summary | Distribution | Download |
| drat-trim-0-0.28.20240427giteffa1dc.fc43.aarch64.html | Proof checker for DIMACS proofs | Fedora Rawhide for aarch64 | drat-trim-0-0.28.20240427giteffa1dc.fc43.aarch64.rpm |
| drat-trim-0-0.28.20240427giteffa1dc.fc43.aarch64.html | Proof checker for DIMACS proofs | Fedora 43 for aarch64 | drat-trim-0-0.28.20240427giteffa1dc.fc43.aarch64.rpm |
| drat-trim-0-0.28.20240427giteffa1dc.fc43.ppc64le.html | Proof checker for DIMACS proofs | Fedora Rawhide for ppc64le | drat-trim-0-0.28.20240427giteffa1dc.fc43.ppc64le.rpm |
| drat-trim-0-0.28.20240427giteffa1dc.fc43.ppc64le.html | Proof checker for DIMACS proofs | Fedora 43 for ppc64le | drat-trim-0-0.28.20240427giteffa1dc.fc43.ppc64le.rpm |
| drat-trim-0-0.28.20240427giteffa1dc.fc43.s390x.html | Proof checker for DIMACS proofs | Fedora Rawhide for s390x | drat-trim-0-0.28.20240427giteffa1dc.fc43.s390x.rpm |
| drat-trim-0-0.28.20240427giteffa1dc.fc43.s390x.html | Proof checker for DIMACS proofs | Fedora 43 for s390x | drat-trim-0-0.28.20240427giteffa1dc.fc43.s390x.rpm |
| drat-trim-0-0.28.20240427giteffa1dc.fc43.x86_64.html | Proof checker for DIMACS proofs | Fedora Rawhide for x86_64 | drat-trim-0-0.28.20240427giteffa1dc.fc43.x86_64.rpm |
| drat-trim-0-0.28.20240427giteffa1dc.fc43.x86_64.html | Proof checker for DIMACS proofs | Fedora 43 for x86_64 | drat-trim-0-0.28.20240427giteffa1dc.fc43.x86_64.rpm |
| drat-trim-0-0.27.20240427giteffa1dc.fc42.aarch64.html | Proof checker for DIMACS proofs | Fedora 42 for aarch64 | drat-trim-0-0.27.20240427giteffa1dc.fc42.aarch64.rpm |
| drat-trim-0-0.27.20240427giteffa1dc.fc42.ppc64le.html | Proof checker for DIMACS proofs | Fedora 42 for ppc64le | drat-trim-0-0.27.20240427giteffa1dc.fc42.ppc64le.rpm |
| drat-trim-0-0.27.20240427giteffa1dc.fc42.s390x.html | Proof checker for DIMACS proofs | Fedora 42 for s390x | drat-trim-0-0.27.20240427giteffa1dc.fc42.s390x.rpm |
| drat-trim-0-0.27.20240427giteffa1dc.fc42.x86_64.html | Proof checker for DIMACS proofs | Fedora 42 for x86_64 | drat-trim-0-0.27.20240427giteffa1dc.fc42.x86_64.rpm |
| drat-trim-0-0.26.20240427giteffa1dc.fc41.ppc64le.html | Proof checker for DIMACS proofs | Fedora 41 for ppc64le | drat-trim-0-0.26.20240427giteffa1dc.fc41.ppc64le.rpm |
| drat-trim-0-0.26.20240427giteffa1dc.fc41.s390x.html | Proof checker for DIMACS proofs | Fedora 41 for s390x | drat-trim-0-0.26.20240427giteffa1dc.fc41.s390x.rpm |
| drat-trim-0-0.25.20240427giteffa1dc.el10_2.aarch64.html | Proof checker for DIMACS proofs | EPEL 10.2 Testing for aarch64 | drat-trim-0-0.25.20240427giteffa1dc.el10_2.aarch64.rpm |
| drat-trim-0-0.25.20240427giteffa1dc.el10_2.ppc64le.html | Proof checker for DIMACS proofs | EPEL 10.2 Testing for ppc64le | drat-trim-0-0.25.20240427giteffa1dc.el10_2.ppc64le.rpm |
| drat-trim-0-0.25.20240427giteffa1dc.el10_2.s390x.html | Proof checker for DIMACS proofs | EPEL 10.2 Testing for s390x | drat-trim-0-0.25.20240427giteffa1dc.el10_2.s390x.rpm |
| drat-trim-0-0.25.20240427giteffa1dc.el10_2.x86_64.html | Proof checker for DIMACS proofs | EPEL 10.2 Testing for x86_64 | drat-trim-0-0.25.20240427giteffa1dc.el10_2.x86_64.rpm |
| drat-trim-0-0.25.20240427giteffa1dc.el9.aarch64.html | Proof checker for DIMACS proofs | EPEL 9 Testing for aarch64 | drat-trim-0-0.25.20240427giteffa1dc.el9.aarch64.rpm |
| drat-trim-0-0.25.20240427giteffa1dc.el9.ppc64le.html | Proof checker for DIMACS proofs | EPEL 9 Testing for ppc64le | drat-trim-0-0.25.20240427giteffa1dc.el9.ppc64le.rpm |
| drat-trim-0-0.25.20240427giteffa1dc.el9.s390x.html | Proof checker for DIMACS proofs | EPEL 9 Testing for s390x | drat-trim-0-0.25.20240427giteffa1dc.el9.s390x.rpm |
| drat-trim-0-0.25.20240427giteffa1dc.el9.x86_64.html | Proof checker for DIMACS proofs | EPEL 9 Testing for x86_64 | drat-trim-0-0.25.20240427giteffa1dc.el9.x86_64.rpm |