...
eups distrib list | grep sextractor
If you get an error like this:
eups distrib: Unable to take shared lock on /data/vault/rgm/soft/des/DESDM/eups/packages: an exclusive lock is held by [user=rgm, pid=17165]
Try this
eups distrib list --nolocks | grep sextractor