Sat, 16 Nov 2024 07:37:31 UTC | login

Information for file coco-coq-wrapper.sh

Namecoco-coq-wrapper.sh
Digest (sha256)32a4c6f1e146be90c6589b4d05e80add14b3f0391e48581964a6da34d736eadb
Size50.00 B
Modification timeWed, 26 Jul 2017 05:09:23 UTC
Usermockbuild
Groupmockbuild
Mode-rw-r--r--
Flags
RPMcoco-coq-0.1-15.fc27.src.rpm