Wed, 27 Nov 2024 06:39:51 UTC | login

Information for file /usr/share/doc/ocaml-psmt2-frontend-docs/sphinx/_static/searchtools.js

Name/usr/share/doc/ocaml-psmt2-frontend-docs/sphinx/_static/searchtools.js
Digest (sha256)3012a521ca4c32c56939af6a67e4f4b8f5fb80c2952e19cbf2fcbd697c4bb37d
Size18.29 KB
Modification timeFri, 07 Jun 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-psmt2-frontend-docs-0.4.0-19.fc41.riscv64.rpm