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