Sat, 23 Nov 2024 12:10:00 CET | login

Information for file /usr/lib/opamroot/default/.opam-switch/packages/base-bigarray.base/opam

Name/usr/lib/opamroot/default/.opam-switch/packages/base-bigarray.base/opam
Digest (sha256)6f0e15f4c28cb951f057ad1bf45656bedc11888862d246d4c431834c946c6488
Size163
Modification timeFri, 03 May 2019 17:28:27 CEST
Userroot
Groupwheel
Mode-rw-r--r--
Flags
RPMxs-opam-repo-6.3.1-1.xcpng8.0.x86_64.rpm