معرفی شرکت ها


rv-6.6.3-100.fc38.x86_64.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

RV: Runtime Verification
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته rv
نام فایل بسته rv-6.6.3-100.fc38.x86_64.rpm
نسخه بسته 6.6.3
انتشار بسته 100.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 29 Nov 2023 05
هاست سازنده bkernel01.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://www.kernel.org/
مجوز GPL-2.0-only
حجم دانلود 27K
حجم نصب 32.057K
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.


جایگزین ها

بسته نسخه معماری مخزن
rv-6.6.3-100.fc38.aarch64.rpm 6.6.3 aarch64 Fedora Everything
rv-6.8.9-100.fc38.aarch64.rpm 6.8.9 aarch64 Fedora Everything
rv-6.8.9-100.fc38.x86_64.rpm 6.8.9 x86_64 Fedora Everything
rvm-1.17-27.fc38.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-1.17-27.fc38.i686.rpm 1.17 i686 Fedora Everything
rvm-1.17-27.fc38.src.rpm 1.17 i686 Fedora Everything
rvm-1.17-27.fc38.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-debuginfo-1.17-27.fc38.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-debuginfo-1.17-27.fc38.i686.rpm 1.17 i686 Fedora Everything
rvm-debuginfo-1.17-27.fc38.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-debugsource-1.17-27.fc38.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-debugsource-1.17-27.fc38.i686.rpm 1.17 i686 Fedora Everything
rvm-debugsource-1.17-27.fc38.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-devel-1.17-27.fc38.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-devel-1.17-27.fc38.i686.rpm 1.17 i686 Fedora Everything
rvm-devel-1.17-27.fc38.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-tools-1.17-27.fc38.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-tools-1.17-27.fc38.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-tools-debuginfo-1.17-27.fc38.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-tools-debuginfo-1.17-27.fc38.x86_64.rpm 1.17 x86_64 Fedora Everything


نیازمندی

مقدار نام
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libtraceevent.so.1()(64bit)
- libtracefs.so.1()(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 6.6.3-100.fc38 rv
= 6.6.3-100.fc38 rv(x86-64)


نحوه نصب


نصب پکیج rpm rv:

    dnf install rv-6.6.3-100.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/bin/rv
/usr/lib/.build-id
/usr/lib/.build-id/23
/usr/lib/.build-id/23/ca38e0569cf372063f3e3527a616b050bf379b
/usr/share/man/man1/rv-list.1.gz
/usr/share/man/man1/rv-mon-wip.1.gz
/usr/share/man/man1/rv-mon-wwnr.1.gz
/usr/share/man/man1/rv-mon.1.gz


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-11-28

Linux v6.6.3

2023-11-26

Revert libcpupower soname bump.

2023-11-23

Linux v6.6.2

2023-09-19

Linux v6.5.4

2023-07-19

Linux v6.4.4

2023-05-17

Linux v6.3.3

2023-03-13

Linux v6.2.6

2023-02-20

Linux v6.2.0

2023-02-13

Linux v6.2-rc8

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-12-12

Linux v6.1.0

2022-12-05

Linux v6.1-rc8

2022-11-28

Linux v6.1-rc7

2022-11-21

Linux v6.1-rc6

2022-11-14

Linux v6.1-rc5

2022-11-11

Bump for libbpf-1.0 build