macports/macports-ports
0
0
Fork 0
mirror of https://github.com/macports/macports-ports.git synced 2026-07-12 18:20:25 -07:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
macports-ports/math/acl2
T
History
Alex Segura 872d70ca67 acl2: update to 8.7 
Remove platform line (using default of darwin)
2026-04-30 09:53:58 -04:00
..
Portfile
…