wip-20

PPA description

Repository providing experimental versions of clingo 6.0 and derived systems.

Adding this PPA to your system

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

sudo add-apt-repository ppa:potassco/wip-20
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.

deb https://ppa.launchpadcontent.net/potassco/wip-20/ubuntu noble main 
deb-src https://ppa.launchpadcontent.net/potassco/wip-20/ubuntu noble main 
Signing key:
4096R/7AA3F20F5BDCBF2F78090C08DE1AB6C94EFE9A64 (What is this?)
Fingerprint:
7AA3F20F5BDCBF2F78090C08DE1AB6C94EFE9A64

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

PPA statistics

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

Overview of published packages

14 of 4 results
Package Version Uploaded by
clingcon 5.3.0-noble3 Potassco ()
clingo 6.0.0-noble14 Potassco ()
clingo-dl 1.5.0-noble8 Potassco ()
clingo-lpx 1.4.0-noble4 Potassco ()
14 of 4 results

Latest updates

  • clingo-lpx 5 days ago
    Successfully built
  • clingo 5 days ago
    Successfully built
  • clingcon 3 weeks ago
    Successfully built
  • clingo-dl 3 weeks ago
    Successfully built