Wed, 04 Dec 2024 07:53:17 UTC | login

Information for file /usr/include/libsemigroups/deprecated.hpp

Name/usr/include/libsemigroups/deprecated.hpp
Digest (sha256)08f8b9b605f03d5ed5801c74c0efdb95f5dc9afd0a66fa4143282cb3e8fd45b3
Size1012.00 B
Modification timeMon, 13 Mar 2023 15:09:56 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMlibsemigroups-devel-2.7.1-1.fc38.riscv64.rpm