[("NixOS",Version {versionBranch = [2,3,0,1], versionTags = []},Just "http://hydra.nixos.org/job/nixpkgs/trunk/haskellPackages_ghc704_no_profiling.Agda"),("Debian",Version {versionBranch = [2,3,0,1], versionTags = []},Just "http://packages.debian.org/source/sid/agda"),("FreeBSD",Version {versionBranch = [2,3,0], versionTags = []},Just "http://www.freshports.org/math/hs-Agda")]