[00:07] heydrick: check the body then to see if there is one in it [00:12] dobey: will do. it's hard to repro as it only happens a couple times a day [00:45] How long does it take for the source/binary of a package to be deleted after deletion was requested? [00:46] saiarcot895: you mean from a PPA? [00:46] nacc: yes [00:46] saiarcot895: IME, 15-20 minutes, sometimes longer if things are loaded down [00:47] nacc: It's been about 5 hours. I'm waiting on it to be deleted so that I can upload a fix to one of the other packages (using 8.6 GB of 8 GB) [00:51] saiarcot895: not sure, i'm not an admin, just reporting what i've seen. It can take longer for sure. Maybe it's worse when your PPA is full like htat [09:20] hi [09:20] I try to install ppa from : https://launchpad.net/~ondrej/+archive/ubuntu/php [09:24] but is still valid in ubuntu-15.04 ? [15:27] I try to install ppa from : https://launchpad.net/~ondrej/+archive/ubuntu/php [15:27] but is still valid in ubuntu-15.04 ? [15:31] sacarde: 15.04 is End of Life [15:31] sacarde: it does not provide 15.04 packages, I believe ondrej removed those [15:32] ah [15:32] ok [15:32] sacarde: yeah, he erased the Vivid packages [15:32] ok ok [15:32] thanks [15:32] sacarde: Vivid went End of Life a while ago, you should at this point be upgrading your servers to Wily at least [15:32] or to Xenial if you want long term support and newer stuff than Wily,. [15:33] ok thanks a lot [15:33] bye === JanC_ is now known as JanC