Debian package of 3.7.17 available for installation

.vext was apparently a temporary aberration; .vmdx is still the “official” file extension for module extensions, in my understanding: see The VASSAL 3.5.0 release thread.

2 Likes