subslot depends for agda-stdlib-0.7-r1. Remove 0.7 pre-release versions.
Thanks to thebnq for reporting: add back missing PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )". Bump agda to 2.3.2.2.