Information for RPM rv-6.15.5-200.fc42.riscv64.rpm
| ID | 615464 | ||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | kernel-6.15.5-200.fc42 | ||||||||||||||||||
| Name | rv | ||||||||||||||||||
| Version | 6.15.5 | ||||||||||||||||||
| Release | 200.fc42 | ||||||||||||||||||
| Epoch | |||||||||||||||||||
| Arch | riscv64 | ||||||||||||||||||
| Draft | False | ||||||||||||||||||
| Summary | RV: Runtime Verification | ||||||||||||||||||
| Description | Runtime Verification (RV) is a lightweight (yet rigorous) method that complements classical exhaustive verification techniques (such as model checking and theorem proving) with a more practical approach for complex systems. The rv tool is the interface for a collection of monitors that aim analysing the logical and timing behavior of Linux. | ||||||||||||||||||
| Build Time | 2025-07-08 11:12:08 GMT | ||||||||||||||||||
| Size | 37.84 KB | ||||||||||||||||||
| 45d5a9d11ab28f22dde2098f3dcbee23 | |||||||||||||||||||
| License | ((GPL-2.0-only WITH Linux-syscall-note) OR BSD-2-Clause) AND ((GPL-2.0-only WITH Linux-syscall-note) OR BSD-3-Clause) AND ((GPL-2.0-only WITH Linux-syscall-note) OR CDDL-1.0) AND ((GPL-2.0-only WITH Linux-syscall-note) OR Linux-OpenIB) AND ((GPL-2.0-only WITH Linux-syscall-note) OR MIT) AND ((GPL-2.0-or-later WITH Linux-syscall-note) OR BSD-3-Clause) AND ((GPL-2.0-or-later WITH Linux-syscall-note) OR MIT) AND 0BSD AND BSD-2-Clause AND (BSD-2-Clause OR Apache-2.0) AND BSD-3-Clause AND BSD-3-Clause-Clear AND CC0-1.0 AND GFDL-1.1-no-invariants-or-later AND GPL-1.0-or-later AND (GPL-1.0-or-later OR BSD-3-Clause) AND (GPL-1.0-or-later WITH Linux-syscall-note) AND GPL-2.0-only AND (GPL-2.0-only OR Apache-2.0) AND (GPL-2.0-only OR BSD-2-Clause) AND (GPL-2.0-only OR BSD-3-Clause) AND (GPL-2.0-only OR CDDL-1.0) AND (GPL-2.0-only OR GFDL-1.1-no-invariants-or-later) AND (GPL-2.0-only OR GFDL-1.2-no-invariants-only) AND (GPL-2.0-only OR GFDL-1.2-no-invariants-or-later) AND (GPL-2.0-only WITH Linux-syscall-note) AND GPL-2.0-or-later AND (GPL-2.0-or-later OR BSD-2-Clause) AND (GPL-2.0-or-later OR BSD-3-Clause) AND (GPL-2.0-or-later OR CC-BY-4.0) AND (GPL-2.0-or-later WITH GCC-exception-2.0) AND (GPL-2.0-or-later WITH Linux-syscall-note) AND ISC AND LGPL-2.0-or-later AND (LGPL-2.0-or-later OR BSD-2-Clause) AND (LGPL-2.0-or-later WITH Linux-syscall-note) AND LGPL-2.1-only AND (LGPL-2.1-only OR BSD-2-Clause) AND (LGPL-2.1-only WITH Linux-syscall-note) AND LGPL-2.1-or-later AND (LGPL-2.1-or-later WITH Linux-syscall-note) AND (Linux-OpenIB OR GPL-2.0-only) AND (Linux-OpenIB OR GPL-2.0-only OR BSD-2-Clause) AND Linux-man-pages-copyleft AND MIT AND (MIT OR Apache-2.0) AND (MIT OR GPL-2.0-only) AND (MIT OR GPL-2.0-or-later) AND (MIT OR LGPL-2.1-only) AND (MPL-1.1 OR GPL-2.0-only) AND (X11 OR GPL-2.0-only) AND (X11 OR GPL-2.0-or-later) AND Zlib AND (copyleft-next-0.3.1 OR GPL-2.0-or-later) | ||||||||||||||||||
| Buildroot | f42-build-side-1-3584007-46891 | ||||||||||||||||||
| Provides |
|
||||||||||||||||||
| Obsoletes | No Obsoletes | ||||||||||||||||||
| Conflicts | No Conflicts | ||||||||||||||||||
| Requires |
|
||||||||||||||||||
| Recommends | No Recommends | ||||||||||||||||||
| Suggests | No Suggests | ||||||||||||||||||
| Supplements | No Supplements | ||||||||||||||||||
| Enhances | No Enhances | ||||||||||||||||||
| Files |
|
||||||||||||||||||
| Component of | No Buildroots | ||||||||||||||||||
