Hello i am trying to build Agda package but as you can see in the link below , every build failed with unresolvable error 
. I have no idea what to do to fix it. I have not edited the Agda package. Tried it on my local OpenSUSE LEAP system it built successfully there.
Link : https://build.opensuse.org/package/show/home:jayssj11/Agda
Thank you !!
You need to tell OBS where to find required packages. Haskell is not in standard repositories, so OBS cannot resolve it. This is actually described in https://en.opensuse.org/openSUSE:Build_Service_Tutorial#Terminology as “second option called layering” although more explicit example would not hurt here. So you will need to add additional references to repositories with Haskell. You need to decide which ones you want to use. But I do not see any existing repository for e.g. SLES12 SP2, so you may need to build required packages as part of your own project (third option - linking).
I have not edited the Agda package.
It is not clear what you mean here. Where your package comes from? Usually when you modify existing package in OBS you branch it, which automatically branches all references to repositories thus creating correct build environment.
Tried it on my local OpenSUSE LEAP system it built successfully there.
Tried it how? What command did you use? How do you expect others to guess what you did?
" I have not edited Agda package "
it means i have just uploaded the files as it is. ( Agda.tar , Agda.cabal, Agda.changes, Agda.spec )
here is the picture of files : https://s15.postimg.cc/l91k073aj/agda.png
Tried it on my local OpenSUSE LEAP system it built successfully there."
Well i just osc checkout the agda and then just typed osc build ( sorry for not menitoning it )
