{"name":"haskellPackages.eliminators_0_9_1","version":"0.9.1","summary":"Dependently typed elimination functions using singletons","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"haskellPackages.eliminators_0_9_1"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/nvp7balqhx49m0arkv5jg2pavmkqg4bk-eliminators-0.9.1","default":true},{"name":"doc","path":"/nix/store/fda23s0ql81qrq7b6r8w3cwg3xa3ihmh-eliminators-0.9.1-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"haskellPackages.eliminators_0_9_1"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/l61zd9lmmfyapf4xhyrxs6jl0wr8qday-eliminators-0.9.1","default":true},{"name":"doc","path":"/nix/store/l5gghm1qw41fxg28r43b1whjdk1a9idk-eliminators-0.9.1-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"haskellPackages.eliminators_0_9_1"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/qlq11049nbslhp4mz55xr54m6fyhwiqq-eliminators-0.9.1","default":true},{"name":"doc","path":"/nix/store/zj95k425y0wrbpcfiii1iw9fr080p75x-eliminators-0.9.1-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"haskellPackages.eliminators_0_9_1"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/3gvm179s4k7yh57vaar4sa4xf1nwnj2s-eliminators-0.9.1","default":true},{"name":"doc","path":"/nix/store/pvchqmp6iqs8ap9f9qipf95p0wsm76gz-eliminators-0.9.1-doc"}]}}}