Result for 1AB2C94AD556F0F127230C258073684949FA36F6

Search result
Graph view
Children (649)

Query result

Key Value
FileSize17593414
MD50E30789BD6A3513D211825A73291C3F1
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.5.1.1-3build3
SHA-11AB2C94AD556F0F127230C258073684949FA36F6
SHA-256FE482F2B18B40A2BF2F43D8B73B6D52799A9215A1F54EDCB242B989A2DC6BDE2
hashlookup:children-total649
hashlookup:trust50

Network graph view

Children (Total: 649)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Rules/LHS.hi
FileSize74707
MD50403C25861986C56FCA42C55D549D18A
SHA-1002F039CAA4F0955E13D9DD1DF9936C3CE8054D4
SHA-2565537ABEBE225A984A2196704E1272AD6E2FC8F7F7F4DF8CE50AD7578DBD16CBC
SSDEEP768:1HtdSmmJV8kto7KwjRegfr+s5ekvyVIJGvR80jtIOoNfStODOua+3tlHfmCSN4:lSmaVA7KFc5fcfIOoNfCOjGpi
TLSHT142734F51AF15D613D82807B5ECF88301F730DDC5274687A7724DB076ABAB8E82DF22A5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Irrelevance.dyn_hi
FileSize23102
MD5FE63E67F37A00B749CCB863437198901
SHA-100AF44A8EED9129F3325258D005BD08A3CB10341
SHA-256941E280AD8E2EE92A229FBE6E35A4B9807831914F644FC06D44A48F31011FDE2
SSDEEP384:bw+lgB5TjS4s0SRYlSUS4xPnf6fJPMlb7f6jZo:EBBW6PnfSBMlb7ia
TLSHT179A2A564BF15D126ED2807768CFA47107B30DDC587429BEB2188B0725BAB9EC1D736E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/LevelConstraints.hi
FileSize15303
MD58C5ED4E65CE51B5079A8071F962E2A6C
SHA-100BA19409B8516AB4930BC82F932A372528E272E
SHA-2568DEE5DC0503395CC08BAA6627FB5D1340EE53BCB2CA81A6C086367B07246E386
SSDEEP192:6tlAaeEhXKCRLTASdBSBgv2E2fI2q2n89twUShv+HIuYKADN9nggARnxrtqJ6Wjc:6lAPuXKCRLTASNvTMIlF3nf6fJrjF8B
TLSHT12962936ACF04C116D924073A4CFF4345BF70E9A27217CBDB0149F162A96B9DD2DE2879
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Free/Old.hi
FileSize53845
MD5BE2D43FBA644026198F49D693182235D
SHA-1011F6520DA28385219BCE6C8FD48302972CB045F
SHA-25600350E285261875E1221FDBF19796826664FE9439A3FDA49BC7ADAB22A07203E
SSDEEP768:1k40mVeCUw3LilfS6yOeqg14PjHTkIapAp:1lLgfbBTIAp
TLSHT122330D97FF45D226DC344B3588FA934ABB30DAC116238B6750587131EDF32E85EA229D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Syntax/Parser/StringLiterals.dyn_hi
FileSize11352
MD5980941CD6C0711780073A21FB4C0E36F
SHA-101381A9DB8E7A4966E67AB282E026B4DA2FB5355
SHA-256169A6D2E38D6F636CE8FCF5E8A0CF5C20F6A8333D071916324E7790296AFA1C1
SSDEEP192:FJdUaVCwpUNygn/BEB/d09c1YQYN9nCrtqS0nnU7N/Qq+54l+f6fJWUaS5B1zw:FJ1soUEuu09c1ef6fJW9S9zw
TLSHT17D32959CCF54C63AD8180B374CBA03417F307B92ED979B6F1684B0319CA68AF2E9555C
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Syntax/Translation/AbstractToConcrete.hi
FileSize136557
MD5DB1F793E48BE259A384F026A6D037660
SHA-10220E36F065367CDB6847A0FAD9A759ADE1999EE
SHA-256604A695563724F21C2B0AB7D65DB44139AE306A1686BBFF3D247C492111FDF04
SSDEEP1536:RvzVDmGUnkbZMV2kZhVy8QXU83nftH+rXmC:Rv9158QXZC
TLSHT13AD3CB66BF46D31AD8254772C8BE974DF724EEC516234B07250C3031AAF2AE81E73399
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Rewriting/NonLinMatch.hi
FileSize92550
MD54A4257F8A7989E3C9286070353496732
SHA-102718A117D1D5E05D77BB1F0277C12F113B3D574
SHA-256528B0873DBA90669F24FB060202CCBCF67474DB1223F396DC981983021542598
SSDEEP1536:U4IKLhzcz5C3U433oezmzmk9Vfysfwv//FbFqRQ2Huwfj8N8vxYReUIeDnfyZT6m:U4fnoFQ2YRfIem
TLSHT18D93B915FF42E31BEC2A0B7A88FD5709BB30D9D0161687A7244C3131EAF66E85DB7189
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Forcing.dyn_hi
FileSize15322
MD5284A19A1FC716EAD4C9260C135575021
SHA-102974E1B4E79E06FCF919B4320FA8F972455B180
SHA-2569D8B789FA2D24575F3089EA86FD7AAA89FB06AF604D1EEE582A9D81815763DD9
SSDEEP384:W1U+++tMw0cwi54vkGA2Izonf6fJEQWkR:Wttv54tIzonfSaQWM
TLSHT12B6273A92B081525FE700D3B5CFD8B056BA0A6628643EBEF01D6D1F3155DC8E1CF2A79
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Compiler/Treeless/Simplify.hi
FileSize24158
MD54702241AB85A8CD6083AD461DFDEA874
SHA-102B5D840DBF5E97BC434E1F9B9D149E1C94E960E
SHA-256A49C7E7C99057269F2B5588ADA4ECBB1563EA8457A232B077F1F9AE032D767FE
SSDEEP384:vQvXuPQt/b8YPw5b+5eaGp9Q8BcbeySSrlI1onf6fJiW13vL4YlafDnfJDLXq/FG:fPQtwRk7G7NBOTpI1onfSsWD4Y8bU/bQ
TLSHT192B26759AF18E026FA350B7A8CFF4704BB20D98266439BD74085B0725C9F8CE1DA75BD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/ImpossibleTest.hi
FileSize1735
MD501859908A2CF558447A3B62C0BDF3D34
SHA-102FF96F35F116EA8D39F62444744363E050D2B13
SHA-2560D2E6F8CCE242CA6D340FF35036B0AFAE5CD0C2B81AD69228C421C83F02726CB
SSDEEP24:Zf1yuU3+BlxaikVtgKfuECNt6tNs07kpIalpK8gF0R9jJYteenTVNgHuTn:2LolxaXmiuVgtNs0IptlpDJYfLT
TLSHT1EB31834CE7E45D3FC3B52D3ED4A04385AF62B6923A134BD340A8537109678D84FB0927





metalookup is a service from miwakeru.com