| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | patch-Setup.hs | 2729 | logplain |
| -rw-r--r-- | patch-idris.cabal | 1321 | logplain |
| -rw-r--r-- | patch-rts_Makefile | 404 | logplain |
| -rw-r--r-- | patch-rts_idris__net.c | 461 | logplain |
| -rw-r--r-- | patch-src_IRTS_System.hs | 949 | logplain |
| -rw-r--r-- | patch-src_Idris_Package_Parser.hs | 629 | logplain |
| -rw-r--r-- | patch-src_Idris_Parser_Data.hs | 610 | logplain |
| -rw-r--r-- | patch-src_Idris_Parser_Helpers.hs | 559 | logplain |
| -rw-r--r-- | patch-src_Idris_Parser_Ops.hs | 1979 | logplain |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |