[aur-general] [removal request] - delaboratory-source

Please remove https://aur.archlinux.org/packages.php?ID=55793 I mistakenly duplicated another package in the AUR thinking that it installed a pre-compiled bin; I wanted a from source package but I see now that I was mistaken.