Personal Package Archives for Ubuntu

175 of 222 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
Many Coq Versions 21 231
Pippijn's Packages This archive contains Ubuntu packages for the projects hosted ... 26 68
Coq Daily Builds (master) Various daily builds of Coq (master) 11 133
Coq Daily Builds (trunk) Various daily builds of Coq (trunk) 11 143
Coq Daily Builds (v8.5) Various daily builds of Coq (v8.5) 11 109
Coq Daily Builds (v8.6) Various daily builds of Coq (v8.6) 11 104
Coq Daily Builds (v8.7) Various daily builds of Coq (v8.7) 11 133
Binary Analysis Platform 14 86
Coq backports Backports of newer versions of Coq 10 71
Coq Daily Builds Various daily builds of Coq 10 61
pie-arm64-2 Packages FTBFS-ing with current artful, unless their dependenc... 13 40
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
nonvirt nonvirt 21 366
pie-arm64-1 Packages need to be rebuilt to prevent FTBFS of reverse build ... 15 101
ppa Default PPA 5 37
LLVM toolchains Backports of LLVM toolchains. This should no longer be necess... 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 34
google-drive-ocamlfuse-beta Mount Google Drive on Ubuntu (via FUSE): Beta versions 3 20
Mozilla This PPA contains releases of Firefox from the beta channel 4 86
Personal PPA In this package I provide packages that are one of the followi... 12 131
Rust 5 264
Updates Updated versions of X.org drivers, libraries, etc. for Ubuntu.... 6 376
xorg-edgers fresh X crack == Xorg packages fresh from git == Currently supported releas... 15 330
LLVM (staging) https://launchpad.net/~doko is pretty awesome. 5 7
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 Backported packages for the current LTS 5 49
Backports - Unstable This shit will probably hose your system! 14 88
Chromium Dev branch This PPA contains the latest Chromium Dev builds, with hardwar... 5 167
DEPRECATED - Metacloud: QEMU 1.7.0 12 55
DEPRECATED - Metacloud: libvirt 1.2.2 3 16
175 of 222 results