{"name":"emacsPackages.proof-general","version":"20250516.913","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"359c442b7d1f6229c1dc978116d32d6c07fe8440"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-05-19T23:16:24Z","outputs":[{"name":"out","path":"/nix/store/v6k5aw8018yzcly9cw1rkpm7gzd0zpfv-emacs-proof-general-20250516.913","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bdc995d3e97cec29eacc8fbe87e66edfea26b861"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-05-26T17:43:11Z","outputs":[{"name":"out","path":"/nix/store/v9k8hlf73rgq70p65kmvmasiwkk34qdg-emacs-proof-general-20250516.913","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"359c442b7d1f6229c1dc978116d32d6c07fe8440"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-05-19T23:16:24Z","outputs":[{"name":"out","path":"/nix/store/3rwbw2rwvzqdwyahx96fran8n7a5hrd3-emacs-proof-general-20250516.913","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bdc995d3e97cec29eacc8fbe87e66edfea26b861"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-05-26T17:43:11Z","outputs":[{"name":"out","path":"/nix/store/8qihkykvdia53ppy7fvxj3a1vzap19w8-emacs-proof-general-20250516.913","default":true}]}}}