{"name":"coqPackages.deriving","summary":"Generic instances of MathComp classes","description":"","homepage_url":"https://github.com/arthuraa/deriving","license":"MIT","attribute_paths":["coqPackages.deriving"],"releases":[{"version":"0.2.3","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/fkhiv8vqsqkaag1ymdnfyk6x0pzsrmw5-coq9.1-deriving-0.2.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.deriving","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/8r01vk12ba5sqdpbp351g6fbak24gfmq-coq9.1-deriving-0.2.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/4ajil6az8pyabi08aq5h49bsqf084841-coq9.1-deriving-0.2.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.deriving","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/b2q78d2rh54kk8amvnvspxyb747kpm41-coq9.1-deriving-0.2.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.2.2","last_updated":"2026-04-30T11:26:30Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d","date":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/kjj5c310nvggbhwq7ypa02zild6k0rvn-coq9.1-deriving-0.2.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.deriving","commit_hash":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d","date":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/zqmjirv3dniwjqfjwj7pk94v41kmd2s0-coq9.1-deriving-0.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d","date":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/1z22ivacflyn8bc4szc41x3r0g07dwcq-coq9.1-deriving-0.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.deriving","commit_hash":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d","date":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/lrhwh1rmlcm933iyx1nnj6bbwcfii5ir-coq9.1-deriving-0.2.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.2.1","last_updated":"2025-05-06T08:06:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/lalnv1xa3pp95diicdf5c9y51pjm12r6-coq9.0-deriving-0.2.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.deriving","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/64x5fx3ip8gmfv6zjb5jy9jyvm8fwswh-coq9.0-deriving-0.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/dxs2c6afflvcssi4sb11gv008hlda95i-coq9.0-deriving-0.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.deriving","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/z4qyx5gpkmzxlk06pl0kzai71w13355z-coq9.0-deriving-0.2.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.2.0","last_updated":"2025-01-05T01:56:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/6c3mfhmy6w7brjb54zb8hsa2pk09k85k-coq8.20-deriving-0.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.deriving","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/bk5n5k4a1xd1rlmv7wjfdyv9vjqsb8hq-coq8.20-deriving-0.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/810i9dzlqz1b7ylnhmrfk5n8dfh1rg3n-coq8.20-deriving-0.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.deriving","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/91gyapiqi1h303b2fh11vjn3m5kad6zm-coq8.20-deriving-0.2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.1.1","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/8bgfbl01cymnpfgvfygrnq0p6n8iq7f4-coq8.19-deriving-0.1.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.deriving","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/s38w3zgqaivpa5vxrvv7gld8pnaxx1q4-coq8.19-deriving-0.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/yqark8vlqgf2fkm6x6krzin0giymvr6n-coq8.19-deriving-0.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.deriving","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/r8ywdk955ai31ypqhhz6swnkfxf35h10-coq8.19-deriving-0.1.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.1.0","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/5mwljkhr9mlqmzk7pwc9g8qn6vgzfwwg-coq8.16-deriving-0.1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.deriving","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/sxwn8h1s1j6fyafr3ax1y6g1jbdivnzk-coq8.16-deriving-0.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.deriving","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/vmszpq84wxc4v23wsvff8azqdsk1cfcf-coq8.16-deriving-0.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.deriving","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/bd4467nrj760fddzfr7izzfnnb0bp1by-coq8.16-deriving-0.1.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}