dev

PPA description

Adding this PPA to your system

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

sudo add-apt-repository ppa:jbicha/dev
sudo apt 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:
deb https://ppa.launchpadcontent.net/jbicha/dev/ubuntu YOUR_UBUNTU_VERSION_HERE main 
deb-src https://ppa.launchpadcontent.net/jbicha/dev/ubuntu YOUR_UBUNTU_VERSION_HERE main 
Signing key:
1024R/34FEA72C349E4E07BA32F731A4592F7718C441B5 (What is this?)
Fingerprint:
34FEA72C349E4E07BA32F731A4592F7718C441B5

For questions and bugs with software in this PPA please contact Jeremy Bícha.

PPA statistics

Activity
3 updates added during the past month.
View package details

Overview of published packages

14 of 4 results
Package Version Uploaded by
gjs 1.76.0-3~ppa1 Jeremy Bícha ()
gnome-calls 46.3-1~bpo24.10.1 (Newer version available) Jeremy Bícha ()
gnome-remote-desktop 46.3-0ubuntu0~ppa1 (Newer version available) Jeremy Bícha ()
systemtap 5.1-1~bpo24.10.1 (Newer version available) Jeremy Bícha ()
14 of 4 results

Latest updates

  • gnome-remote-desktop 3 weeks ago
    Failed to build: amd64
  • systemtap 3 weeks ago
    Successfully built
  • gnome-calls 3 weeks ago
    Failed to build: amd64
  • gjs 60 weeks ago
    Failed to build: amd64