{"name":"emacsPackages.proof-general","version":"20230414.931","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/h514mx9icv0rwn85sz2pbflw4l9rin52-emacs-proof-general-20230414.931","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/m61zmbxd304dmn7w4smbj80hixwgs6jl-emacs-proof-general-20230414.931","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/jlkjp4sl755rj6kyslav9vbz74nbxmbb-emacs-proof-general-20230414.931","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/cwzgn723w5sb4zhv9rpwc448r3r4mmm7-emacs-proof-general-20230414.931","default":true}]}}}