{"name":"twelf","portdir":"lang/twelf","version":"1.7.1","license":"BSD","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://twelf.org/wiki/Main_Page","description":"Meta-logical framework for deductive systems","long_description":"Meta-logical framework for deductive systems","active":true,"categories":["lang","math"],"maintainers":[],"variants":[],"dependencies":[{"type":"build","ports":["smlnj","clang-18"]},{"type":"run","ports":["smlnj"]}],"depends_on":[]}