https://github.com/leanprover/ppa-updater
Ubuntu PPA updater for Lean
https://github.com/leanprover/ppa-updater
Last synced: 9 months ago
JSON representation
Ubuntu PPA updater for Lean
- Host: GitHub
- URL: https://github.com/leanprover/ppa-updater
- Owner: leanprover
- Created: 2014-11-15T07:07:31.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2016-05-06T15:37:19.000Z (about 10 years ago)
- Last Synced: 2025-07-18T03:54:22.418Z (11 months ago)
- Language: Shell
- Homepage: https://launchpad.net/~leanprover/+archive/ubuntu/lean/+packages
- Size: 10.7 KB
- Stars: 2
- Watchers: 5
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
This script creates Ubuntu packages for
[the Lean theorem prover][lean] and uploads them to
[launchpad.net](https://launchpad.net/~leanprover/+archive/ubuntu/lean/+packages).
Uploaded packages are available at
https://launchpad.net/~leanprover/+archive/ubuntu/lean/+packages
[lean]: https://leanprover.github.io
Required packages
-----------------
We assume that you have Ubuntu 14.04 LTS system. You need the
following packages:
```bash
sudo apt-get install git pbuilder build-essential ubuntu-dev-tools devscripts
```
Also we assume that you have created your GPG/PGP key and published to
launchpad.
How to use script
-----------------
```bash
./update.sh
```
How to install Lean using PPA
-----------------------------
```bash
sudo apt-get install python-software-properties # for add-apt-repository
sudo add-apt-repository ppa:leanprover/lean
sudo apt-get update
sudo apt-get install lean
```
Once install Lean via PPA, you can use the standard `apt-get upgrade`
to get the latest version of Lean.
Status
------
- [Soonho Kong](https://www.cs.cmu.edu/~soonhok) is running the `update.sh` script on a CMU Linux machine daily.