http://git.debian.org/?p=pkg-virtuoso/pkg-virtuoso.git;a=commitdiff;h=35387e277e34226cea5ec9b46f3b1f7842e5db5f
http:// git.debian. org/?p= pkg-virtuoso/ pkg-virtuoso. git;a=commitdif f;h=35387e277e3 4226cea5ec9b46f 3b1f7842e5db5f