| python3.8 |
Packages for Travis CI -
Ubuntu Xenial
|
3.8.12-1+xenial1 |
|
None
|
| cmocka |
Packages for Travis CI -
Ubuntu Trusty
|
1.1.1-1jb1 |
|
None
|
| verifast |
Personal Packages -
Ubuntu Xenial
|
17.06-2 |
|
None
|
| verifast |
Verifast Formal Verification Tools -
Ubuntu Xenial
|
17.06-1 |
|
None
|
| z3 |
Verifast Formal Verification Tools -
Ubuntu Xenial
|
4.5.0-1 |
|
None
|
| indicator-multiload |
Personal Packages -
Ubuntu Xenial
|
0.4-0ubuntu5 |
|
None
|
| keychain |
Personal Packages -
Ubuntu Xenial
|
2.8.1-0.1ubuntu2 |
|
None
|
| weighttp |
Personal Packages -
Ubuntu Xenial
|
0.4-3 |
|
None
|
| vim |
Personal Packages -
Ubuntu Xenial
|
2:7.4.1689-3ubuntu1.2.jb1 |
|
None
|
| logwatch |
Personal Packages -
Ubuntu Xenial
|
7.4.2-1ubuntu1.jb4 |
|
None
|
| ferm |
Personal Packages -
Ubuntu Xenial
|
2.2-3.2-1ubuntu1.jb1 |
|
None
|
