{"name":"emacsPackages.proof-general","version":"20250915.1038","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/kslxypf2s9bh7iha8k78dah6xwpzdmri-emacs-proof-general-20250915.1038","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/68nj8hqmcr227i8w7k01wmi16v1939y2-emacs-proof-general-20250915.1038","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/wvfq5l7311vrw4hd8kbd665m110l03br-emacs-proof-general-20250915.1038","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/xg7f5sqx94z0rwn2fl902j54nds2gvg3-emacs-proof-general-20250915.1038","default":true}]}}}