Python, PyQt, Qt and windows - legal issues

I write GPLv3 applications using python and pyqt4, and by association Qt.

I build binaries mainly for Debian based gnu/linux distributions. Consequently, I let the mighty apt take responsibility for a valid python and pyqt environment. Up until now, therefore, I am simply distributing my own code.

Recently, however, I have been playing with creating packages for windows. Using Pyinstaller I can build executables which pull all my python and qt dependencies and roll them into either a single folder, or even a single *.exe .

These give me cause for concern however, as these standalone executables contain several files I believe I am unlicensed to redistribute. Those files come from 2 sources.

1. microsoft themselves.
• Microsoft.VC90.CRT.manifest
• msvcm90.dll
• msvcp90.dll
• msvcr90.dll
2. and pyqt/qt stuff (see below for full list)

In conjunction with Wix I can go even further and create an *.msi package which helps for clean installation, removal and upgrading of my application. I believe most application developers using these very same tools on windows simply do exactly this and don't care about the legal and moral issues here. I, however, am not content to do this and believe I need to find a way to comply with the licensing terms of microsoft, qt and pyqt4.

I believe one possibility is to write a separate application in conjunction with the Wix installer to emulate apt and install those components separately.

I would welcome comments from anyone who has addressed this problem.

Here are the files produced by one particular (non-trivial) PyQt4 application of mine.

$ ls -lR rotagen/
rotagen/:
        71680 Jul  4  2010 bz2.pyd
      1019904 Oct 20  2010 LIBEAY32.dll
         1857 Nov  7  2007 Microsoft.VC90.CRT.manifest
       224768 Nov  6  2007 msvcm90.dll
       568832 Nov  7  2007 msvcp90.dll
       655872 Nov  7  2007 msvcr90.dll
       266752 Nov 11  2010 phonon4.dll
      1594880 Dec 24  2010 PyQt4.QtCore.pyd
      5670912 Dec 24  2010 PyQt4.QtGui.pyd
       468480 Dec 24  2010 PyQt4.QtNetwork.pyd
       304640 Dec 24  2010 PyQt4.QtWebKit.pyd
      2286080 Jul  4  2010 python27.dll
      2238464 Nov 11  2010 QtCore4.dll
      7943168 Nov 11  2010 QtGui4.dll
       891392 Nov 11  2010 QtNetwork4.dll
       674816 Nov 11  2010 QtOpenGL4.dll
       276480 Nov 11  2010 QtSvg4.dll
     10843136 Nov 11  2010 QtWebKit4.dll
       339456 Nov 11  2010 QtXml4.dll
      1009069 Dec 16 11:10 rotagen.exe
          730 Dec 16 11:10 rotagen.exe.manifest
        11776 Jul  4  2010 select.pyd
        66560 Dec 24  2010 sip.pyd
       209920 Oct 20  2010 SSLEAY32.dll
       688128 Jul  4  2010 unicodedata.pyd

    rotagen/include:
         21451 Dec  6  2009 pyconfig.h

    rotagen/qt4_plugins:
        
        rotagen/qt4_plugins/codecs:
         141824 Nov 11  2010 qcncodecs4.dll
         167936 Nov 11  2010 qjpcodecs4.dll
          77824 Nov 11  2010 qkrcodecs4.dll
         155136 Nov 11  2010 qtwcodecs4.dll

        rotagen/qt4_plugins/graphicssystems:
         14336 Nov 11  2010 qglgraphicssystem4.dll

        rotagen/qt4_plugins/iconengines:
         36864 Nov 11  2010 qsvgicon4.dll

        rotagen/qt4_plugins/imageformats:
          26624 Nov 11  2010 qgif4.dll
          28672 Nov 11  2010 qico4.dll
         196096 Nov 11  2010 qjpeg4.dll
         220672 Nov 11  2010 qmng4.dll
          22016 Nov 11  2010 qsvg4.dll
         284672 Nov 11  2010 qtiff4.dll