nixsearch / pkg / haskellPackages.Agda / 2.7.0
haskellPackages.Agda 2.7.0
A dependently typed functional programming language and proof assistant
Linux and macOS
last changed
outputs: bin, out, data, doc
Pin this version
$ devbox add haskellPackages.Agda@2.7.0
$ nix shell github:NixOS/nixpkgs/4e0eec54db79d4d0909f45a88037210ff8eaffee#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/dfffb2e7a52d29a0ef8e21ec8a0f30487b227f1a#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/30c9efeef01e2ad4880bff6a01a61dd99536b3c9#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/2d2a9ddbe3f2c00747398f3dc9b05f7f2ebb0f53#haskellPackages.Agda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.Agda |
4e0eec54db79 | out/nix/store/lpgr3jsgxgy2ak66awnwm0glg1y8gl13-Agda-2.7.0 bin/nix/store/bfvvp0x8ixzvc4p3743v6kx1ngd34aqr-Agda-2.7.0-bin data (not default)/nix/store/rsjvirpznkjz5k5hqdqqvvgrlw4k5jig-Agda-2.7.0-data doc (not default)/nix/store/q3chvsjy8i88mbdswby0ldhhkanry6j5-Agda-2.7.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.Agda |
dfffb2e7a52d | out/nix/store/r3hgvch80bg4s55759ll8ngx7g0gxshw-Agda-2.7.0 bin/nix/store/9fx83g7xsi1b4ilxa7w539qadnyymmak-Agda-2.7.0-bin data (not default)/nix/store/rkjk8kz1ri8qn8919cqs98hkfzpsxaw8-Agda-2.7.0-data doc (not default)/nix/store/08h0rww7wvyil5xb2jbx82f95mbqvbck-Agda-2.7.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.Agda |
30c9efeef01e | out/nix/store/8h1hds18jn21c8yc5c5bpyz0vbir1xw3-Agda-2.7.0 bin/nix/store/yl2jiff2yddwvs39ad2wmfq8n5wx3gq2-Agda-2.7.0-bin data (not default)/nix/store/djhnrbh9xiv5199mixkh3pz4jl0ai6rf-Agda-2.7.0-data doc (not default)/nix/store/b26fbfc3xihidr813ixqnizdbghm44n0-Agda-2.7.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.Agda |
2d2a9ddbe3f2 | out/nix/store/rv9nh6chn0hx7rd4mmlhnbja98r3gy9k-Agda-2.7.0 bin/nix/store/cg5wgg944kn1nqbmj6v6kpxmaqr440m9-Agda-2.7.0-bin data (not default)/nix/store/4ylm22jaxxz26psij5ag3gdmnlpqz5k4-Agda-2.7.0-data doc (not default)/nix/store/7iga0bkpzia54alfw4bbfi4ci29g50z8-Agda-2.7.0-doc |
JSON: /v2/pkg?name=haskellPackages.Agda · /v2/resolve?name=haskellPackages.Agda&version=2.7.0