Personal Package Archives for Ubuntu

175 of 183 results
PPA name Description Sources Binaries
OCaml PPA containing ocaml with ocaml-native-compilers for ppc64el 0 0
OCaml + OPAM Backport of OCaml+OPAM, including lms-lang-caml deps 13 43
Zak's build-dependency PPA Packages and backports that are required for building those in... 7 57
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 89
Pippijn's Packages This archive contains Ubuntu packages for the projects hosted ... 26 68
Binary Analysis Platform 14 86
Coq backports Backports of newer versions of Coq 10 71
Many Coq Versions 66 105
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
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 11 164
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
PPA for St├ęphane Glondu Archive for EXPERIMENTAL packages I maintain in Debian (and th... 6 53
LLVM toolchains 6 207
PPA for Daniel Hecken Personal packages. A few backports from Hardy and Intrepid. Fl... 36 133
Private PPA 14 19
Stub's Junk 26 113
ben 2 6
buildtest 12 138
coq-ocaml42 4 9
google-drive-ocamlfuse 3 45
ppc64el PPA This is a PPA made to contain mainly ppc64el packages. 7 15
PPA for testing 38 252
Personal PPA In this package I provide packages that are one of the followi... 12 131
scratch 20 57
PPA for LLVM This PPA provides LLVM/Clang packages for older distributions. 4 36
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
LLVM Backport 2 52
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 9.1 5 124
PPA for Chris Clearwater 10 24
Precise Libvirt 3 11
Quantal Experimental (non-backported) packages for quantal 3 21
Updates of external packages More recent version of various external packages, which are le... 16 104
Xen test 1 10
aptitude multiarch support aptitude 0.6.8.1 (with multiarch support) for precise 9 43
backports Backports from Ubuntu Quantal and Debian Sid to Ubuntu 12.04 (... 25 81
boxgrinder-stable Boxgrinder Stable PPA To install, add this PPA and then: sud... 15 28
dnjl's Virtualization Buildarea 9 57
libguestfs 2 29
libguestfs 1.18 1 17
libguestfs backports Backports of libguestfs/supermin from utopic to trusty. 2 29
libguestfs-daily 1 30
175 of 183 results