Hello, I am reassigning this bug to clasp. See this thread on the potassco-users mailing list:
http://sourceforge.net/p/potassco/mailman/potassco-users/thread/1954801.MC6ALO8tj0%40aix/#msg34512643 -Ralf -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
