Wed, 19 Jun 2024 19:42:01 UTC | login

Information for file /usr/lib/gap/pkg/GAPDoc/lib/PrintUtil.gd

Name/usr/lib/gap/pkg/GAPDoc/lib/PrintUtil.gd
Digest (sha256)29c218052ef9f7d0fcaa8cb0b8bf4c8e7195f8f4d7758ba7594b208f318504ed
Size847.00 B
Modification timeTue, 28 Nov 2017 13:37:29 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMGAPDoc-1.6.1-1.fc27.noarch.rpm