Builds for agda - PureOS Software

Software Packages

Packages in pureos
agda
Builds

Builds for agda

Latest: 2.6.4.3-1

arm64

2.6.2.2-1.1

1 year, 10 months ago

3D renders are artist renderings, for illustration purposes. Images and specifications are subject to change depending on manufacturing requirements.

Unless otherwise noted, content created by the Purism team on this website are copyleft with a CC-by-SA 4.0 license. Other content on this page is subjected to the licenses of the respective upstream projects or packagers.