Versions Packages Information History Related Badges Report

Versions for haskell:agda-executable

3 package(s) known

Repository Package name Version Category Maintainer(s)
Hackage Agda-executable 2.3.0.1 Dependent types ulfn@chalmers.se
nixpkgs stable Agda-executable 2.3.0.1 haskellPackages fallback-mnt-nix@repology
nixpkgs unstable Agda-executable 2.3.0.1 haskellPackages fallback-mnt-nix@repology