{"name":"agda","version":"2.6.1.2","summary":"","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75156546fc493f3c6b3fe5b05f1091cce98ad7cc"},"attr_path":"agda"},"last_updated":"2021-02-06T17:22:34Z"}}}