I'm surprised the gitlab page has no issues, and the Nota.cabal file still points to what appears to be a stale github repo.