/usr/bin/ocamloptp | File Info | koji

Tue, 07 May 2024 22:19:08 CEST | login

Information for file /usr/bin/ocamloptp

Name	/usr/bin/ocamloptp
Digest (sha256)
Size	13
Modification time	Fri, 03 May 2019 14:36:10 CEST
User	root
Group	root
Mode	lrwxrwxrwx
Flags
RPM	ocaml-4.07.1-2.xcpng8.0.x86_64.rpm