objective-caml312 3.12.1 (new formula)
objective-caml312 3.12.1 (new formula)

New formula for objective-caml312 3.12.1 - Required for coq83.

heuermh/homebrew-versions,UniqMartin/homebrew-versions,coeligena/homebrew-verscustomized,Ashton-W/homebrew-versions,jimhe/homebrew-versions,DomT4/homebrew-versions