Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Manifest | 2199 | logplain |
-rw-r--r-- | easycrypt-1.0_pre20220303-r1.ebuild | 1070 | logplain |
-rw-r--r-- | easycrypt-2022.04-r1.ebuild | 971 | logplain |
-rw-r--r-- | easycrypt-2022.04_p20220505.ebuild | 1055 | logplain |
-rw-r--r-- | metadata.xml | 799 | logplain |