{"name":"python313Packages.coq-tools","summary":"Tools for working with Coq proof assistant","description":"","homepage_url":"https://pypi.org/project/coq-tools/","license":"MIT","attribute_paths":["python313Packages.coq-tools"],"releases":[{"version":"0.0.44","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.coq-tools","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/d7lnh823n5iny7kbi1xffghkgspymadd-python3.13-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/d61yiyllrbb80w3zb00vg907y9012dyf-python3.13-coq-tools-0.0.44-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.coq-tools","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/r5wcrwsiy13yzi32p8izz4b1wiz5cbsm-python3.13-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/pydzrbpslwivhichipla9mqc698icslk-python3.13-coq-tools-0.0.44-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.coq-tools","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.coq-tools","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/ad9wl1vkq5fakm139kr7yfldj7l29gkj-python3.13-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/ngdi12p447i7q73vz2f956gi29gzdghr-python3.13-coq-tools-0.0.44-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.42","last_updated":"2026-05-21T08:15:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.coq-tools","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/qjygxl1a3c0w654ndymshyc20jcw2n5j-python3.13-coq-tools-0.0.42","default":true},{"name":"dist","path":"/nix/store/h1dx3nax9f2asxjnbggmdm1wk5m6ay59-python3.13-coq-tools-0.0.42-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.coq-tools","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/sm2xs1wsk4f4xp6nnlb05na7vwg8s7k4-python3.13-coq-tools-0.0.42","default":true},{"name":"dist","path":"/nix/store/8ka4ga1x720hw4ci4ywkvk90c3qzsna5-python3.13-coq-tools-0.0.42-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.coq-tools","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/ykrvqpc12cridcdvwxvwfjbx5sjid0sd-python3.13-coq-tools-0.0.42","default":true},{"name":"dist","path":"/nix/store/9xmhknffa8p5i6k76v62j2hh6a8c61w4-python3.13-coq-tools-0.0.42-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.coq-tools","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/z3s4mw59xz61apcwzbz2k3wmph6l111x-python3.13-coq-tools-0.0.42","default":true},{"name":"dist","path":"/nix/store/v123bg49a4dgfjsa0iqcmg3pfai8pyw0-python3.13-coq-tools-0.0.42-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.39","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.coq-tools","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/qpf9m9a2cj7fl446dirsc353i2yi1v58-python3.13-coq-tools-0.0.39","default":true},{"name":"dist","path":"/nix/store/qsh2ykc2vyqlnrd8afv6a7mbm92jspk7-python3.13-coq-tools-0.0.39-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.coq-tools","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/x9wvx8zgk7cf976bfg6yxl50xlfrihms-python3.13-coq-tools-0.0.39","default":true},{"name":"dist","path":"/nix/store/wdp77gdsw07i65ch1yv56i0z7ngqpg3x-python3.13-coq-tools-0.0.39-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.coq-tools","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/1m53ys8ppw8n9p36l3fbnc2vgpr07jzk-python3.13-coq-tools-0.0.39","default":true},{"name":"dist","path":"/nix/store/53cjrzd0dzll2q9b430mkxkjn3p0wz8f-python3.13-coq-tools-0.0.39-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.coq-tools","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/wn7ca89497vbk88slxhbja26gks7s9yh-python3.13-coq-tools-0.0.39","default":true},{"name":"dist","path":"/nix/store/m89lra3b6lf54xv9yfr7q3rdmrvg687z-python3.13-coq-tools-0.0.39-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.36","last_updated":"2025-11-15T07:28:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.coq-tools","commit_hash":"1d4c88323ac36805d09657d13a5273aea1b34f0c","date":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/y3qx0vj2abbva7brwvlzi2ldw23jplr2-python3.13-coq-tools-0.0.36","default":true},{"name":"dist","path":"/nix/store/vf35qgh2mddkzwsvgkmxhj54ddz6ky66-python3.13-coq-tools-0.0.36-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.coq-tools","commit_hash":"1d4c88323ac36805d09657d13a5273aea1b34f0c","date":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/5s5rrhmlzvs8vjrdmhy14lnp4wr5m1y7-python3.13-coq-tools-0.0.36","default":true},{"name":"dist","path":"/nix/store/183q4j9wdmy9b1mf1pdnv8j7hs7hwgwj-python3.13-coq-tools-0.0.36-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.coq-tools","commit_hash":"1d4c88323ac36805d09657d13a5273aea1b34f0c","date":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/4vb64yi7ximlwifcsr73p667l52wwgv6-python3.13-coq-tools-0.0.36","default":true},{"name":"dist","path":"/nix/store/nha5bbwx5gw6d7v924h78k9rcl5vsjdv-python3.13-coq-tools-0.0.36-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.coq-tools","commit_hash":"1d4c88323ac36805d09657d13a5273aea1b34f0c","date":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/q7il8k8ry2r80dpwlfp5vv9y6jz5wb99-python3.13-coq-tools-0.0.36","default":true},{"name":"dist","path":"/nix/store/qkmfaqvhw46r6qcn2frm17l8shgdn4gv-python3.13-coq-tools-0.0.36-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}