{"name":"emacsPackages.proof-general","version":"20240123.1014","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9a9dae8f6319600fa9aebde37f340975cab4b8c0"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/fw4pki7gaxwmwad6b119n2rmza62r5wp-emacs-proof-general-20240123.1014","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9a9dae8f6319600fa9aebde37f340975cab4b8c0"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/0x58q6br6n95rks6hlimzy5jvn63iwdh-emacs-proof-general-20240123.1014","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9a9dae8f6319600fa9aebde37f340975cab4b8c0"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/wcldvc80b0nbx8sfaps8m23dj47rqq8z-emacs-proof-general-20240123.1014","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9a9dae8f6319600fa9aebde37f340975cab4b8c0"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/4i9alqya7vjajpvx3wsik6w45dj926b7-emacs-proof-general-20240123.1014","default":true}]}}}