Thu, 12 Dec 2024 12:00:26 UTC | login

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

Name/usr/include/libsemigroups/deprecated.hpp
Digest (sha256)08f8b9b605f03d5ed5801c74c0efdb95f5dc9afd0a66fa4143282cb3e8fd45b3
Size1012.00 B
Modification timeFri, 20 Oct 2023 08:49:12 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMlibsemigroups-devel-2.7.2-2.fc40.riscv64.rpm