Personal Package Archives for Ubuntu

175 of 232 results
PPA name Description Sources Binaries
OCaml backports Newer versions of OCaml for building the Haxe compiler in Ubun... 5 65
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
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
Many Coq Versions 23 251
OCaml + OPAM build dependencies 29 159
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 138
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 138
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
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
2894 - 2017-08-08 https://bileto.ubuntu.com/#/ticket/2894 1 11
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
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 39
google-drive-ocamlfuse-beta Mount Google Drive on Ubuntu (via FUSE): Beta versions 3 25
nonvirt nonvirt 30 499
PPA for preparing rust toolchain updates for Firefox This PPA is used for prepearing rust updates that will be requ... 4 338
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 333
LLVM (staging) https://launchpad.net/~doko is pretty awesome. 1 2
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
pie-arm64-0 3 4
science 15 18
Backports Backported packages for the current LTS 5 49
Backports - Unstable This shit will probably hose your system! 14 88
Canonical X Staging Staging archive for X transitions and testing. NOTE: xenial u... 9 156
Chromium Dev branch This PPA contains the latest Chromium Dev builds, with hardwar... 5 106
DEPRECATED - Metacloud: QEMU 1.7.0 12 55
DEPRECATED - Metacloud: libvirt 1.2.2 3 16
175 of 232 results