Mon, 10 Jun 2024 18:29:15 UTC | login

Information for file /usr/src/debug/alt-ergo-1.30-15.fc30.riscv64/src/structures/ty.ml

Name/usr/src/debug/alt-ergo-1.30-15.fc30.riscv64/src/structures/ty.ml
Digest (sha256)bc07071a5d4cb98a7b76fe029dc9a99c7663aa5575f2efd0d550325b42a19393
Size13.15 KB
Modification timeMon, 21 Nov 2016 06:54:45 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMalt-ergo-debugsource-1.30-15.fc30.riscv64.rpm