Result for 205532EC5B7B5D13D0E6C89A819B2132D0AA349A

Search result
Graph view
Children (228)

Query result

Key Value
FileSize12897176
MD568C49EB137BB5737553268F4363CE475
PackageDescriptiondependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.3.2.1-1
SHA-1205532EC5B7B5D13D0E6C89A819B2132D0AA349A
SHA-256949EA62CD82D7911F720BA3AAF2BDDABB73886316E086453CC0CEF228CADF513
hashlookup:children-total228
hashlookup:trust50

Network graph view

Children (Total: 228)

The searched file hash includes 228 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Agda/Utils/Graph.hi
FileSize82041
MD535B48DA51C9F587E1B457A94BA8737B9
SHA-1004E62994CB465F15DF1953958C8F6C3906289C6
SHA-25669C5F2BA8E412C2214D0AFA08D8B0488E1ED0E85D1435BA4CEC4018586F68F13
SSDEEP1536:ZpNPKHBbShv0RdFrryoNKOU0CMg2WWoyppyBQ9Z5NFYhT2pRcLlMfBp1foLM1Com:7FKhbShvUFrryosOU0CMg2WWoyppyBQo
TLSHT1CD837212EF1AE706D8F8977444751740B320ECCA5A23EB2B1B2D1D62BE639E12CF15D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Agda/TypeChecking/Tests.hi
FileSize16756
MD5574B57F65C3B11929BFB9451BD4A16CB
SHA-1023852437A124BEEB9D709BBD18430ADA82DFFCA
SHA-2561D0ACFC4D113C184A16E889351916DA6E1A3652CCA642B4EF07A658ADD9D2461
SSDEEP384:ZNm99TlGMhBqqBk7CwTOgfZ49EvW1f68+ZzJDJ:ZNmLcMhUJWfh4zJF
TLSHT16E7275959F198715FA350C720CFA47047B20FEA25602CBFF11CDD2A3291B8B91DB15B9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Agda/TypeChecking/CompiledClause/Compile.hi
FileSize16345
MD5EA50C9B6368663E41735BDED78B2F63E
SHA-10249600B0198DBA55E5237BA1BD33F4DE2E89DDA
SHA-256CAA0FC815BFED06E35688CC28628213FEEF9CBEBD5F40773A6AEE0AACC7289FF
SSDEEP384:Zfx3yDu90BZzEjMnlMobscEBSA5kcMaMFSuX1f6n:Zfx8zhEjzfYFfG
TLSHT1227240B9EF084961FA70097A1CFD8B006BA05AE28642DBDF11D691B3194FCBD1DB25F4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Agda/Compiler/Epic/AuxAST.hi
FileSize34650
MD5729F1F0A4D0C89DDBEAEB74964162B08
SHA-10320991D20B855C125C01ADAFB96241ABC446060
SHA-25676D5251A6C0BAD05332AD8C6AA20FC48DEF83A1707393693E9E1F5A29807CEE1
SSDEEP768:ZfUXXnQXYhd4ud4bNGHNGiabhCGRx8atWfffvsnjTx4GCMGgqinCAFUkd:ZsHQXYhd4ud4bNGHNGiabhCmxjtWfHAd
TLSHT14BF23D18CF21C622DEAD86BA54B74740FF22EDD16642C71B562AB4342D336B53CE25CE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Agda/TypeChecking/Monad/Closure.hi
FileSize8732
MD5D52DC0159E93549E1878410A416F340E
SHA-1051AE183A14B33A2419AFF8624B2D10F3AF5302E
SHA-2562B3692385CEFAB80DA4577E02CF10D6E0207991D78D222A6B27ADF046921D766
SSDEEP192:ZDs8LtxZR+14XZjUY3G+qNPnxrtTjW/HU72q/PQ5F1Fl4DCBA+f6DIVNf6bQ0Qd:ZI8LtQGpPF1f6DSf6rQd
TLSHT16D0273E8CD108835FF910AB7CCFF4B006B6067A6D252FAEF11D9E0431A8D89E5C919B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Agda/Utils/Monad.hi
FileSize18922
MD59E973F5EFDED0A60DC2ADDB066424074
SHA-105E3B0B24D0605C8D6761D2AD9C676E7C5907FA0
SHA-256D1093FB6D04DCA8615B33AF78DE3D3C43B357556A169F2E8DDF704D57916E093
SSDEEP384:Z6B5TUc5NnJ58qyPA8zWu/IdanEY09zf6/gymEv:Zit9Aq92ifnC
TLSHT169822339CE12C702D9590FB9106B06057321E9899935CF97F2DEBC20BF17BE1BCA2599
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Agda/Interaction/Highlighting/HTML.hi
FileSize11890
MD55D7FB64E1C2D997C00E1A888924484A1
SHA-1062DB797D722190CEE45B95E18EC9A34A0A4EFEC
SHA-256DA4EBD6D2A93F52ABA50295137B7BCD8AEE61E335DC9AF5E986DE78A176BC51A
SSDEEP192:ZmrGw7MRNJTf4QBUzmTt2N2UtdosA5vzYdqNPnxrtTjJW/HU72Gi/PQ5F1Flzuy8:ZJwqNJTVBUzYt2N2uuzvSBf65s4m4I/l
TLSHT19D3260B85A4805B5FFA10E3B6CFDCB005BA06A239143DBDF11D6D1A3198DC9E0DA3A75
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Agda/Syntax/Fixity.hi
FileSize31749
MD5A6F1643ADAF29695F397F5216B89BFED
SHA-106715C10678C4F4F43B5C3ACEAE5C1FFDC18E9F4
SHA-256E5632AC6B6C21E3162FED1E8CE867775AAE931A0A5BC48E5BA6DEA3C1F99BD05
SSDEEP768:ZG6il+3KDpb42JsP3ie9dMCVCMtW+qfqCHXtaVun32:Zil2Sbbfhn32
TLSHT138E23222DF0AC321DC3A4B3504B91B027335DED51F35DB8B92171A24BE23EE56DA25E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Agda/TypeChecking/Datatypes.hi
FileSize18131
MD5321C292590D2A924DA0702B8DEAEF521
SHA-10929B3D0A2BA9669ECBAC71C013018B750415364
SHA-256037596F012247432736B71562F92057309720AB2CAEAF1E4678B93260B6D0E2F
SSDEEP384:ZhGP/ZB93+CrZrkrMrlrwrJrkrLrJB4A1+fhuWF8vw1f6OO7mo5U6xlv:ZhMj93+QBTMfXO7Rlv
TLSHT1B8829774DF088565F9A44ABF4CBB8700A720FED39951D7A7025BF1E22C1A86C1DA58E0
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.1/ghc-7.6.3/Paths_Agda.hi
FileSize7110
MD529AF5F12791B8CDA26073B39CE96CA2A
SHA-10A509BC7C11B118816D8802126C2F6F3187E06BC
SHA-256DABCF1E824BBE5595E12DE4DA35F2C57DD230049DA0F8BEE015BC9A8C12A3AB6
SSDEEP96:ZQImkghOp5ZSxhezgiA9BqXXPC0yll8+oVpiVcGmTjGYG:ZQImrhO9SxoEiA9S60yll8Xp0r8jGYG
TLSHT1EDE161A59F2CD317E238DE3808B22300F331FDC25BA3971B16AA12521D731A46E758C7





metalookup is a service from miwakeru.com