Re: [Nix-dev] AgdaStdlib Doesn't install

Hey! It worked! That just begs the question, roconnor, do you have this somewhere in your configuration.nix? Why was yours working from the start? In any case, thank you all so much for helping me get this working. I am much obliged. On Tue, Oct 13, 2015 at 1:10 PM, Taeer Bar-Yam

Re: [Nix-dev] AgdaStdlib Doesn't install

On Sat, 10 Oct 2015 20:30:52 -0400 Taeer Bar-Yam wrote: > The file you requested is attached. > > I also observed something new and interesting. I tried to take everything > out of my configuration.nix except the bare minimum and AgdaStdlib. > What's weird is that the things

Re: [Nix-dev] AgdaStdlib Doesn't install

On Tue, 13 Oct 2015 09:29:37 -0700 Bryan Gardiner wrote: > On Sat, 10 Oct 2015 20:30:52 -0400 > Taeer Bar-Yam wrote: > > > The file you requested is attached. > > > > I also observed something new and interesting. I tried to take everything > > out of my

[Nix-dev] hydra build failures

Hi, I’m experiencing build failures with newer hydra versions. In revision 82504fe01084f432443c121614532d29c781082a I get this error: http://dpaste.com/2M8RJHB In revision 1a92f971d4648d942090e5a25b0b1e34be779a0b I get this: http://dpaste.com/0G760R4 The last revision that worked for me was: