tags 507912 help thanks Hello, should we close this bug? Have we agreed to use the Cabal version as the Debian version? Greetings. -- marcot http://marcot.iaaeee.org/