Hi, Am Donnerstag, den 09.06.2016, 08:30 +0000 schrieb Sean Whitton: > * Package new upstream version. > + - Build dependency bounds updated to match Agda.cabal. > + - New build dependencies: > + - ghc-prof > + - libghc-edison-core-* > + - libghc-edison-api-* > + - libghc-monadplus-* > + - libghc-transformers-* > + - libghc-*-prof for each libghc-*-dev > + - Dropped build dependencies: > + - ghc-ghci
if you don’t build a -prof package, you should not depend on the prof package, to avoid installing unnecessary packages on the build bots. Greetings, Joachim -- Joachim “nomeata” Breitner Debian Developer nome...@debian.org • https://people.debian.org/~nomeata XMPP: nome...@joachim-breitner.de • GPG-Key: 0xF0FBF51F https://www.joachim-breitner.de/
signature.asc
Description: This is a digitally signed message part