source: trunk/dports/math/acl2 @ 146620

Name Size Rev Age Author Last Change
../
Portfile 12.2 KB 123356   5 years mf2k acl2 cadabra ccl cln cosmoplayer dillo DoCon emacs-w3m GiNaC gtk2hs …
Note: See TracBrowser for help on using the repository browser.