One could probably use VoidLinux or Gentoo with glibc I suppose if one might want leaner than arch but more heavier than arch

Although VoidLinux's iso size I think is larger than ArchLinux or something which doesn't make that much sense but I don't really know but both are good references to check out.