{"name":"idris2","portdir":"lang/idris2","version":"0.8.0","license":"BSD","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://www.idris-lang.org","description":"Purely functional programming language with dependent types","long_description":"Purely functional programming language with dependent types","active":true,"categories":["lang"],"maintainers":[],"variants":["universal"],"dependencies":[{"type":"build","ports":["coreutils","clang-18"]},{"type":"lib","ports":["gmp","chez-scheme"]}],"depends_on":[]}