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