nixsearch / pkg / haskellPackages.Agda / 2.6.4.1
haskellPackages.Agda 2.6.4.1
A dependently typed functional programming language and proof assistant
Linux and macOS
last changed
outputs: out, data, doc
Pin this version
$ devbox add haskellPackages.Agda@2.6.4.1
$ nix shell github:NixOS/nixpkgs/9b09bde6e3fc9493b6a8b2a5702ac87c66505c64#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/64c81edb4b97a51c5bbc54c191763ac71a6517ee#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/807c549feabce7eddbf259dbdcec9e0600a0660d#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/07262b18b97000d16a4bdb003418bd2fb067a932#haskellPackages.Agda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.Agda |
9b09bde6e3fc | out/nix/store/cgn7jb3s75g1k816wy4s7w88kizzhb0d-Agda-2.6.4.1 doc (not default)/nix/store/py9m392mmdlbfg4nr0x4zrp0dmh4m8hx-Agda-2.6.4.1-doc data (not default)/nix/store/qf71vc2napfx6376x3md50b6cmd2821r-Agda-2.6.4.1-data |
||
aarch64-linuxLinux · arm64 |
haskellPackages.Agda |
64c81edb4b97 | out/nix/store/pxlhn69nbvkzaccaaw6dvhww8694b9gx-Agda-2.6.4.1 data (not default)/nix/store/si6nl7fi171h520hbbibdjynf1j7rf9n-Agda-2.6.4.1-data doc (not default)/nix/store/4q9s6f66r0lx40rz9jaj909xfms4rd5l-Agda-2.6.4.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.Agda |
807c549feabc | out/nix/store/jxaq8l065d5zn9swr3n47sh8395wh2x9-Agda-2.6.4.1 data (not default)/nix/store/pcw4wvm5mp987xf1dmnxnkwcgs2glqm3-Agda-2.6.4.1-data doc (not default)/nix/store/07hgn6k6fgba0gd4yb76mf4kiqwb165j-Agda-2.6.4.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.Agda |
07262b18b970 | out/nix/store/8qnxyvrx8bifwkfqamyppm5vivgrrxyl-Agda-2.6.4.1 data (not default)/nix/store/9dsqpg02j49rh77i9v3ax42ygh02xvqd-Agda-2.6.4.1-data doc (not default)/nix/store/x1nfpaahni4jzhbw8lg7flcx92mm9fpn-Agda-2.6.4.1-doc |
JSON: /v2/pkg?name=haskellPackages.Agda · /v2/resolve?name=haskellPackages.Agda&version=2.6.4.1