{"name":"python310Packages.mathlibtools","version":"1.1.2","summary":"Supporting tool for Lean's mathlib","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/yyybbnsfnraipjyxg0hn0vwl4h8cfxsm-python3.10-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/ibnp25ziy9b157szi8dm0prk2fp2v7w7-python3.10-mathlibtools-1.1.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6b5019a48f876f3288efc626fa8b70ad0c64eb46"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/m3dqqi6n43n0g6rgjfyzpwfxw1jlfxkm-python3.10-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/sdk1n4w8dm4d37pmi5mm236845rbz7y6-python3.10-mathlibtools-1.1.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/g5v47qbr74a90hyk78vg1jm03bmlbpvp-python3.10-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/289i6wlr8163cqch1kqpxszxnmchhw0w-python3.10-mathlibtools-1.1.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6b5019a48f876f3288efc626fa8b70ad0c64eb46"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/smzqk0nkd9fjf2nl9kf6vdmmvvwf9j30-python3.10-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/0vy8w1cmmh4lbib75g1kvyn4np3pbprx-python3.10-mathlibtools-1.1.2-dist"}]}}}