Marketplaces like Sedo and Afternic do not typically offer a way to manage DNS records. Instead, you'll typically do that through your domain registrar.
You're probably interested in learning how to set the name servers of marketplaces on your domain(s), which depends on your registrar.
Here's a guide on how to do it at the domain registrar Dynadot: