Package - hoogle

Package:  hoogle
apt-get install hoogle
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/h/haskell-hoogle/hoogle_5.0.18.4+dfsg1-1+b3_amd64.deb (Size: 7.5MiB)

PropertyValue
Packagehoogle
Sourcehaskell-hoogle (5.0.18.4+dfsg1-1)
Version5.0.18.4+dfsg1-1+b3
Installed-Size53133
MaintainerDebian Haskell Group
Architectureamd64
Dependsghc-doc, libjs-jquery, libjs-chosen (>= 0.9.15), libjs-jquery-cookie, libghc-js-jquery-data, libc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libnuma1 (>= 2.0.11), zlib1g (>= 1:1.1.4)
DescriptionHaskell API Search for Debian system
Description-md5400b195870cbd4ce25cd58acc77000e0
Homepagehttps://hoogle.haskell.org/
Sectionmisc
Priorityoptional
Filenamepool/main/h/haskell-hoogle/hoogle_5.0.18.4+dfsg1-1+b3_amd64.deb
Size7825468
MD5sumd07a40bdb0d291af070cfee5de0f5d83
SHA25651ba6d60299a531f6eaee56d415722bfcbf206f7184ed8723f2dc176014d64d0

Files in package

  • /usr/bin/hoogle
  • /usr/sbin/update-hoogle
  • /usr/share/doc/hoogle/changelog.Debian.amd64.gz
  • /usr/share/doc/hoogle/changelog.Debian.gz
  • /usr/share/doc/hoogle/changelog.gz
  • /usr/share/doc/hoogle/copyright
  • /usr/share/hoogle/databases
  • /usr/share/hoogle/html/favicon.png
  • /usr/share/hoogle/html/favicon57.png
  • /usr/share/hoogle/html/favicon64.png
  • /usr/share/hoogle/html/hoogle.css
  • /usr/share/hoogle/html/hoogle.js
  • /usr/share/hoogle/html/hoogle.png
  • /usr/share/hoogle/html/index.html
  • /usr/share/hoogle/html/less_blue.png
  • /usr/share/hoogle/html/less_gray.png
  • /usr/share/hoogle/html/less_small.png
  • /usr/share/hoogle/html/log.html
  • /usr/share/hoogle/html/log.js
  • /usr/share/hoogle/html/more_blue.png
  • /usr/share/hoogle/html/more_gray.png
  • /usr/share/hoogle/html/more_small.png
  • /usr/share/hoogle/html/plugin/chosen-jquery.js
  • /usr/share/hoogle/html/plugin/chosen-sprite.png
  • /usr/share/hoogle/html/plugin/chosen-sprite@2x.png
  • /usr/share/hoogle/html/plugin/chosen.css
  • /usr/share/hoogle/html/plugin/jquery-cookie.js
  • /usr/share/hoogle/html/search.xml
  • /usr/share/hoogle/html/welcome.html
  • /usr/share/hoogle/misc/settings.txt
  • /usr/share/man/man1/hoogle.1.gz
  • /usr/share/man/man8/update-hoogle.8.gz