seal5.dependencies

Seal5 dependencies.

Classes

CDSL2LLVMDependency([clone_url, ref])
Dependency()
GitDependency(name, clone_url[, ref, recursive])
M2ISARDependency([clone_url, ref])