<<< BAS-IMP-ebuild_multiple_deps_per_line >>> sci-mathematics/agda-stdlib|agda-stdlib-2.4.2.5.ebuild|sci-mathematics@gentoo.org:haskell@gentoo.org sci-mathematics/agda-stdlib|agda-stdlib-2.5.2.0.13.ebuild|sci-mathematics@gentoo.org:haskell@gentoo.org <<< SRT-BUG-ebuild_src_uri_check >>> sci-mathematics/agda-stdlib|agda-stdlib-2.4.2.5|https://github.com/agda/agda-stdlib/archive/2.4.2.5.tar.gz|sci-mathematics@gentoo.org:haskell@gentoo.org <<< open bugs >>>