Result for 2A6F71CE4776D567CBBA22020005B8595BC7C497

Search result
Graph view
Children (178)

Query result

Key Value
FileSize20912782
MD5DB5467923087BEC3B716AEB688788015
PackageDescriptiona dependently typed functional programming language - profiling libraries 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 contains the libraries compiled with profiling enabled.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc6-agda-prof
PackageSectionhaskell
PackageVersion2.2.6-3
SHA-12A6F71CE4776D567CBBA22020005B8595BC7C497
SHA-256638B78B4E8F86458F6890B6FB1E1BA3D2629F17461DD9199F5312DA632A3EB98
hashlookup:children-total178
hashlookup:trust50

Network graph view

Children (Total: 178)

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

Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Exception.p_hi
FileSize25034
MD5188F93CBD9E469357D0CC7F7B355AC25
SHA-102F701CA2C2540494689DADAB4C03AADE80F4BEF
SHA-2562A81EF0A9FD6989AF59A70465C5FF523C499EDACF13CA7EB256FEF827680766B
SSDEEP384:IxgNmAwIW7Ymm5/ZwbuVUkcOZgxQbfgfiFTsqulXaK8izltdXNRf:qh7YmuAscAfg6UxvJf
TLSHT11DB21171DF466B12ECCA067D547AB3202B24E3BAD011C2A3A1CFB65D3CD3EE69D42651
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Imports.p_hi
FileSize37924
MD5DA2238127473DF3621E28CEA87F2219B
SHA-103500B9EBB543066D369FF8FB3C9BF2E55B5BE82
SHA-2561AF94820C149A563724B21ACDCDC762D19BD472552A48266DFBEC6405762BA38
SSDEEP384:hNkqOtFEvDQy8elvPxfzw25e090LucuIy2TaAGZAdnnVPWeZvtPbfTwzfEP4NTth:MfnDEfOu72OAGGdnVPBVTfTwzfENYMy
TLSHT1A303535D9F1C6627ECE50A3A1DBB4B002F70A961E942D35B328DB473648FC8E4D176B8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Coverage/Match.p_hi
FileSize15560
MD5853C72CD1F50E32845E4393DE2466DBD
SHA-104B480892688A03D83B32FE29A7A617D3C41D2BE
SHA-2564534FCE06781F04A3C34CF0BB52DA245544D7D14540D8FF0B7D9E3BF6B448757
SSDEEP192:O0pFmPW+jv9pmQ+gT6a7PIH1Bai8YORzbF1Xf7hmvCDj3/2/GYzjVqNUWWwU7N/5:OLPtaLAqozx1PmCDyOYz0bfk92+
TLSHT140621096FF189A2DECC90E7214A603118B24E264E880FF9FD28DD1365E4B8DC6D5736D
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Lexer.p_hi
FileSize8352
MD59B16C791A94D6A4D3F73DC40D1927E14
SHA-104F1D2B7244F1C76559CA36CCF2D83AA046BD11E
SHA-256B936E1CA60EACC5EEFB5585648EECB7935A8C9FD2D0FE7A46727EBF80EDF9884
SSDEEP192:oIBHrbQmB6slhF+9+OXrWFU7N8qFci4QR+fg9yh/V9:lHrbQU6shtbfg9ylV9
TLSHT1E30296C54F441E19ECC44A778CAB0711BF20E562E587C7AB2B8CB1732D9B5CE1E36A58
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/List.p_hi
FileSize16253
MD5047AC081654D3820D665C42CBE54BF3B
SHA-1060DC777C98472E435834B191F407C431A625D15
SHA-256106F61CD25F9FC6AE8EC56616982092E87DF89941A05E952A7996061509665EF
SSDEEP384:hZXe30vai0F0GnSnPS0g0Yn87jnXRhX7nqusKsKzspTfJN4aU49cDfO:3uMt0F0GnSnPS0g0Yn87jnXRhX7nquWZ
TLSHT12E72015DDE019A1AEED406370C6302102728A725F562CB63219F36766CCB9F93C9BF1D
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Pointer.p_hi
FileSize3057
MD5DE1F2E84BB66C87B57FC2D516300D7C2
SHA-108144B526A990C538F8168FE1BC308CCE6BBAF3C
SHA-2568453A0FE9210B21CBB57B7FB866A5C801ADFB36F3034A1B6B43D83F53B4F2397
SSDEEP48:Oz+l//DC7RV36InHxnXvIStxNXjVrDXCWaJY4/Atd/cOBfftScQd6:nl//DC7RV3bRA4XzViXl4lVBfVS1d6
TLSHT14751599ABED09A37DD882B7104BA5301372CD396A746C6CF914EB6472D130EC3E59267
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal.p_hi
FileSize140570
MD5889D956DB528048DDBA1EB560442F6B2
SHA-108F4366EF694B2A86A378FE1DEEDDFEC8412AB11
SHA-256F1ACB340ADB6A1F4B958741AE6919C4844D45410E371A6E929323B2FB4F1C866
SSDEEP3072:7s9v4ef6NvWcnFnGip9X+WUzOX+pwzq1+jLHdo2cFE/4KiLsVWPQ/hgOAk:7sBhf6NvWcFgk
TLSHT115D30E43EF806917EDD41ABA04F90324B789D282D119EA53B68E33167DCF4E52C17ADE
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Debug.p_hi
FileSize1172
MD58B70A1C08E28BC2012EE9429752B9A4F
SHA-1091660B0D313904A0B20CAF587825A56ADE3DB40
SHA-25650D5553A659129C251B030B1A8D9C140840C75FA8DD68D9FE657970CBD452825
SSDEEP24:myydIC+P9P34ULirc8E0yMOJv718P/Cwe6nUuacg+d:myC1K34ULp0ROJv4/CzIUuacgo
TLSHT13E21DCDF5FC4AD39FD810AB29AAB83241720E6C1E947DB5339D8B9351C0A8C11E52764
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Mutual.p_hi
FileSize17423
MD5D38A42BFD4AB9EEC6DB0CD4E4411D37D
SHA-10C8E3419B2EEF00B17B0DC1573FDF68C41670CC6
SHA-256F238F1A09072773F07B41CD7443D31D5760E917124D1B934FD240D660C7AD690
SSDEEP384:GVaM89wV6ze6gCKbrOrhDEd17UWzKRbQbf4GTo:6aIzBf4GE
TLSHT19C720FE8EF94E566EAE80A775C7B03112B60E59AC097E3D3569DE1130F8B0DD0DA3790
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Parser.p_hi
FileSize19090
MD56690FADB35E3F1E9FDD197363FC5AA7E
SHA-10DFAE45E74D1D4FEBBD4A1E85B24CB22A4BFDA2E
SHA-2567D69D7DCAE22A7730C0CEB6AC10A9D469C69C8CBCD1EE45CA438F64CF97DE7D3
SSDEEP384:X3QFf7Bg8RHknnP8opXNaNJ22H8U1lCUB/cNXLceS4oiFHwVQQpu+usWPNtbbbf4:XOjRHknnPTpXNaNJ22H8UPCUB/cN7cRj
TLSHT19C82649A5F41A735D4E0097B089717255770F110F849CF5B72CC2A7A9D8B8EE3E2B368





metalookup is a service from miwakeru.com