Mathias Kende PPA

PPA description

Repository for packages of my softwares and libraries (mostly in OCaml, but some in C also).

Adding this PPA to your system

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

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

For questions and bugs with software in this PPA please contact Mathias Kende.

PPA statistics

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

Overview of published packages

110 of 10 results
Package Version Uploaded by
libidd-ocaml-dev 0.5-1 Mathias Kende ()
libptrace-ocaml-dev 0.8-1 Mathias Kende ()
libsaferun-ocaml-dev 0.1-1 Mathias Kende ()
libsmbclient-ocaml-dev 1.0-2 Mathias Kende ()
netlist 1.0.0-2 Mathias Kende ()
ocamlmk 1.0.1-1 Mathias Kende ()
polysem 1.0-1 Mathias Kende ()
rezo 0.8-1 Mathias Kende ()
saferun 0.5-1 Mathias Kende ()
zanorg 0.5-1 Mathias Kende ()
110 of 10 results

Latest updates

  • libidd-ocaml-dev 754 weeks ago
    Successfully built
  • libsaferun-ocaml-dev 759 weeks ago
    Successfully built
  • zanorg 776 weeks ago
    Successfully built
  • netlist 778 weeks ago
    Successfully built
  • saferun 778 weeks ago
    Successfully built