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