nixsearch
nixsearch / pkg / agda / 2.6.3

agda 2.6.3

A dependently typed functional programming language and proof assistant
Linux and macOS last changed

Pin this version

$ devbox add agda@2.6.3
systemsaarch64-darwin commita2eb207f45e4a14a1e3019d9e3863d1e208e2295 
$ nix shell github:NixOS/nixpkgs/a2eb207f45e4a14a1e3019d9e3863d1e208e2295#agda
systemsaarch64-linux, x86_64-darwin, x86_64-linux commit75a52265bda7fd25e06e3a67dee3f0354e73243c 
$ nix shell github:NixOS/nixpkgs/75a52265bda7fd25e06e3a67dee3f0354e73243c#agda

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agda a2eb207f45e4
out
/nix/store/aanwzq6srmcc451rm2dyjdg4c8yqnnym-agdaWithPackages-2.6.3
aarch64-linux
Linux · arm64		 agda 75a52265bda7
out
/nix/store/r34wk6bqphhzb42mwa5spxlvnvfk2lf2-agdaWithPackages-2.6.3
x86_64-darwin
macOS · x86-64		 agda 75a52265bda7
out
/nix/store/5zav75p6g0q1ccf9m8q1gps2jc85rna9-agdaWithPackages-2.6.3
x86_64-linux
Linux · x86-64		 agda 75a52265bda7
out
/nix/store/3ri7jmm7jhbjn0pmwfjas2japj1wxhqi-agdaWithPackages-2.6.3
← newer: 2.6.4 all 14 releases older: 2.6.2.2 →

JSON: /v2/pkg?name=agda · /v2/resolve?name=agda&version=2.6.3