{"name":"emacsPackages.proof-general","version":"20231005.1645","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd7b7a8f7b2943862403e40972e67823058f3525"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/21jjxl751p9gmc4c0zg92sl2lvzf5pq6-emacs-proof-general-20231005.1645","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd7b7a8f7b2943862403e40972e67823058f3525"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/slsdbrysl9kaj8hi88idqy52ly9acllb-emacs-proof-general-20231005.1645","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd7b7a8f7b2943862403e40972e67823058f3525"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/fzvs839ag64y0j5px7b85smbw3zib2xj-emacs-proof-general-20231005.1645","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd7b7a8f7b2943862403e40972e67823058f3525"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/flzcscmf38wwk5sjqw6ann23dghr9ps0-emacs-proof-general-20231005.1645","default":true}]}}}