Personal Package Archives for Ubuntu

175 of 139 results
PPA name Description Sources Binaries
Ocaml (Debian Experimental Backport) Backports of Ocaml 4 from Debian unstable. These are only inte... 3 61
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 experimental Experimental uploads for new OPAM and OCaml snapshots. Not rea... 3 48
OPAM unstable Bleeding edge snapshots of OCaml and OPAM 3 56
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 stable Latest stable versions of OCaml and OPAM. 2 52
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 71 878
Pippijn's Packages This archive contains Ubuntu packages for the projects hosted ... 26 68
ocsigen Packages for libraries and programs from the ocsigen project: ... 6 43
PPA for Andrea Gasparini 48 116
OCamlPro for Raring 6 22
OCamlPro for Precise 5 20
OCaml related packages 2 30
OCaml 4.00.1 + OPAM 1.1.0 2 41
OCaml 4.01.0 + OPAM 1.1.0 2 52
OPAM testing This contains semi-stable versions of OPAM, such as beta relea... 2 41
ppa Default PPA 5 37
PPA for St├ęphane Glondu Archive for EXPERIMENTAL packages I maintain in Debian (and th... 6 53
LLVM/clang PPA Porting from Debian LLVM Packages to Ubuntu 12.04 **if you f... 9 94
PPA for Daniel Hecken Personal packages. A few backports from Hardy and Intrepid. Fl... 36 133
Stub's Junk 19 69
ben 2 6
google-drive-ocamlfuse 3 25
Personal PPA In this package I provide packages that are one of the followi... 12 131
buildtest 8 67
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
apw: xen testing 6 72
science 15 18
Intel graphics driver Updated versions of Intel graphics driver. For Ubuntu 10.04, ... 15 264
Julia Dependencies A PPA containing all current packages required to install Juli... 16 211
LLVM 4 205
Linaro Cross Build Tools PPA Archive for cross build tools currently developed/improved by ... 15 150
Mesa 9.1 5 124
Metacloud: QEMU 1.7.0 12 55
PPA for Chris Clearwater 10 24
PPA for Maarten Fonville 3 38
Precise Libvirt 3 11
Quantal Experimental (non-backported) packages for quantal 3 21
Stable Open Source Graphic Drivers Updates This repository will provide stable open source graphic driver... 18 102
Updates of external packages More recent version of various external packages, which are le... 15 98
Xen Testing Testing ground for new Xen packages. 3 43
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 12 115
libguestfs 1 17
libguestfs 2 20
libguestfs 1.18 1 17
libguestfs-daily 1 30
llvm llvm 3.2 for precise 4 22
test 4 33
Coq Coq packages backport 2 7
Coq (Git trunk) Daily builds from the latest Coq git. See https://code.launch... 1 5
Coq for Homotopy Type Theory Coq extended with support for Homotopy Type Theory. 8.5~stabl... 1 15
Coq for Homotopy Type Theory (master) Tracks master branch, rather than release tags. Actually, this... 1 15
Coq with Mtac Coq compiled with support for Mtac (http://plv.mpi-sws.org/mtac/) 1 15
Damien Lecan PPA 3 21
EasyCrypt 8 17
Expect Labs Packages 15 178
Gallium Nine Native d3d9 state-tracker updated and easy to install. Don't u... 15 137
Gambas 3 This PPA contain the stable version of Gambas 3. 4 408
Graphvix 1 26
Graphviz Backports of Graphviz (currently just for 10.04). 1 20
GraphvizDev Snapshot of graphviz development release. 1 65
Intel Graphics Updates Contains new Intel graphics video driver support. These packa... 11 142
Julia 0.1 Dependencies A PPA containing all current packages required to install Juli... 13 96
KLEE Different packages KLEE depends on 1 21
LLVM 3.1 Build of debian's clang 3.1-3. 2 12
175 of 139 results