[Updating] cloog-ppl (0.15~git20080915-1 [Ubuntu] < 0.15~git20080915-2 [Debian])
* Trying to add cloog-ppl...
- <cloog-ppl_0.15~git20080915-2.diff.gz: cached>
- <cloog-ppl_0.15~git20080915.orig.tar.gz: already in distro - downloading
from librarian>
- <cloog-ppl_0.15~git20080915-2.dsc: cached>
I: cloog-ppl [universe] -> libcloog-ppl-dev_0.15~git20080903-2ubuntu1
[universe].
I: cloog-ppl [universe] -> libcloog-ppl0_0.15~git20080903-2ubuntu1 [universe].
** Changed in: cloog-ppl (Ubuntu)
Status: Confirmed => Fix Released
--
Please sync cloog-ppl 0.15~git20080915-2 (universe) from Debian unstable (main).
https://bugs.launchpad.net/bugs/275954
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
