Name Last modified Size Description
Parent Directory - files/ 16-Jun-2016 18:18 - metadata.xml 16-Jun-2016 18:18 1.1K fricas-1.3.0-r1.ebuild 02-Mar-2017 02:29 2.3K fricas-1.3.1.ebuild 02-Mar-2017 02:29 2.2K Manifest 27-Apr-2017 02:30 1.1K fricas-1.3.2.ebuild 27-Apr-2017 02:30 2.2K