Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource rv

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.

Found 2 sites for rv

Found 42 RPM for rv

PackageSummaryDistributionDownload
rv-6.9.0-0.rc7.20240510git448b3fe5a0ea.62.fc41.aarch64.htmlRV: Runtime VerificationFedora Rawhide for aarch64rv-6.9.0-0.rc7.20240510git448b3fe5a0ea.62.fc41.aarch64.rpm
rv-6.9.0-0.rc7.20240510git448b3fe5a0ea.62.fc41.ppc64le.htmlRV: Runtime VerificationFedora Rawhide for ppc64lerv-6.9.0-0.rc7.20240510git448b3fe5a0ea.62.fc41.ppc64le.rpm
rv-6.9.0-0.rc7.20240510git448b3fe5a0ea.62.fc41.s390x.htmlRV: Runtime VerificationFedora Rawhide for s390xrv-6.9.0-0.rc7.20240510git448b3fe5a0ea.62.fc41.s390x.rpm
rv-6.9.0-0.rc7.20240510git448b3fe5a0ea.62.fc41.x86_64.htmlRV: Runtime VerificationFedora Rawhide for x86_64rv-6.9.0-0.rc7.20240510git448b3fe5a0ea.62.fc41.x86_64.rpm
rv-6.8.9-300.fc40.aarch64.htmlRV: Runtime VerificationFedora 40 updates for aarch64rv-6.8.9-300.fc40.aarch64.rpm
rv-6.8.9-300.fc40.x86_64.htmlRV: Runtime VerificationFedora 40 updates for x86_64rv-6.8.9-300.fc40.x86_64.rpm
rv-6.8.9-200.fc39.aarch64.htmlRV: Runtime VerificationFedora 39 updates for aarch64rv-6.8.9-200.fc39.aarch64.rpm
rv-6.8.9-200.fc39.x86_64.htmlRV: Runtime VerificationFedora 39 updates for x86_64rv-6.8.9-200.fc39.x86_64.rpm
rv-6.8.9-100.fc38.aarch64.htmlRV: Runtime VerificationFedora 38 updates for aarch64rv-6.8.9-100.fc38.aarch64.rpm
rv-6.8.9-100.fc38.x86_64.htmlRV: Runtime VerificationFedora 38 updates for x86_64rv-6.8.9-100.fc38.x86_64.rpm
rv-6.8.5-301.fc40.aarch64.htmlRV: Runtime VerificationFedora 40 for aarch64rv-6.8.5-301.fc40.aarch64.rpm
rv-6.8.5-301.fc40.aarch64.htmlRV: Runtime VerificationFedora 40 testing updates for aarch64rv-6.8.5-301.fc40.aarch64.rpm
rv-6.8.5-301.fc40.ppc64le.htmlRV: Runtime VerificationFedora 40 for ppc64lerv-6.8.5-301.fc40.ppc64le.rpm
rv-6.8.5-301.fc40.s390x.htmlRV: Runtime VerificationFedora 40 for s390xrv-6.8.5-301.fc40.s390x.rpm
rv-6.8.5-301.fc40.x86_64.htmlRV: Runtime VerificationFedora 40 for x86_64rv-6.8.5-301.fc40.x86_64.rpm
rv-6.8.5-301.fc40.x86_64.htmlRV: Runtime VerificationFedora 40 testing updates for x86_64rv-6.8.5-301.fc40.x86_64.rpm
rv-6.5.4-300.fc39.aarch64.htmlRV: Runtime VerificationFedora 39 for aarch64rv-6.5.4-300.fc39.aarch64.rpm
rv-6.5.4-300.fc39.ppc64le.htmlRV: Runtime VerificationFedora 39 for ppc64lerv-6.5.4-300.fc39.ppc64le.rpm
rv-6.5.4-300.fc39.s390x.htmlRV: Runtime VerificationFedora 39 for s390xrv-6.5.4-300.fc39.s390x.rpm
rv-6.5.4-300.fc39.x86_64.htmlRV: Runtime VerificationFedora 39 for x86_64rv-6.5.4-300.fc39.x86_64.rpm
rv-6.5.4-100.fc37.aarch64.htmlRV: Runtime VerificationFedora 37 updates for aarch64rv-6.5.4-100.fc37.aarch64.rpm
rv-6.5.4-100.fc37.x86_64.htmlRV: Runtime VerificationFedora 37 updates for x86_64rv-6.5.4-100.fc37.x86_64.rpm
rv-5.14.0-444.el9.aarch64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for aarch64rv-5.14.0-444.el9.aarch64.rpm
rv-5.14.0-444.el9.ppc64le.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for ppc64lerv-5.14.0-444.el9.ppc64le.rpm
rv-5.14.0-444.el9.s390x.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for s390xrv-5.14.0-444.el9.s390x.rpm
rv-5.14.0-444.el9.x86_64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for x86_64rv-5.14.0-444.el9.x86_64.rpm
rv-5.14.0-437.el9.aarch64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for aarch64rv-5.14.0-437.el9.aarch64.rpm
rv-5.14.0-437.el9.ppc64le.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for ppc64lerv-5.14.0-437.el9.ppc64le.rpm
rv-5.14.0-437.el9.s390x.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for s390xrv-5.14.0-437.el9.s390x.rpm
rv-5.14.0-437.el9.x86_64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for x86_64rv-5.14.0-437.el9.x86_64.rpm
rv-5.14.0-435.el9.aarch64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for aarch64rv-5.14.0-435.el9.aarch64.rpm
rv-5.14.0-435.el9.ppc64le.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for ppc64lerv-5.14.0-435.el9.ppc64le.rpm
rv-5.14.0-435.el9.s390x.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for s390xrv-5.14.0-435.el9.s390x.rpm
rv-5.14.0-435.el9.x86_64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for x86_64rv-5.14.0-435.el9.x86_64.rpm
rv-5.14.0-432.el9.aarch64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for aarch64rv-5.14.0-432.el9.aarch64.rpm
rv-5.14.0-432.el9.ppc64le.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for ppc64lerv-5.14.0-432.el9.ppc64le.rpm
rv-5.14.0-432.el9.s390x.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for s390xrv-5.14.0-432.el9.s390x.rpm
rv-5.14.0-432.el9.x86_64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for x86_64rv-5.14.0-432.el9.x86_64.rpm
rv-5.14.0-430.el9.aarch64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for aarch64rv-5.14.0-430.el9.aarch64.rpm
rv-5.14.0-430.el9.ppc64le.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for ppc64lerv-5.14.0-430.el9.ppc64le.rpm
rv-5.14.0-430.el9.s390x.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for s390xrv-5.14.0-430.el9.s390x.rpm
rv-5.14.0-430.el9.x86_64.htmlRV: Runtime VerificationCentOS Stream 9 AppStream for x86_64rv-5.14.0-430.el9.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet