installing agda-master with cabal on ubuntu

Thanks in advance. I am updating my install to agda-master using the new cabal commands. After a github clone, Cabal new-build appears to build without error ending in the following : ... /home/rick/agda-master/src/data/lib/prim/Agda/Primitive/Cubical.agda setup: filepath wildcard 'doc/user

cabal user questions

I have some cabal user questions. Should I post them here or on Haskell cafe? -- rick ___ cabal-devel mailing list cabal-devel@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/cabal-devel