{"name":"coqPackages.coqtail-math","version":"20201124","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e"},"attr_path":"coqPackages.coqtail-math"},"last_updated":"2022-04-20T07:43:34Z"},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e"},"attr_path":"coqPackages.coqtail-math"},"last_updated":"2022-04-20T07:43:34Z","outputs":[{"name":"out","path":"/nix/store/px0dd6w3mpid52fgavkq5xv9yd0jl67y-coq8.13-coqtail-math-20201124","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e"},"attr_path":"coqPackages.coqtail-math"},"last_updated":"2022-04-20T07:43:34Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e"},"attr_path":"coqPackages.coqtail-math"},"last_updated":"2022-04-20T07:43:34Z"}}}