| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | patch-Agda.cabal | 846 | logstatsplainblame |
| -rw-r--r-- | patch-src__full__Agda__Syntax__Abstract__Name.hs | 794 | logstatsplainblame |
| -rw-r--r-- | patch-src__full__Agda__Syntax__Common.hs | 430 | logstatsplainblame |
| -rw-r--r-- | patch-src__full__Agda__Utils__Pointer.hs | 346 | logstatsplainblame |
 |
index : freebsd-ports-gnome | |
| FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome) |
| aboutsummaryrefslogtreecommitdiffstats |