Filename | Modification time | Size |
---|---|---|
Manifest | 1844 B | |
fricas-1.3.10.ebuild | 1936 B | |
fricas-1.3.11-r2.ebuild | 2393 B | |
metadata.xml | 1115 B |
Filename | Modification time | Size |
---|---|---|
Manifest | 1844 B | |
fricas-1.3.10.ebuild | 1936 B | |
fricas-1.3.11-r2.ebuild | 2393 B | |
metadata.xml | 1115 B |