haskellPackages.meldable-heap 2.0.3

Asymptotically optimal, Coq-verified meldable heaps, AKA priority queues

Linux and macOS last changed 2026-09-29 outputs: out, data, doc

Pin this version

$ devbox add haskellPackages.meldable-heap@2.0.3

systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.meldable-heap

systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d

$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.meldable-heap

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`haskellPackages.meldable-heap`	b6c8664de9b6	2026-09-29	`out` /nix/store/pid52ayhqz0wwb3nma26kzhz34alf37r-meldable-heap-2.0.3 `data` (not default) /nix/store/7msww9fb9jqlcaa76a3mhzc0y17q4bwx-meldable-heap-2.0.3-data `doc` (not default) /nix/store/n8b36xmgcr2qccwc9dn3d87f0ansmj0p-meldable-heap-2.0.3-doc
`aarch64-linux` Linux · arm64	`haskellPackages.meldable-heap`	b6c8664de9b6	2026-09-29	`out` /nix/store/mw9a261vw99spdydzvnjyafm12inmgwv-meldable-heap-2.0.3 `data` (not default) /nix/store/kcynm56z0i8hk293lac2fpmmyicyzama-meldable-heap-2.0.3-data `doc` (not default) /nix/store/2yhskqhn1ykvyn532barai7wfrl3wf9f-meldable-heap-2.0.3-doc
`x86_64-darwin` macOS · x86-64	`haskellPackages.meldable-heap`	3d46470bb303	2026-06-27	`out` /nix/store/gy0cv7sgqq9zs7cy5k1hyamks2p82wq6-meldable-heap-2.0.3 `data` (not default) /nix/store/my6zkb7kfwzvq70v2klkf7b19lmxpvi8-meldable-heap-2.0.3-data `doc` (not default) /nix/store/xdgwapziy5dhwxb42m0fhx78kp3qrs3k-meldable-heap-2.0.3-doc
`x86_64-linux` Linux · x86-64	`haskellPackages.meldable-heap`	b6c8664de9b6	2026-09-29	`out` /nix/store/sqgrqa6p8swd8q45581p13kky9ix0r8q-meldable-heap-2.0.3 `data` (not default) /nix/store/jq3yv2r53imkxh0g54v34p6bg6s78b9h-meldable-heap-2.0.3-data `doc` (not default) /nix/store/vz5ypz0q6v52s3s36d7d5lislgccrq3p-meldable-heap-2.0.3-doc