Source: hol88 Severity: serious Version: 2.02.19940316-35.1
hol88 has one certain license issue: It bundles an old copy of NOWEB, which has a non-free license. Please repack so that NOWEB is not included.Furthermore, the license of hol88 might be non-free as well. debian/copyright claims it is public domain, which might not necessarily be true. There is a license included in License/{READ-ME,License.tex}. Please check carefully if this can stay in main at all.