Mercury PPA
PPA description
Work-in-progress packages of the Mercury compiler (http://
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:wgrant/mercury to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:wgrant/mercury sudo apt update
For questions and bugs with software in this PPA please contact William Grant.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 2 of 2 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
mercury | 0.13.1+rotd20090725-1~wgrant1 | William Grant () |
mercury | 0.13.1+rotd20090725-1~wgrant1~8.04 | William Grant () |
1 → 2 of 2 results | First • Previous • Next • Last |