This extension is a package extension which installs gnu archimedes.
For more information about gnu archimedes visit the project website at http://www.gnu.org/software/archimedes/
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This extension is a package extension which installs gnu archimedes.
For more information about gnu archimedes visit the project website at http://www.gnu.org/software/archimedes/