haskellPackages.Agda 2.6.2.1

A dependently typed functional programming language and proof assistant

Linux and macOS last changed 2022-03-25 outputs: out, data, doc

Pin this version

$ devbox add haskellPackages.Agda@2.6.2.1

systemsaarch64-darwin commit4d60081494259c0785f7e228518fee74e0792c1b

$ nix shell github:NixOS/nixpkgs/4d60081494259c0785f7e228518fee74e0792c1b#haskellPackages.Agda

systemsaarch64-linux, x86_64-darwin commit30d3d79b7d3607d56546dd2a6b49e156ba0ec634

$ nix shell github:NixOS/nixpkgs/30d3d79b7d3607d56546dd2a6b49e156ba0ec634#haskellPackages.Agda

systemsx86_64-linux commit98bb5b77c8c6666824a4c13d23befa1e07210ef1

$ nix shell github:NixOS/nixpkgs/98bb5b77c8c6666824a4c13d23befa1e07210ef1#haskellPackages.Agda

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`haskellPackages.Agda`	4d6008149425	2022-03-24	`out` /nix/store/vfrw0dwrhlsc0n3m91ycsq38c9qjsllz-Agda-2.6.2.1 `data` (not default) /nix/store/r05s5sbml4kdkpj64lbpip8l4rygf32g-Agda-2.6.2.1-data `doc` (not default) /nix/store/anwgpzi2h856s13wijixi6vq0r36975n-Agda-2.6.2.1-doc
`aarch64-linux` Linux · arm64	`haskellPackages.Agda`	30d3d79b7d36	2022-03-25	`out` /nix/store/qb9a6vyfgniagqzf1ll4pyyzilnd1awn-Agda-2.6.2.1 `data` (not default) /nix/store/br8i0x693xin5z89yjs58rb62wl8jgdy-Agda-2.6.2.1-data `doc` (not default) /nix/store/0qcwd1ccah4ylbkvf19iwns4f25v896n-Agda-2.6.2.1-doc
`x86_64-darwin` macOS · x86-64	`haskellPackages.Agda`	30d3d79b7d36	2022-03-25	`out` /nix/store/z0pnf9jxc4295qmqcjqdfw6dk7j4c1np-Agda-2.6.2.1 `doc` (not default) /nix/store/hwab3rkrqv2d3fwa30q8ywbffgm4s3dy-Agda-2.6.2.1-doc `data` (not default) /nix/store/v1xrxn2sk2n3yw7bmvc5ggrm17kwibyn-Agda-2.6.2.1-data
`x86_64-linux` Linux · x86-64	`haskellPackages.Agda`	98bb5b77c8c6	2022-02-09	`out` /nix/store/1rhlv5v1p8gdw6lcsbi2r983nnyjrij5-Agda-2.6.2.1 `data` (not default) /nix/store/pk13lsimx5pz4nbjbyj7ydi2sfhysij1-Agda-2.6.2.1-data `doc` (not default) /nix/store/1zgnbdd5fxmmd4fy2ybmjxnyay692gbl-Agda-2.6.2.1-doc