{"name":"emacsPackages.proof-general","version":"20260124.1351","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"173d0ad7a974f8543a9ab01d2271b2e290341b33"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/bhip0h157q4hz0n84141hza2w43lr8hm-emacs-proof-general-20260124.1351","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"173d0ad7a974f8543a9ab01d2271b2e290341b33"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/hmcgj66i4pw0mrhs9mvl45bi4p76nrr0-emacs-proof-general-20260124.1351","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"173d0ad7a974f8543a9ab01d2271b2e290341b33"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/qs63m25ss652rmanr2ps5fhwb0yz0zrb-emacs-proof-general-20260124.1351","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"173d0ad7a974f8543a9ab01d2271b2e290341b33"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/zb8svk1867m828xr8grl8j0gcbss1djb-emacs-proof-general-20260124.1351","default":true}]}}}