[ issue 1226 ] more precise error reporting
[ refactor ] Lens for oldInteractionScopes
[ build ] Removed dead Packaging modules from Agda.cabal.
[ auto ] Commented entry point.
[ issue 1226 ] Fixed by setting oldInteractionScopes for auto.
[ issue 1226 ] Test case.
Merge branch 'Issue1226' into maint-2.4.0
Merge branch 'Issue1226'
Merge branch 'maint-2.4.0'