{"name":"python313Packages.coq-tools","version":"0.0.44","summary":"Tools for working with Coq proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"39ad350a0602fa0a58a544344e3e9187526ea45c"},"attr_path":"python313Packages.coq-tools"},"last_updated":"2026-10-07T09:43:42Z","outputs":[{"name":"out","path":"/nix/store/s1hvbyg1lbi975ddhii5ky1vnmqcmzp4-python3.13-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/kl5v20jgmwmgm9zhv4z2xwcp9kr07qvm-python3.13-coq-tools-0.0.44-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"39ad350a0602fa0a58a544344e3e9187526ea45c"},"attr_path":"python313Packages.coq-tools"},"last_updated":"2026-10-07T09:43:42Z","outputs":[{"name":"out","path":"/nix/store/gzr7h4ykl0g6rd6wjhnvgb1v94n8kbil-python3.13-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/wfaaxj0m8sgpddp4p1k9bdc95ydp8byy-python3.13-coq-tools-0.0.44-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python313Packages.coq-tools"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/v9crpabcw3pzqqsqfsivdx2yrxnap974-python3.13-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/ac04ngwc2h2rq335fvgy24hkssm95ksp-python3.13-coq-tools-0.0.44-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"39ad350a0602fa0a58a544344e3e9187526ea45c"},"attr_path":"python313Packages.coq-tools"},"last_updated":"2026-10-07T09:43:42Z","outputs":[{"name":"out","path":"/nix/store/b8q82pn54v14iniyzkv9xmwgljava5kc-python3.13-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/libv706d8hgxqz1mc20ncjr0vaj4sfpa-python3.13-coq-tools-0.0.44-dist"}]}}}