Thu, 30 May 2024 17:51:21 UTC | login

Information for file /usr/lib/gap/pkg/groupoids-1.68/lib/gpd.gd

Name/usr/lib/gap/pkg/groupoids-1.68/lib/gpd.gd
Digest (sha256)59633a6438366fbbdf29cd8b931ae3cddf4f307b6f2d52c3e90864b7a3ccc210
Size12.99 KB
Modification timeWed, 04 Sep 2019 10:02:22 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-groupoids-1.68-3.fc33.noarch.rpm