{"name":"ats","version":"0.2.12","summary":"Functional programming language with dependent types","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"ats"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/dhsdmn3r3fvyyyrc8lk946g48xi7lavd-ats-0.2.12","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"ats"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/j4js4kg5l5rb61wczcvfyh7m5l058pxl-ats-0.2.12","default":true}]}}}