nixsearch / pkg / haskellPackages.Agda

haskellPackages.Agda

A dependently typed functional programming language and proof assistant

MIT hackage.haskell.org haskellPackages.Agda 9 releases newest changed 9 days ago

version2.8.0 attributehaskellPackages.Agda rev

aarch64-darwin f45c6f04c2f013f004bf94e284e95d72898d9393 2026-09-28

aarch64-linux f45c6f04c2f013f004bf94e284e95d72898d9393 2026-09-28

x86_64-darwin 05988b07fb05cbcb50be6bce197b4b5f75b5e61b 2026-07-08

x86_64-linux f45c6f04c2f013f004bf94e284e95d72898d9393 2026-09-28

systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add haskellPackages.Agda@2.8.0

$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#haskellPackages.Agda  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#haskellPackages.Agda  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#haskellPackages.Agda  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#haskellPackages.Agda  # x86_64-linux

JSON: /v2/resolve?name=haskellPackages.Agda&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
2.8.0resolved	✓	✓	✓	✓	`haskellPackages.Agda`	varies	2026-09-21	bin, out, data, doc
2.7.0.1	✓	✓	✓	✓	`haskellPackages.Agda`	varies	2025-08-12	bin, out, data, doc
2.7.0	✓	✓	✓	✓	`haskellPackages.Agda`	varies	2024-10-30	bin, out, data, doc
2.6.4.3	✓	✓	✓	✓	`haskellPackages.Agda`	varies	2024-09-03	bin, out, data, doc
2.6.4.1	✓	✓	✓	✓	`haskellPackages.Agda`	varies	2024-03-29	out, data, doc
2.6.4	✓	✓	✓	✓	`haskellPackages.Agda`	varies	2023-12-31	out, data, doc
2.6.3	✓	✓	✓	✓	`haskellPackages.Agda`	varies	2023-11-10	out, data, doc
2.6.2.2	✓	✓	✓	✓	`haskellPackages.Agda`	varies	2023-02-19	out, data, doc
2.6.2.1	✓	✓	✓	✓	`haskellPackages.Agda`	varies	2022-03-25	out, data, doc

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.