dev-lang/mercury-12.08_beta20120813 introduced
dev-lang/mercury scm version added