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