{"name":"haskellPackages.linearEqSolver","version":"2.4","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":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"haskellPackages.linearEqSolver"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/jzj22q3824vwkk82b78w9y77nc6yg48j-linearEqSolver-2.4","default":true},{"name":"doc","path":"/nix/store/48sfc5in1a89zy64b0hlnsirva5zifsz-linearEqSolver-2.4-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"haskellPackages.linearEqSolver"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/m1k64pjpl502xq8qr1igkazkhbm1rpg9-linearEqSolver-2.4","default":true},{"name":"doc","path":"/nix/store/x770b4jwgp69jhcj1mljckn4r7l5anjg-linearEqSolver-2.4-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"haskellPackages.linearEqSolver"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/pr77ynj3j2q0dvdv1sbxsm8rmp6gnd1v-linearEqSolver-2.4","default":true},{"name":"doc","path":"/nix/store/8c8mhyxn6z5118ivyibdgy58jh4dcd5n-linearEqSolver-2.4-doc"}]}}}