[Nix-dev] Packaging daphny, a mono application.

[Layus]

Hi there,

I am trying to package dafny, the Microsoft reasearch language and 
program verifier.

I can manage most installation steps, but I am puzzled by mozroots and 
nuget.
These two steps download files from network archives, which is obviously 
not allowed within build sandboxes.

I have seen that we already have a getchNuGet function, is there some 
automated way to prefetch the nugets ?

The installation instructions are available here : 
https://github.com/Microsoft/dafny/blob/master/INSTALL,

     ...
     mozroots --import --sync
     wget https://nuget.org/nuget.exe
     mono ./nuget.exe restore Source/Boogie.sln
     xbuild Source/Boogie.sln
     ...
     xbuild dafny/Source/Dafny.sln