| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | patch-Agda.cabal | 846 | logplainblame |
| -rw-r--r-- | patch-src__full__Agda__Syntax__Abstract__Name.hs | 794 | logplainblame |
| -rw-r--r-- | patch-src__full__Agda__Syntax__Common.hs | 430 | logplainblame |
| -rw-r--r-- | patch-src__full__Agda__Utils__Pointer.hs | 346 | logplainblame |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |