nixsearch
nixsearch / pkg / haskellPackages.ty / 0.1.7

haskellPackages.ty 0.1.7

Typed type representations and equality proofs
Linux and macOS last changed outputs: out, doc

Pin this version

$ devbox add haskellPackages.ty@0.1.7
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit02f5696b0e6097e589076d886b317b83ff0437d7 
$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#haskellPackages.ty
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.ty

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.ty 02f5696b0e60
out
/nix/store/kcplsk2cd9vck80b2ahdksdsygyir3lk-ty-0.1.7
doc (not default)
/nix/store/cm5m82x01ybxbjvwv7kj9n8vczg7jvnj-ty-0.1.7-doc
aarch64-linux
Linux · arm64		 haskellPackages.ty 02f5696b0e60
out
/nix/store/1ydk551n7jm39zf35jpkln4wpvbq3dzz-ty-0.1.7
doc (not default)
/nix/store/hhxfjs3zqg6iya87yc4zqw2yxpz92fhl-ty-0.1.7-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.ty 3d46470bb303
out
/nix/store/7z8cagq98zya9hh814469w2y6valxg2s-ty-0.1.7
doc (not default)
/nix/store/khrn883pd73d18zf9wp0njhlqf3cn2v2-ty-0.1.7-doc
x86_64-linux
Linux · x86-64		 haskellPackages.ty 02f5696b0e60
out
/nix/store/6kbx9licx82adkd4rrxi6pak8fmdaw0m-ty-0.1.7
doc (not default)
/nix/store/qi8pfa3qbcsz7zng0cg20kilh42qyyk7-ty-0.1.7-doc
all 1 releases

JSON: /v2/pkg?name=haskellPackages.ty · /v2/resolve?name=haskellPackages.ty&version=0.1.7