gitVersionInfo.ml
dose3.algo
dose3.common
dose3.versioning
1 2 let commit_hash = "unknown" let committer_date = "not-available"
1 2
let commit_hash = "unknown" let committer_date = "not-available"