![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| _darcs/ | 10-Apr-2013 10:49 | - | |
| changelog | 10-Apr-2013 10:49 | 1.1K | |
| changelog-darcs-backup0 | 22-Dec-2012 13:06 | 561 | |
| compat | 08-Sep-2012 18:58 | 1 | |
| control | 10-Apr-2013 10:49 | 4.4K | |
| copyright | 23-Jan-2013 20:41 | 3.3K | |
| files_hoogle/ | 22-Dec-2012 13:08 | - | |
| hoogle.1 | 05-Oct-2012 15:12 | 1.7K | |
| hoogle.dirs | 10-Sep-2012 16:49 | 101 | |
| hoogle.install | 11-Sep-2012 11:45 | 270 | |
| hoogle.links | 09-Sep-2012 10:33 | 92 | |
| hoogle.manpages | 05-Oct-2012 14:18 | 39 | |
| hoogle.postinst | 13-Sep-2012 00:17 | 1.0K | |
| hoogle.postrm | 11-Sep-2012 01:12 | 922 | |
| hoogle.triggers | 04-Oct-2012 13:20 | 33 | |
| jquery_1.7.2+dfsg.orig.tar.gz | 23-Jan-2013 20:41 | 144K | |
| patches/ | 17-Feb-2013 16:37 | - | |
| rules | 04-Oct-2012 13:20 | 596 | |
| source/ | 23-Jan-2013 20:41 | - | |
| update-hoogle.8 | 13-Sep-2012 00:17 | 674 | |
| watch | 08-Sep-2012 18:58 | 216 | |