{"name":"haskellPackages.linearEqSolver","version":"2.3","summary":"Use SMT solvers to solve linear systems over integers and rationals","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"haskellPackages.linearEqSolver"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/ag1w6jvzxjabz4x4kgkdq8j4ymplfy7r-linearEqSolver-2.3","default":true},{"name":"doc","path":"/nix/store/2y9w0bdh9ixp964v0bijlz9fqc5avwva-linearEqSolver-2.3-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"haskellPackages.linearEqSolver"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/0s1sris5wpj2vgz6r93c0dcpl1m43z79-linearEqSolver-2.3","default":true},{"name":"doc","path":"/nix/store/h18ygz9yirm40r8k3icsrabdz2gysl7w-linearEqSolver-2.3-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9ed4897b224861c69d41f675c359f9c9860acdca"},"attr_path":"haskellPackages.linearEqSolver"},"last_updated":"2022-12-17T17:36:56Z","outputs":[{"name":"out","path":"/nix/store/qzvbkb0k4383r48bng44lss7wzi9nhj3-linearEqSolver-2.3","default":true},{"name":"doc","path":"/nix/store/1yfxgj1zy4gpw3ag9744z7spbx2g7m4a-linearEqSolver-2.3-doc"}]}}}