{"name":"emacsPackages.proof-general","version":"20250623.2108","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-10-08T01:30:28Z","outputs":[{"name":"out","path":"/nix/store/iw8xwwwq3h68cdn4vn0331hc128sfv0g-emacs-proof-general-20250623.2108","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-10-08T01:30:28Z","outputs":[{"name":"out","path":"/nix/store/mbk0csydlc9ym224x2kfvy0awbs3rr8y-emacs-proof-general-20250623.2108","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-10-08T01:30:28Z","outputs":[{"name":"out","path":"/nix/store/ys2zn280vk6nl8xpz373wf8yx1kvh3mx-emacs-proof-general-20250623.2108","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-10-08T01:30:28Z","outputs":[{"name":"out","path":"/nix/store/484a3d7hc8dfrdh17k4wsk6wlmwpmx47-emacs-proof-general-20250623.2108","default":true}]}}}