nixsearch / pkg / haskellPackages.aern2-mfun / 0.2.9.0
haskellPackages.aern2-mfun 0.2.9.0
Multi-variate real function optimisation and proving
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.aern2-mfun@0.2.9.0
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.aern2-mfun
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.aern2-mfun
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.aern2-mfun |
b6c8664de9b6 | out/nix/store/l4mhi725x8f4pilxy9b0n381c3hs0pwk-aern2-mfun-0.2.9.0 doc (not default)/nix/store/yh91sl2da61bh6ar29w5snf1m1mz20ay-aern2-mfun-0.2.9.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.aern2-mfun |
b6c8664de9b6 | out/nix/store/6smpyz9v0bnxxd7w9adnhp7b7dmq3g15-aern2-mfun-0.2.9.0 doc (not default)/nix/store/hbjh0ixr6xl67yh2liw11wpp29bijq0l-aern2-mfun-0.2.9.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.aern2-mfun |
3d46470bb303 | out/nix/store/xvgx4z89988h42a8arrxhhx1sdskqsjj-aern2-mfun-0.2.9.0 doc (not default)/nix/store/n2dd5vx5rc67jy9nfgp70ll0z7nn2w0a-aern2-mfun-0.2.9.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.aern2-mfun |
b6c8664de9b6 | out/nix/store/0al4angr51ndr2g5xxx5hwawgpkm350c-aern2-mfun-0.2.9.0 doc (not default)/nix/store/qb4ya5wsgg2wsqrwcbwp1ql225vkrx5k-aern2-mfun-0.2.9.0-doc |
JSON: /v2/pkg?name=haskellPackages.aern2-mfun · /v2/resolve?name=haskellPackages.aern2-mfun&version=0.2.9.0