OCaml backports
PPA description
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:onthewings/ocaml to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:onthewings/ocaml sudo apt update
For questions and bugs with software in this PPA please contact Andy Li.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 75 of 85 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
|
5.0.1-3~bpo20.04.1 | Andy Li () |
|
4.02.1+3-2~ubuntu15.10.1 | Andy Li () |
|
4.02.1+3-2~ubuntu15.04.1 | Andy Li () |
|
4.02.1+3-2~ubuntu14.04.1 | Andy Li () |
|
4.02.1+3-2~ubuntu12.04.1 | Andy Li () |
|
2.0~bpo23.04.1 | Andy Li () |
|
2.0~bpo22.04.1 | Andy Li () |
|
2.0~bpo20.04.1 | Andy Li () |
|
1.7.8-1~ubuntu21.10.1~ppa1 | Andy Li () |
|
1.7.8-1~ubuntu21.04.1~ppa1 | Andy Li () |
|
1.7.8-1~ubuntu20.10.1 | Andy Li () |
|
1.7.8-1~ubuntu20.04.1~ppa2 | Andy Li () |
|
1.7.8-1~ubuntu18.04.1~ppa2 | Andy Li () |
|
1.7.8-1~ubuntu16.04.1~ppa2 | Andy Li () |
|
1.7.7-1.1~ubuntu19.10.1~ppa1 | Andy Li () |
|
1.7.6-1.1~ubuntu19.04.1~ppa1 | Andy Li () |
|
1.5.5-2build1~ubuntu15.10.1 | Andy Li () |
|
1.5.5-2build1~ubuntu15.04.1 | Andy Li () |
|
1.5.5-2build1~ubuntu14.04.1 | Andy Li () |
|
1.5.5-2build1~ubuntu12.04.1 | Andy Li () |
|
20160215-1~ubuntu12.04.1 | Andy Li () |
|
1.40.0-1.1~ubuntu20.10.1~ppa1 | Andy Li () |
|
1.40.0-1.1~ubuntu20.04.1~ppa1 | Andy Li () |
|
1.40.0-1.1~ubuntu18.04.1~ppa1 | Andy Li () |
|
1.40.0-1.1~ubuntu16.04.1~ppa1 | Andy Li () |
|
2.16.3-1.1~ubuntu19.10.1~ppa1 | Andy Li () |
|
2.16.3-1.1~ubuntu19.04.1~ppa1 | Andy Li () |
|
2.16.3-1.1~ubuntu18.04.1~ppa1 | Andy Li () |
|
2.16.3-1.1~ubuntu16.04.1~ppa1 | Andy Li () |
|
4.02.3-5ubuntu2~ubuntu15.10.1 | Andy Li () |
|
4.02.3-5ubuntu2~ubuntu15.04.1 | Andy Li () |
|
4.02.3-5ubuntu2~ubuntu14.04.1 | Andy Li () |
|
4.02.3-5ubuntu2~ubuntu12.04.1 | Andy Li () |
|
1.3.2-1~bpo20.04.1 | Andy Li () |
|
0.15.1-1.1~ubuntu18.04.1~ppa1 | Andy Li () |
|
0.15.1-1.1~ubuntu16.04.1~ppa1 | Andy Li () |
|
3.10.0-1~bpo23.04.1 | Andy Li () |
|
3.10.0-1~bpo22.04.1 | Andy Li () |
|
3.10.0-1~bpo20.04.1 | Andy Li () |
|
2.1.3-2.1~ubuntu18.04.1~ppa2 | Andy Li () |
|
2.1.3-2.1~ubuntu16.04.1~ppa1 | Andy Li () |
|
1.11.0-2.2~ubuntu19.04.1~ppa1 | Andy Li () |
|
0.5.2-2.1~ubuntu19.10.1~ppa1 | Andy Li () |
|
0.5.2-2.1~ubuntu19.04.1~ppa1 | Andy Li () |
|
0.5.2-2.1~ubuntu18.04.1~ppa1 | Andy Li () |
|
0.5.2-2.1~ubuntu16.04.1~ppa1 | Andy Li () |
|
0.3.0-1.1~ubuntu18.04.1~ppa5 | Andy Li () |
|
0.3.0-1.1~ubuntu16.04.1~ppa4 | Andy Li () |
|
0.5.12-2~bpo23.04.1 | Andy Li () |
|
0.5.12-2~bpo22.04.1 | Andy Li () |
|
0.5.12-2~bpo20.04.1 | Andy Li () |
|
0.5.10-1~ubuntu21.10.1~ppa1 | Andy Li () |
|
0.5.6-1~ubuntu21.04.1~ppa1 | Andy Li () |
|
0.5.6-1~ubuntu20.10.1~ppa1 | Andy Li () |
|
0.5.6-1~ubuntu18.04.1~ppa2 | Andy Li () |
|
0.5.6-1~ubuntu16.04.1~ppa1 | Andy Li () |
|
1.4.0-1.1~ubuntu19.04.1~ppa1 | Andy Li () |
|
1.4.0-1.1~ubuntu18.04.1~ppa1 | Andy Li () |
|
1.4.0-1.1~ubuntu16.04.1~ppa1 | Andy Li () |
|
0.1.10-3~ubuntu18.04.1~ppa1 | Andy Li () |
|
0.1.10-3~ubuntu16.04.1~ppa1 | Andy Li () |
|
2.0.4-2.1~ubuntu18.04.1~ppa1 | Andy Li () |
|
2.0.4-2.1~ubuntu16.04.1~ppa1 | Andy Li () |
|
1.5-1~bpo20.04.1 | Andy Li () |
|
1.4-2.1~ubuntu19.04.1~ppa1 | Andy Li () |
|
1.4-2.1~ubuntu18.04.1~ppa1 | Andy Li () |
|
1.4-2.1~ubuntu16.04.1~ppa1 | Andy Li () |
|
3.0-3~bpo20.04.1 | Andy Li () |
|
2.2-2~ubuntu18.04.1~ppa1 | Andy Li () |
|
2.2-2~ubuntu16.04.1~ppa3 | Andy Li () |
|
2.1-3.1~ubuntu19.10.1~ppa1 | Andy Li () |
|
2.1-3.1~ubuntu19.04.1~ppa1 | Andy Li () |
|
0.0.2-1.1~ubuntu16.04.1~ppa1 | Andy Li () |
|
1.2.1-1.1~ubuntu19.04.1~ppa1 | Andy Li () |
|
1.2.1-1.1~ubuntu18.04.1~ppa1 | Andy Li () |
1 → 75 of 85 results | First • Previous • Next • Last |