{"name":"haskellPackages.aern2-mfun","version":"0.2.9.0","summary":"Multi-variate real function optimisation and proving","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"haskellPackages.aern2-mfun"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/l4mhi725x8f4pilxy9b0n381c3hs0pwk-aern2-mfun-0.2.9.0","default":true},{"name":"doc","path":"/nix/store/yh91sl2da61bh6ar29w5snf1m1mz20ay-aern2-mfun-0.2.9.0-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"haskellPackages.aern2-mfun"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/6smpyz9v0bnxxd7w9adnhp7b7dmq3g15-aern2-mfun-0.2.9.0","default":true},{"name":"doc","path":"/nix/store/hbjh0ixr6xl67yh2liw11wpp29bijq0l-aern2-mfun-0.2.9.0-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"haskellPackages.aern2-mfun"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/xvgx4z89988h42a8arrxhhx1sdskqsjj-aern2-mfun-0.2.9.0","default":true},{"name":"doc","path":"/nix/store/n2dd5vx5rc67jy9nfgp70ll0z7nn2w0a-aern2-mfun-0.2.9.0-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"haskellPackages.aern2-mfun"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/0al4angr51ndr2g5xxx5hwawgpkm350c-aern2-mfun-0.2.9.0","default":true},{"name":"doc","path":"/nix/store/qb4ya5wsgg2wsqrwcbwp1ql225vkrx5k-aern2-mfun-0.2.9.0-doc"}]}}}