معرفی شرکت ها


rv-6.5.4-300.fc39.aarch64.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

RV: Runtime Verification
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything aarch64
نام بسته rv
نام فایل بسته rv-6.5.4-300.fc39.aarch64.rpm
نسخه بسته 6.5.4
انتشار بسته 300.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Tue 19 Sep 2023 06
هاست سازنده buildvm-a64-08.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://www.kernel.org/
مجوز GPL-2.0-only
حجم دانلود 29K
حجم نصب 200.018K
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.5.4-300.fc39.x86_64.rpm 6.5.4 x86_64 Fedora Everything
rv-6.6.3-200.fc39.aarch64.rpm 6.6.3 aarch64 Fedora Everything
rv-6.6.3-200.fc39.x86_64.rpm 6.6.3 x86_64 Fedora Everything
rv-6.8.10-200.fc39.aarch64.rpm 6.8.10 aarch64 Fedora Everything
rv-6.8.10-200.fc39.x86_64.rpm 6.8.10 x86_64 Fedora Everything
rvm-1.17-28.fc39.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-1.17-28.fc39.i686.rpm 1.17 i686 Fedora Everything
rvm-1.17-28.fc39.src.rpm 1.17 i686 Fedora Everything
rvm-1.17-28.fc39.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-debuginfo-1.17-28.fc39.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-debuginfo-1.17-28.fc39.i686.rpm 1.17 i686 Fedora Everything
rvm-debuginfo-1.17-28.fc39.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-debugsource-1.17-28.fc39.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-debugsource-1.17-28.fc39.i686.rpm 1.17 i686 Fedora Everything
rvm-debugsource-1.17-28.fc39.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-devel-1.17-28.fc39.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-devel-1.17-28.fc39.i686.rpm 1.17 i686 Fedora Everything
rvm-devel-1.17-28.fc39.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-tools-1.17-28.fc39.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-tools-1.17-28.fc39.x86_64.rpm 1.17 x86_64 Fedora Everything
rvm-tools-debuginfo-1.17-28.fc39.aarch64.rpm 1.17 aarch64 Fedora Everything
rvm-tools-debuginfo-1.17-28.fc39.x86_64.rpm 1.17 x86_64 Fedora Everything


نیازمندی

مقدار نام
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libtraceevent.so.1()(64bit)
- libtracefs.so.1()(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 6.5.4-300.fc39 rv
= 6.5.4-300.fc39 rv(aarch-64)


نحوه نصب


نصب پکیج rpm rv:

    dnf install rv-6.5.4-300.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/bin/rv
/usr/lib/.build-id
/usr/lib/.build-id/00/821be2a3eeb85407f91cb2f4ee0563b52e7524
/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-09-19

Linux v6.5.4

2023-08-28

Linux v6.5

2023-08-21

Linux v6.5-rc7

2023-08-14

Linux v6.5-rc6

2023-07-20

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

2023-07-17

Linux v6.5-rc2

2023-07-11

Perl 5.38 rebuild

2023-06-26

Linux v6.4

2023-06-20

Linux v6.4-rc7

2023-06-15

Rebuilt for Python 3.12

2023-06-12

Linux v6.4-rc6

2023-06-05

Linux v6.4-rc5

2023-05-22

Linux v6.4-rc3

2023-05-15

Linux v6.4-rc2

2023-05-08

Linux v6.4-rc1

2023-04-24

Linux v6.3
Add rv subpackage