Thu, 20 Jun 2024 21:34:13 UTC | login

Information for file /usr/src/debug/ltl2ba-1.3-6.fc37.riscv64/generalized.c

Name/usr/src/debug/ltl2ba-1.3-6.fc37.riscv64/generalized.c
Digest (sha256)52621fa23818ae287cf7fa994cea7e326addac6b9978b5ea85586e7f3ef3d5c3
Size20.14 KB
Modification timeTue, 09 Jun 2020 10:07:49 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMltl2ba-debugsource-1.3-6.fc37.riscv64.rpm