{"name":"coqPackages.coinduction","version":"1.9","summary":"A library for doing proofs by (enhanced) coinduction","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"coqPackages.coinduction"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/zh20zcjzzssg4igc16phr6qc73b0h4vj-coq8.19-coinduction-1.9","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"coqPackages.coinduction"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/wrw4dds7qna159njwfyml5nk1gdzz5gv-coq8.19-coinduction-1.9","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"coqPackages.coinduction"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/y3cv2ibzqaywhr4790sld5xkkyg29k9i-coq8.19-coinduction-1.9","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"coqPackages.coinduction"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/ddgbs0d7iqdqwkddx067ak0p3wa121xn-coq8.19-coinduction-1.9","default":true}]}}}