{"name":"python313Packages.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":"python313Packages.coq-tools"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"python313Packages.coq-tools"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"python313Packages.coq-tools"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"python313Packages.coq-tools"},"last_updated":"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"}]}}}