Personal Package Archives for Ubuntu

111 of 11 results
PPA name Description Sources Binaries
DUNE for Ubuntu 14.04 12 31
DUNE ppa 1 3
DUNE packages (experimental) 5 16
For random things 5 16
Open Porous Media Initiative Tools and libraries needed to compile code released by the Ope... 5 16
Open Porous Media Initiative The Open Porous Media (OPM) initiative provides a set of open-... 26 384
Coq Daily Builds (master) Various daily builds of Coq (master) 31 227
DUNE for Ubuntu 14.04 (staging area) 1 1
RetroGames Emulators of retro game consoles and computers, such as NES, S... 129 260
Testing ppa 20 349
google-drive-ocamlfuse-beta Mount Google Drive on Ubuntu (via FUSE): Beta versions 7 56
111 of 11 results