Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Manifest | 946 | logplain |
-rw-r--r-- | frama-c-from-23.1.ebuild | 1754 | logplain |
-rw-r--r-- | frama-c-from-24.0.ebuild | 1754 | logplain |
-rw-r--r-- | frama-c-from-25.0.ebuild | 1741 | logplain |
-rw-r--r-- | metadata.xml | 261 | 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-from-23.1.ebuild | 1754 | logplain |
-rw-r--r-- | frama-c-from-24.0.ebuild | 1754 | logplain |
-rw-r--r-- | frama-c-from-25.0.ebuild | 1741 | logplain |
-rw-r--r-- | metadata.xml | 261 | logplain |