source: trunk/dports/math/ProofGeneral @ 147652

Name Size Rev Age Author Last Change
../
Portfile 1.6 KB 142494   4 years khindenburg ProofGeneral: update to 4.2; maintainer timeout #48949
Note: See TracBrowser for help on using the repository browser.