Personal Package Archives for Ubuntu

175 of 157 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 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 58
OPAM stable Latest stable versions of OCaml and OPAM. 3 65
Mathias Kende PPA Repository for packages of my softwares and libraries (mostly ... 10 10
ocaml-ctypes PPA Fresh releases of ocaml-ctypes, packaged for use in LLVM 1 4
Xen related packages My personal repository for all things related to xen and ocaml. 1 20
Radio Giroll 77 462
Pippijn's Packages This archive contains Ubuntu packages for the projects hosted ... 26 68
Binary Analysis Platform 14 86
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
coq-ocaml41 6 22
Emily Binary packages for Emily, an experimental functional programm... 6 26
OCaml related packages 2 30
OCaml 4.00.1 + OPAM 1.1.0 2 41
OCaml 4.00.1 + OPAM 1.2.0 2 15
OCaml 4.01.0 + OPAM 1.1.0 2 52
OCaml 4.01.0 + OPAM 1.2.0 2 17
OCaml 4.02.1 + OPAM 1.1.2 3 26
OCaml 4.02.1 + OPAM 1.2.0 3 28
OPAM testing This contains semi-stable versions of OPAM, such as beta relea... 2 41
ppa Default PPA 5 37
LLVM/clang PPA Porting from Debian LLVM Packages to Ubuntu LTS **if you fail... 12 257
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 8 15
Stub's Junk 20 78
ben 2 6
coq-ocaml42 4 9
google-drive-ocamlfuse 3 30
Personal PPA In this package I provide packages that are one of the followi... 12 131
buildtest 10 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
Giroll's cool stuff This PPA contains some games and good stuff useful for Giroll 90 525
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... 20 305
LLVM 4 219
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
PPA for Maarten Fonville 3 38
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... 15 98
Xen Testing Testing ground for new Xen packages. 4 93
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 13 116
graphics experimental ppa LLVM 3.7 svn , updated roughly once a week (or when compiles),... 13 135
libguestfs 2 29
libguestfs 2 20
libguestfs 1.18 1 17
libguestfs-daily 1 30
llvm llvm 3.2 for precise 4 22
test 4 33
testing testing packages... 35 163
Coq Coq packages backport 2 7
Coq (Git trunk) Daily builds from the latest Coq git. See https://code.launch... 1 15
Coq for Homotopy Type Theory Coq extended with support for Homotopy Type Theory. 8.5~stabl... 1 20
Coq for Homotopy Type Theory (master) Tracks master branch, rather than release tags. Actually, this... 1 15
175 of 157 results