{"name":"python314Packages.coq-tools","summary":"Tools for working with Coq proof assistant","description":"","homepage_url":"https://pypi.org/project/coq-tools/","license":"MIT","attribute_paths":["python314Packages.coq-tools"],"releases":[{"version":"0.0.44","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.coq-tools","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/08hq71cnwv8yal1ggr5zxyi6062d0p44-python3.14-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/8ps3b28nzmvwhiwakh9jnbarkpaahj21-python3.14-coq-tools-0.0.44-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.coq-tools","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/5rlxl1sv4ah86vqwf9pvhi6m2wb6q5h1-python3.14-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/w2kndq1jjiin2gbdcxzb90fjy4v6cvwp-python3.14-coq-tools-0.0.44-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.coq-tools","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/w720yknr8vcv8wzs07gc70vyfd7h2ksh-python3.14-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/335h4v4vrb7y50sgbk9lq2mdnamm93fq-python3.14-coq-tools-0.0.44-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.coq-tools","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/yr01nrivpr7yxb6f7whl0w0nj1m5dcwa-python3.14-coq-tools-0.0.44","default":true},{"name":"dist","path":"/nix/store/dhf04g4gda33z80c6l5licy5pn90mml2-python3.14-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":"python314Packages.coq-tools","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/v83g119r4200cfbm7z4wwlxdh22pazgg-python3.14-coq-tools-0.0.42","default":true},{"name":"dist","path":"/nix/store/5qj7maq12kvvql8gfmwm2ybqq2kfpnvi-python3.14-coq-tools-0.0.42-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.coq-tools","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/68as0f0xq0c7j9i52gj6wfdf4622yfw4-python3.14-coq-tools-0.0.42","default":true},{"name":"dist","path":"/nix/store/h88cp6cszlvkz1f03r8r9dx9n6km657x-python3.14-coq-tools-0.0.42-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.coq-tools","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/qdq9a5f7hsca6qr5w8f3385il4ym5ma3-python3.14-coq-tools-0.0.42","default":true},{"name":"dist","path":"/nix/store/sclcipls9v7g25idhc35d88dkhjhihxj-python3.14-coq-tools-0.0.42-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.coq-tools","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/qz3rych2095mqh332j9b1s1s4h0616z0-python3.14-coq-tools-0.0.42","default":true},{"name":"dist","path":"/nix/store/kgmjf3svdlidik9vhnrqzlnp1xcb2ijm-python3.14-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":"python314Packages.coq-tools","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/njsrdzxz58xhkpax1gsnv24rgxv1nslj-python3.14-coq-tools-0.0.39","default":true},{"name":"dist","path":"/nix/store/xg8fjdwaj0k4psb4v6wpbspaq8w318s7-python3.14-coq-tools-0.0.39-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.coq-tools","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/rvh17vm2c15pbja07jl8fmxirjpv7kya-python3.14-coq-tools-0.0.39","default":true},{"name":"dist","path":"/nix/store/47pkjrsv6fkri4nfd7b7sqq5vv76r6sq-python3.14-coq-tools-0.0.39-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.coq-tools","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/6r7fxid5s92ypj9m94dx0rr7sqqp0cq9-python3.14-coq-tools-0.0.39","default":true},{"name":"dist","path":"/nix/store/dgb87r72grwc7jwx991cbvnagzb8g14s-python3.14-coq-tools-0.0.39-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.coq-tools","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/zr328g8v38yrnwgz4n5lwqazcgarg6iz-python3.14-coq-tools-0.0.39","default":true},{"name":"dist","path":"/nix/store/0fxx0v8lp56p0g0i063dk9dj54014byk-python3.14-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}]}