Ubuntu
pugs package

  1. Bug #65401
  2. Comment #5

Comment 5 for bug 65401

Revision history for this message
Colin Watson (cjwatson) wrote :

[Updating] pugs (6.2.10-4build1 [Ubuntu] < 6.2.10-4.1 [Debian])
 * Trying to add pugs...
  - <pugs_6.2.10-4.1.diff.gz: downloading from http://ftp.uk.debian.org/debian/>
  - <pugs_6.2.10.orig.tar.gz: already in distro - downloading from librarian>
  - <pugs_6.2.10-4.1.dsc: downloading from http://ftp.uk.debian.org/debian/>
I: pugs [universe] -> pugs_6.2.10-4build1 [universe].
I: pugs [universe] -> libghc6-pugs-dev_6.2.10-4build1 [universe].
I: pugs [universe] -> pugs-doc_6.2.10-4build1 [universe].
I: pugs [universe] -> pugs-modules_6.2.10-4build1 [universe].