| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | patch-Agda.cabal | 842 | logstatsplainblame |
| -rw-r--r-- | patch-src__full__Agda__Interaction__Highlighting__Generate.hs | 430 | logstatsplainblame |
| -rw-r--r-- | patch-src__full__Agda__Utils__Generics.hs | 358 | logstatsplainblame |
 |
index : freebsd-ports-gnome | |
| FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome) |
| aboutsummaryrefslogtreecommitdiffstats |