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