science

PPA description

Adding this PPA to your system

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

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

Dependencies:

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

PPA statistics

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

Overview of published packages

114 of 14 results
Package Version Uploaded by
ddcal 0.8-0~utopic Mingming Ren ()
finomaton 1.0-0~utopic Mingming Ren ()
fizzim 5.0-0~utopic Mingming Ren ()
glu 2.4-0~utopic Mingming Ren ()
libcudd 2.5.0-0~utopic Mingming Ren ()
libsystemc 2.3.0-0~utopic Mingming Ren ()
nusmv 2.5.4-0~utopic Mingming Ren ()
ocaml-buddy 0.5-0~quantal Mingming Ren ()
perldd 0.09-0~utopic Mingming Ren ()
qfsm 0.52.0-0~quantal Mingming Ren ()
supremica 201012082147-0~utopic Mingming Ren ()
vis 2.4-0~utopic Mingming Ren ()
vl2mv 2.4-0~utopic Mingming Ren ()
why3 0.83-0~0.1 Mingming Ren ()
114 of 14 results

Latest updates

  • libsystemc 524 weeks ago
    Successfully built
  • supremica 524 weeks ago
    Successfully built
  • why3 524 weeks ago
    Successfully built
  • fizzim 524 weeks ago
    Successfully built
  • ddcal 524 weeks ago
    Successfully built