Debian source package changelog viewer

Error: No such package

The package name you provided, hol-light, does not seem to exist in the Sources file (for main).