{"name":"lean2","version":"2018-10-01","summary":"Automatic and interactive theorem prover (version with HoTT support)","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"lean2"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/k65f45314yv9n9l0yxdv1fnqq43q3i3v-lean2-2018-10-01","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b6c8664de9b6cc07fe5666a29f91884ba81197c4"},"attr_path":"lean2"},"last_updated":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/iv8z6vwiwppv9i462q5z8n4yawiqr09w-lean2-2018-10-01","default":true}]}}}