Ubuntu
arb package

  1. Bug #355850
  2. Comment #1

Comment 1 for bug 355850

Revision history for this message
Sebastien Bacher (seb128) wrote :

[Updating] arb (0.0.20071207.1-5 [Ubuntu] < 0.0.20071207.1-7 [Debian])
 * Trying to add arb...
  - <arb_0.0.20071207.1-7.dsc: downloading from http://ftp.debian.org/debian/>
  - <arb_0.0.20071207.1-7.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <arb_0.0.20071207.1.orig.tar.gz: already in distro - downloading from librarian>