{"name":"ats","summary":"Functional programming language with dependent types","description":"","homepage_url":"http://www.ats-lang.org","license":"GPL-3.0-or-later","attribute_paths":["ats"],"releases":[{"version":"0.2.12","last_updated":"2025-05-16T20:19:48Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ats","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/dhsdmn3r3fvyyyrc8lk946g48xi7lavd-ats-0.2.12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ats","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/j4js4kg5l5rb61wczcvfyh7m5l058pxl-ats-0.2.12","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}