{"name":"emacsPackages.proof-general","version":"20230130.1024","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/j9c8783zxi6nbi831v4za4s0d2p4avn8-emacs-proof-general-20230130.1024","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/h14vr2fr6r9v9mgg1ay5dzg2xymzxwn5-emacs-proof-general-20230130.1024","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/2r3403gfz9vsywisqkzszf5vyhb63rwv-emacs-proof-general-20230130.1024","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/cqkyd9lljcsf17k9w5xi4fb5clhhn375-emacs-proof-general-20230130.1024","default":true}]}}}