{"name":"python314Packages.coq-tools","version":"0.0.39","summary":"Tools for working with Coq proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"python314Packages.coq-tools"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"python314Packages.coq-tools"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"python314Packages.coq-tools"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"python314Packages.coq-tools"},"last_updated":"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"}]}}}