Thu, 31 Oct 2024 22:51:30 UTC | login

Information for file dune-2.7.1.tar.gz

Namedune-2.7.1.tar.gz
Digest (sha256)e6fe5b175e436235329714d6c44d2cbdd210fa673901c897f657395af45f43bd
Size1.23 MB
Modification timeThu, 10 Sep 2020 13:47:20 UTC
Usermockbuild
Groupmock
Mode-rw-rw-r--
Flags
RPMocaml-dune-2.7.1-1.fc33.src.rpm