{"name":"haskellPackages.type-natural","summary":"Type-level natural and proofs of their properties","description":"","homepage_url":"https://hackage.haskell.org/package/type-natural","license":"BSD-3-Clause","attribute_paths":["haskellPackages.type-natural"],"releases":[{"version":"1.3.0.2","last_updated":"2025-09-18T16:33:27Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.type-natural","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/9qiah4cmykm0wiqw1x122pziyj3jshkb-type-natural-1.3.0.2","default":true},{"name":"doc","path":"/nix/store/1b9zbb2ks3aa653qg3pfc807q6i0bh9f-type-natural-1.3.0.2-doc"}],"broken":false,"insecure":false}],"platforms_summary":"macOS (Intel only)","outputs_summary":"out (macOS only), doc (macOS only)","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.0.1","last_updated":"2025-04-17T05:47:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.type-natural","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/3w9ajzhxqp82z1lh3p8x74w0mqkjz09l-type-natural-1.3.0.1","default":true},{"name":"doc","path":"/nix/store/wfhppgvpx61lmgk66wbmxfa4w4sdgb0n-type-natural-1.3.0.1-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.type-natural","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/anwh37hi47hx310r8jmsxa12v0v0pary-type-natural-1.3.0.1","default":true},{"name":"doc","path":"/nix/store/rnvnj7rrksff3jhmkdkvlxqxvbpzypf7-type-natural-1.3.0.1-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.type-natural","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/ih8r0zs3dp6x4li1khbhsxc5fpslxj4z-type-natural-1.3.0.1","default":true},{"name":"doc","path":"/nix/store/jndsfcsl26pby7crm8rp3l5hlaq1sd0m-type-natural-1.3.0.1-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.type-natural","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/iyibxlci2qsd8ljnk5s6b438cqg1y67a-type-natural-1.3.0.1","default":true},{"name":"doc","path":"/nix/store/whxhf6ks34gw8bypflnda7443yixx179-type-natural-1.3.0.1-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.0.0","last_updated":"2024-03-08T13:51:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.type-natural","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/43lynmkv2yp6spq2qv7bxvznq9982315-type-natural-1.3.0.0","default":true},{"name":"doc","path":"/nix/store/l037b6bzmzn22835vs27hhi03d5rjr9j-type-natural-1.3.0.0-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.type-natural","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/qwwzknwxpyirqya221kn5f11ydz4lqpd-type-natural-1.3.0.0","default":true},{"name":"doc","path":"/nix/store/p7s06ih5vjf4cgqdwbapvdniq2bk94cq-type-natural-1.3.0.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.type-natural","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/a5vq8qxs232qf55jb8z4xpjz7ql78kcx-type-natural-1.3.0.0","default":true},{"name":"doc","path":"/nix/store/a886brpps8aaqnl2q5qjwsa5d8gaqvw9-type-natural-1.3.0.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.type-natural","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/7nvaz0w8x3z1aqspfp03s3akp3b1m42x-type-natural-1.3.0.0","default":true},{"name":"doc","path":"/nix/store/1b8d822vb1bzf87h90gbi91r03b4b1g7-type-natural-1.3.0.0-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.0.1","last_updated":"2023-08-08T11:45:39Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.type-natural","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/dldanvsnpgy9byvgg7585xp5mp81d136-type-natural-1.1.0.1","default":true},{"name":"doc","path":"/nix/store/hykb73ipmqg9nf8rg231ai4c6c6zywia-type-natural-1.1.0.1-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.type-natural","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/qhf32bdizr7l1kmg09p9k4dm069d1ywa-type-natural-1.1.0.1","default":true},{"name":"doc","path":"/nix/store/vl7wsx9c8m6v43v97dfnnszrjlcqhcj8-type-natural-1.1.0.1-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.type-natural","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/qpl46d2lpc8ifwi1x2zqp60ghhwb8sn0-type-natural-1.1.0.1","default":true},{"name":"doc","path":"/nix/store/j72qj8axfrc1p4acwg7kj7649kyiknbb-type-natural-1.1.0.1-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.type-natural","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/hfl91d65f28g07fqh37k7fmw97icxfgz-type-natural-1.1.0.1","default":true},{"name":"doc","path":"/nix/store/xzpk655fv86i7140qngwwdahswnvb58w-type-natural-1.1.0.1-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}