Mon, 03 Jun 2024 16:58:46 UTC | login

Information for file coco-coq-wrapper.sh

Namecoco-coq-wrapper.sh
Digest (sha256)32a4c6f1e146be90c6589b4d05e80add14b3f0391e48581964a6da34d736eadb
Size50.00 B
Modification timeWed, 19 Jul 2023 00:00:00 UTC
Usermockbuild
Groupmock
Mode-rw-r--r--
Flags
RPMcoco-coq-0.1-29.fc39.src.rpm