{"name":"elan","version":"4.2.3","summary":"Small tool to manage your installations of the Lean theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ac6b2166e7a9375683b8e98f860f273222337b16"},"attr_path":"elan"},"last_updated":"2026-08-25T04:16:28Z","outputs":[{"name":"out","path":"/nix/store/gssjcs7wfkgngfbg78k9n72mn7ha4sp9-elan-4.2.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ac6b2166e7a9375683b8e98f860f273222337b16"},"attr_path":"elan"},"last_updated":"2026-08-25T04:16:28Z","outputs":[{"name":"out","path":"/nix/store/vdjvs4qvcpl9vq12c6cwsya9kjygvh28-elan-4.2.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"elan"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/mrd0ag51rb6p9faqwr4f6bp3iyilc1kd-elan-4.2.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ac6b2166e7a9375683b8e98f860f273222337b16"},"attr_path":"elan"},"last_updated":"2026-08-25T04:16:28Z","outputs":[{"name":"out","path":"/nix/store/cm1hbjm7n3d33k512f9nah8dlws62iay-elan-4.2.3","default":true}]}}}