Yes, and in a Parker Bros shell for the original release.
IIRC DK, DK Jr, and Mario Bros were all three Nintendo Arcade IPs but Donkey Kong was put out by Coleco (white shells) whereas Atari made Mario Bros in house.
Popeye was a Nintendo arcade game, but Parker Bros. released the 2600 version. Best guess is that Parker Bros. got the rights from King Features Syndicate, who own Popeye. Konami eventually put some of their own games out under their own label, too. Rights were bought and sold all over the place.
The weirdest one is that Atari made the arcade game for Star Wars, but since Parker Bros. had gotten the rights to publish the home video games for Star Wars, they put out the 2600 version of it.
Edited by Nathan Strum, Fri Oct 13, 2017 9:57 PM.