Re: DHG newbie

2016-06-11 Thread Lev Lamberov
11.06.2016 16:06, Sean Whitton пишет: > >> 1. I'm getting errors while running test-packages.pl, even without >> adding my package to packages.txt. So, should I just edit the txt-file >> and commit in this situation? > In general you shouldn't commit anything to the repo that doesn't pass >

Re: Bug#827014: agda: B-D on cpphs (< 1.20) but sid has 1.20.1

2016-06-11 Thread Sean Whitton
control: owner -1 ! Dear Andreas, On Sat, Jun 11, 2016 at 10:46:20AM +0200, Andreas Beckmann wrote: > Source: agda > Version: 2.4.2.5-1 > Severity: serious > Justification: fails to build from source (but built successfully in the past) > > Hi, > > agda cannot be built in sid any more sice

DHG newbie

2016-06-11 Thread Lev Lamberov
Hi all, I've recently requested to join pkg-haskell, Joachim Breitner kindly approved my request (thank you!) and asked to write to that mailing list to introduce myself. My name is Lev Lamberov, currently I am a non-uploading DD, but I plan to do a kind of "privilege escalation" later. Currently