fix: version requirement for python3-lens