Personal Package Archives for Ubuntu

175 of 197 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 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 Daily Builds (trunk) Various daily builds of Coq (trunk) 10 96
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
Many Coq Versions 67 115
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
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
PPA for St├ęphane Glondu Archive for EXPERIMENTAL packages I maintain in Debian (and th... 6 53
LLVM toolchains 6 285
PPA for Daniel Hecken Personal packages. A few backports from Hardy and Intrepid. Fl... 36 133
Private PPA 14 19
Stub's Junk 27 114
ben 2 6
buildtest 12 138
coq-ocaml42 4 9
google-drive-ocamlfuse Mount Google Drive on Ubuntu (via FUSE) 3 35
google-drive-ocamlfuse-beta Mount Google Drive on Ubuntu (via FUSE): Beta versions 3 15
Personal PPA In this package I provide packages that are one of the followi... 12 131
scratch 20 57
LLVM Backport 3 78
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/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
Toolchain Backport WARNING: This repository can break your system. 27 244
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
175 of 197 results