Index of /2017/divm/divine3+p/nix/

../
build.sh                                           31-Mar-2017 15:51                 577
debian_build.nix                                   31-Mar-2017 15:51                2624
default.nix                                        31-Mar-2017 15:51               11376
mkwinpeimg.patch                                   31-Mar-2017 15:51                1146
test-wrapper.sh                                    31-Mar-2017 15:51                 452
wimlib.nix                                         31-Mar-2017 15:51                 626
windows_build.nix                                  31-Mar-2017 15:51                3380
windows_cmake.nix                                  31-Mar-2017 15:51                 563
windows_img.nix                                    31-Mar-2017 15:51                8762
windows_llvm.nix                                   31-Mar-2017 15:51                1625
windows_mingw.nix                                  31-Mar-2017 15:51                6059
windows_nsis.nix                                   31-Mar-2017 15:51                 434
windows_python.nix                                 31-Mar-2017 15:51                 497
windows_qt.nix                                     31-Mar-2017 15:51                1159