as i take it one can not have the default and the devel repo active at the same time?
if some apps are updated by the devel repo, before their final release that is, one can't use regular updates?
one would think that the updater from the default repo would neglect those packages?
summary: ones the devel repo is used to install pre-released apps one shouldn't activate the default repo again?
next some flaws in some apps installed from the devel repo, joooooy....