Mon, 25 Nov 2024 23:08:17 UTC | login

Information for file /usr/include/4ti2/groebner/Filter.h

Name/usr/include/4ti2/groebner/Filter.h
Digest (sha256)978d71b9e1363f35e1c77205cd2e5e292d2f275b9c86592f5f2ce3ebe3728995
Size972.00 B
Modification timeSun, 19 Aug 2018 15:37:54 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPM4ti2-devel-1.6.9-2.fc31.riscv64.rpm