Thanks for catching the issue. I closed it because, although this was not something you could have known, the issue was resolved a very long time ago, as stated in the message accompanying the close command:
relicenced GPL-3 by upstream prior to 0.0.2, see https://groups.google.com/group/ikarus-users/msg/407afbed9b6ca961?dmode=source&output=gplain&noredirect I have added this information, with more detail, to debian/copyright in the repo, so it will be included in the next version uploaded. --Barak. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
