source:
trunk/dports/math/ProofGeneral
@
146883
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| Portfile | 1.6 KB | 142494 | 4 years | ProofGeneral: update to 4.2; maintainer timeout #48949 | |
Note: See TracBrowser
for help on using the repository browser.