{"name":"haskellPackages.lean-peano","summary":"A maximally lazy, simple implementation of the Peano numbers with minimal dependencies","description":"","homepage_url":"https://hackage.haskell.org/package/lean-peano","license":"MIT","attribute_paths":["haskellPackages.lean-peano"],"releases":[{"version":"1.0.2.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.lean-peano","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/gcskhb63khcrminnw0xzrcfn8al62klk-lean-peano-1.0.2.0","default":true},{"name":"doc","path":"/nix/store/rkz31kmzjnpw4hx7xwzc9hzy6mq482hw-lean-peano-1.0.2.0-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.lean-peano","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/fj0cgbmb9ppm63m64ghgjmkrmkdm009l-lean-peano-1.0.2.0","default":true},{"name":"doc","path":"/nix/store/4cxj3kn4zjiynpihbckfqr9a9nj6jhpw-lean-peano-1.0.2.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.lean-peano","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/rpqzninksxmlgkcyw3l5vhi2synh9qk1-lean-peano-1.0.2.0","default":true},{"name":"doc","path":"/nix/store/2jln0l0v7f313s1h6sfn86rwik8y3rrs-lean-peano-1.0.2.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.lean-peano","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/in9v7s6ra8jxx0aqic8nrj6mqgv8zfw3-lean-peano-1.0.2.0","default":true},{"name":"doc","path":"/nix/store/n6qdv6km28r1fq76a7k6rzfgvrf6pljk-lean-peano-1.0.2.0-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}