Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Manifest | 946 | logplain |
-rw-r--r-- | frama-c-wp-23.1.ebuild | 1397 | logplain |
-rw-r--r-- | frama-c-wp-24.0.ebuild | 1397 | logplain |
-rw-r--r-- | frama-c-wp-25.0.ebuild | 1271 | logplain |
-rw-r--r-- | metadata.xml | 327 | logplain |
index : repo/proj/guru.git | ||
GURU: repository of new packages maintained collaboratively by users | GURU project <guru@gentoo.org> |
aboutsummaryrefslogtreecommitdiff |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Manifest | 946 | logplain |
-rw-r--r-- | frama-c-wp-23.1.ebuild | 1397 | logplain |
-rw-r--r-- | frama-c-wp-24.0.ebuild | 1397 | logplain |
-rw-r--r-- | frama-c-wp-25.0.ebuild | 1271 | logplain |
-rw-r--r-- | metadata.xml | 327 | logplain |