Tue, 19 Nov 2024 11:49:03 UTC | login

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

Name/usr/include/libsemigroups/deprecated.hpp
Digest (sha256)08f8b9b605f03d5ed5801c74c0efdb95f5dc9afd0a66fa4143282cb3e8fd45b3
Size1012.00 B
Modification timeThu, 27 Aug 2020 09:18:46 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMlibsemigroups-devel-1.3.2-1.fc33.riscv64.rpm