haskellPackages.Agda 2.6.3

A dependently typed functional programming language and proof assistant

Linux and macOS last changed 2023-11-10 outputs: out, data, doc

Pin this version

$ devbox add haskellPackages.Agda@2.6.3

systemsaarch64-darwin, x86_64-darwin, x86_64-linux commite06c716ef149f466f25e62a836c30b90476e65e5

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

systemsaarch64-linux commita0b3b06b7a82c965ae0bb1d59f6e386fe755001d

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`haskellPackages.Agda`	e06c716ef149	2023-11-10	`out` /nix/store/50xns3bq701v7dv669sipqb2z3gq821a-Agda-2.6.3 `data` (not default) /nix/store/y5j5myx793vq6cnpgsivs0gqy5b33fir-Agda-2.6.3-data `doc` (not default) /nix/store/68j85759gvfakpmnmayls2f25dr84f9r-Agda-2.6.3-doc
`aarch64-linux` Linux · arm64	`haskellPackages.Agda`	a0b3b06b7a82	2023-11-05	`out` /nix/store/g58ang3hpy5ii74v06b6abvwn5wlpmq3-Agda-2.6.3 `data` (not default) /nix/store/cjggswb7r65df8rff0wqp430d2kl53yw-Agda-2.6.3-data `doc` (not default) /nix/store/bzzqjmr0dgd4i7hgsyxrg46p2v649i9s-Agda-2.6.3-doc
`x86_64-darwin` macOS · x86-64	`haskellPackages.Agda`	e06c716ef149	2023-11-10	`out` /nix/store/9kzcggmlw196pn6xyv7ghvps9ga915ca-Agda-2.6.3 `data` (not default) /nix/store/d1rr10avjjc5syyar42kf1mr8ifkfvic-Agda-2.6.3-data `doc` (not default) /nix/store/zbr2j17j5m8lbzfdmbpmbjl2zlqh4v47-Agda-2.6.3-doc
`x86_64-linux` Linux · x86-64	`haskellPackages.Agda`	e06c716ef149	2023-11-10	`out` /nix/store/gykb0nx4vl1wwj48vlic3v77dvwvwgfk-Agda-2.6.3 `data` (not default) /nix/store/6fx2j9hgh0jcxqsfmv0ly5d7hp9y71mf-Agda-2.6.3-data `doc` (not default) /nix/store/9mckv2d4f95fx019jmp1mmsp8apdz6ls-Agda-2.6.3-doc