Personal Package Archives for Ubuntu

175 of 212 results
PPA name Description Sources Binaries
OCaml PPA containing ocaml with ocaml-native-compilers for ppc64el 1 9
OCaml + OPAM Backport of OCaml+OPAM, including lms-lang-caml deps 13 76
Zak's build-dependency PPA Packages and backports that are required for building those in... 7 57
OCaml backports Newer versions of OCaml for building the Haxe compiler. 5 65
PPA for Hezekiah Carty An attempt at backports of OCaml itself along with related lib... 6 17
OCaml Ubuntu PPA Ocaml compiler and libraries. 2 15
OPAM unstable Bleeding edge snapshots of OCaml and OPAM 3 58
OCaml 4.00.1 + OPAM 1.0.0 OCaml 4.00.1 and OPAM 1.0.0 2 39
OCaml 4.01.0 + OPAM 1.0.0 OCaml 4.1.0 + OPAM 1.0.0 2 50
OPAM experimental Experimental uploads for new OPAM and OCaml snapshots. Not rea... 3 95
OPAM stable Latest stable versions of OCaml and OPAM. 3 104
Mathias Kende PPA Repository for packages of my softwares and libraries (mostly ... 10 10
Xen related packages My personal repository for all things related to xen and ocaml. 1 20
Radio Giroll 77 462
OCaml + OPAM build dependencies 29 159
Pippijn's Packages This archive contains Ubuntu packages for the projects hosted ... 26 68
Many Coq Versions 20 153
Binary Analysis Platform 14 86
Coq Daily Builds (trunk) Various daily builds of Coq (trunk) 10 112
Coq Daily Builds (v8.5) Various daily builds of Coq (v8.5) 10 96
Coq Daily Builds (v8.6) Various daily builds of Coq (v8.6) 10 96
Coq backports Backports of newer versions of Coq 10 71
Coq Daily Builds Various daily builds of Coq 10 61
ocsigen Packages for libraries and programs from the ocsigen project: ... 6 43
PPA for Andrea Gasparini 48 116
Some Older Versions of Ocaml 3 33
OCamlPro for Raring 6 22
OCamlPro for Precise 5 20
coq-ocaml41 6 22
OCaml backports 5 65
Emily Binary packages for Emily, an experimental functional programm... 6 26
Non Official Coq 8.5 packages Non Official Coq 8.5 packages, use at your own peril! The sou... 3 31
OCaml related packages 2 30
KLEE Different packages KLEE depends on 12 191
HHVM Contains latest version of hhvm and subsequent dependencies th... 2 12
LLVM/clang PPA Porting from Debian LLVM Packages to Ubuntu LTS **if you fail... 13 276
OCaml 4.00.1 + OPAM 1.1.0 2 41
OCaml 4.00.1 + OPAM 1.2.1 2 19
OCaml 4.01.0 + OPAM 1.1.0 2 52
OCaml 4.01.0 + OPAM 1.2.1 2 19
OCaml 4.02.1 + OPAM 1.1.2 3 37
OCaml 4.02.1 + OPAM 1.2.0 3 50
OCaml 4.02.3 + OPAM 1.2.2 3 65
OPAM testing This contains semi-stable versions of OPAM, such as beta relea... 3 67
ppa Default PPA 5 37
LLVM toolchains 7 343
PPA for St├ęphane Glondu Archive for EXPERIMENTAL packages I maintain in Debian (and th... 6 53
PPA for Daniel Hecken Personal packages. A few backports from Hardy and Intrepid. Fl... 36 133
Private PPA 15 20
Stub's Junk 27 114
ben 2 6
buildtest 11 76
coq-ocaml42 4 9
google-drive-ocamlfuse Mount Google Drive on Ubuntu (via FUSE) 3 29
google-drive-ocamlfuse-beta Mount Google Drive on Ubuntu (via FUSE): Beta versions 3 15
LLVM toolchains 4 106
Personal PPA In this package I provide packages that are one of the followi... 12 131
Rust 5 264
xorg-edgers fresh X crack == Xorg packages fresh from git == Currently supported releas... 14 431
LLVM (staging) https://launchpad.net/~doko is pretty awesome. 6 7
PPA for LLVM This PPA provides LLVM/Clang packages for older distributions. 4 36
Updates Updated versions of X.org drivers, libraries, etc. for Ubuntu.... 7 345
XCP Project Kronos (stable) XCP is a Xen virtualization management platform. Project Krono... 10 38
XCP Project Kronos (unstable) XCP is a Xen virtualization management platform. Project Krono... 8 32
science 15 18
Backports - Unstable This shit will probably hose your system! 14 88
DEPRECATED - Metacloud: QEMU 1.7.0 12 55
DEPRECATED - Metacloud: libvirt 1.2.2 3 16
Graphics Drivers Daily builds of updated open source graphics drivers for Ubunt... 31 408
Graphics Update 26 193
LLVM/clang PPA (upper version) Porting from Debian LLVM Packages to Ubuntu LTS **clang-3.5 a... 2 38
Linaro Cross Build Tools PPA Archive for cross build tools currently developed/improved by ... 15 150
Mesa 17 6 138
Mesa 9.1 5 124
PPA for Chris Clearwater 10 24
175 of 212 results