Fri, 18 Oct 2019 04:07:50 UTC

Information for file /usr/src/kernels/4.12.5-300.fc26.x86_64/tools/testing/selftests/rcutorture/formal/srcu-cbmc

Name/usr/src/kernels/4.12.5-300.fc26.x86_64/tools/testing/selftests/rcutorture/formal/srcu-cbmc
Digest (sha256)
Size4096
Modification timeMon, 07 Aug 2017 15:38:59 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMkernel-devel-4.12.5-300.fc26.x86_64.rpm