{"name":"coqPackages.deriving","version":"0.2.2","summary":"Generic instances of MathComp classes","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d"},"attr_path":"coqPackages.deriving"},"last_updated":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/kjj5c310nvggbhwq7ypa02zild6k0rvn-coq9.1-deriving-0.2.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d"},"attr_path":"coqPackages.deriving"},"last_updated":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/zqmjirv3dniwjqfjwj7pk94v41kmd2s0-coq9.1-deriving-0.2.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d"},"attr_path":"coqPackages.deriving"},"last_updated":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/1z22ivacflyn8bc4szc41x3r0g07dwcq-coq9.1-deriving-0.2.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d"},"attr_path":"coqPackages.deriving"},"last_updated":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/lrhwh1rmlcm933iyx1nnj6bbwcfii5ir-coq9.1-deriving-0.2.2","default":true}]}}}