Ubuntu
ladr package

  1. Bug #377099
  2. Comment #2

Comment 2 for bug 377099

Revision history for this message
Steve Langasek (vorlon) wrote :

[Updating] ladr (0.0.200902a-1ubuntu1 [Ubuntu] < 0.0.200902a-2 [Debian])
 * Trying to add ladr...
  - <ladr_0.0.200902a-2.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <ladr_0.0.200902a.orig.tar.gz: already in distro - downloading from librarian>
  - <ladr_0.0.200902a-2.dsc: downloading from http://ftp.debian.org/debian/>
I: ladr [universe] -> libladr-dev_0.0.200902a-1ubuntu1 [universe].
I: ladr [universe] -> libladr4_0.0.200902a-1ubuntu1 [universe].
I: ladr [universe] -> prover9_0.0.200902a-1ubuntu1 [universe].
I: ladr [universe] -> ladr4-apps_0.0.200902a-1ubuntu1 [universe].