PPA description

ROM Properties Page shell extension.

Source repository:

Adding this PPA to your system

You can update your system with unsupported packages from this untrusted PPA by adding ppa:gerbilsoft/ppa to your system's Software Sources. (Read about installing)

sudo add-apt-repository ppa:gerbilsoft/ppa
sudo apt-get update
Technical details about this PPA

This PPA can be added to your system manually by copying the lines below and adding them to your system's software sources.

Display sources.list entries for:
Signing key:
4096R/08F2E53D144E2B83C279CFF53202139432D1A0E7 (What is this?)

For questions and bugs with software in this PPA please contact David Korth.

PPA statistics

0 updates added during the past month.
View package details

Overview of published packages

110 of 10 results
Package Version Uploaded by
rom-properties 1.5-1ppa2~eoan9 David Korth (2020-03-14)
rom-properties 1.5-1ppa2~bionic2 David Korth (2020-03-14)
rom-properties 1.5-1ppa1~xenial2 David Korth (2020-03-14)
rom-properties 1.4.3-1ppa2~disco2 David Korth (2019-09-18)
rom-properties 1.3.3-1ppa2~cosmic2 David Korth (2019-01-01)
rom-properties 1.2-1ppa2~artful1 David Korth (2017-11-12)
rom-properties 1.2-1ppa1~zesty3 David Korth (2017-11-12)
rvthtool 1.1.1-1ppa2~bionic1 David Korth (2018-09-18)
rvthtool 1.1.1-1ppa1~xenial1 David Korth (2018-09-18)
rvthtool 0.9-1ppa2~artful1 David Korth (2018-04-26)
110 of 10 results

Latest updates

  • rom-properties 16 weeks ago
    Successfully built
  • rom-properties 16 weeks ago
    Successfully built
  • rom-properties 16 weeks ago
    Successfully built
  • rom-properties 42 weeks ago
    Successfully built
  • rom-properties 79 weeks ago
    Successfully built