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