Result for FCDE5A1DD3780B390D1549749AF75680287D279B

Search result
Graph view
Children (168)

Query result

Key Value
FileSize19704204
MD5817B8C8A838A7D5BCD4B26DA792D6D0D
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.4+dfsg-1
SHA-1FCDE5A1DD3780B390D1549749AF75680287D279B
SHA-25609555E555A767861F763A21A47D2F03A823D8D52E29A1FD67C4AC27496168F32
hashlookup:children-total168
hashlookup:trust50

Network graph view

Children (Total: 168)

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

Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Monad/Constraints.p_hi
FileSize15211
MD588BD246B1EE9CD91CC4D1A65B4EABB50
SHA-1023B4EF8C4908BC72A2658D124DBF0B936DD6F1D
SHA-256830B8016C5D18977FE3696861883566107179DDD6DE4C8FD0163E755E7B65528
SSDEEP192:ZtXsztBSeBPlJ+qy8qvtTjJkwU7N/PQqlP1ForQVqqbq4h/:ZaZoe36yhIyN
TLSHT15E620F94EF28CDD9ECD40EB208BA07107755F6AAD492D797428DE2531D0B1FB0CA7E64
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/Graph.p_hi
FileSize14775
MD5057500A477FEF90E649D96BB795E15A7
SHA-1035F1057C8F725DB9FDB19BE88739281141565C2
SHA-256637C7874BE3C46E378388081FD2C942B6D7A60DDD829B67F53795001E34B0CA0
SSDEEP192:xuYnfHGo6TXtNXXMljqzK0ANXA/XHAyi+xabnAvbXAyaXyyjJfeaf9yGX3vN/oPm:xklYcaHwsUIUC5
TLSHT1CE62D0498E60AADADCDC0AB540AE0B013728E6DAE572D353ED4EF2216D0B3E53D5F241
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Interaction/Exceptions.p_hi
FileSize5972
MD52922FDCA9BE521DDFE58A03992195565
SHA-1038CE797620151EB236C30D7D365C351DA7ABFC8
SHA-25655AFA43FCD85DA9FB7CDA148DF5D9EBADD96A43976BF62DB66EE27614CD3DEAC
SSDEEP96:d/7Cs0C1nr//GI//Af/RE5lYUN+qcqvWWwU7N/Q6/FVuDu6QVWF4h2mnVurq:1Os00nL5QnU+qcqvWWwU7N/QqForQVq4
TLSHT1EFC12069DE488D25EDC40E7B4CBA0B1467A0AB13E001C7EF59CCA6836C836DE5C5E658
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Compiler/MAlonzo/Encode.p_hi
FileSize17411
MD5030E9927E70BDC57E3717467892F69B0
SHA-105398E8370D2B92A8989AB703661ABB9B1252121
SHA-2564C677D2BEE2E0F8CAEB99E544296C5816275181D3A3D9AF662858AF1A062769E
SSDEEP192:w2U5TvDz7zEpI7ctVZcsOVaGYppssXUrfU3YdHcrS:wrTvDz7zEpHGYnRX1YhcrS
TLSHT18672415EEF60A91ADCD80A7A94B30761BF74D294E051CB77628DB1325C8B3E82C1E65C
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Monad/State.p_hi
FileSize32916
MD5F7090BB2AF4C0EDC82CEEB500701DB2F
SHA-107D7086692C20EBE70C9987467E331FA34FDDCA2
SHA-2562DFB707B61CCD4FC336842D8901E58C94BDC6E524FC8BBC0CC3186E3A7749EB5
SSDEEP192:XUGCOpN3/e65oi5/e6cKG/e+z/9ggr+OPZ+qy8qvtTjJkwU7N/PQqlP1ForQVqmJ:kWX/e65oid11G/e+z/9+XyhIfFWR
TLSHT1BBE288ACDE58E62BECDC097B94A747103330D48AD084CB5762CDA5263E8B3ED1C9EB55
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Interaction/Highlighting/Emacs.p_hi
FileSize23111
MD5137A4D0B7E2CEB4F1BC1B2F3117FD1A8
SHA-109AFA474DDB48ECAF1AE2702E00D6928CE62A9C9
SHA-2565A17E52197E80822FA168273634E0FEFEDD3064846372B65BEC419E87A299EE7
SSDEEP192:XMD7+hd5isBSN/QBoWEWkS1bT53xAn+qeE8qvtTjJJkwU72q/PQqlP1ForQVq8ho:8DqlTSVQvbp7AzuhI8hbG+4qHO1lgK
TLSHT15DA2415E9E98AA17ECE40D7A4CAB4B143B707906C001EB9F159D85B26C4FBCD0C6FB64
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Parser/StringLiterals.p_hi
FileSize8341
MD565BBD49DF5023CB875CB8FEABED2C6E4
SHA-10B6C17949CDE7E928D84039055BB2E49F3C4146F
SHA-256A76D7F43B63ACE6135D2FB48CAF618002105B5D7EDC4BB9DE969693E21DAC323
SSDEEP192:piHUuIWzpqdCD+vqvWJ7N8qF1MQV3Thqr:M7zIdCx+9Th2
TLSHT1CB02739C9E545D2ADCC40A3B88EB17217B34BA12F909D3671B8CB1235C5B7DA0D1E72A
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/SemiRing.p_hi
FileSize2711
MD5198EB197C8B4893DEBA79A8E55CC76C2
SHA-10D5C71AB787DB991C54DA301EB9C893F7980310D
SHA-256A25BD3B2C1C748850CF171372EFFC522D5D7EC91B200BF651809F8A4734D26F2
SSDEEP48:EbT7zf2vGElQOMbcN/QOMSQOQuGloWOtJgcn/Ns1aV7+3:iorlIa/RpN247O
TLSHT1755154CACFA0DA2ADCDC1D35C4E707043725E38AB8EAC31B544D19667C871E52DB9DA4
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Rules/LHS/Problem.p_hi
FileSize9867
MD5D36631B61B65E034B27A8455AAAA455D
SHA-10D782A45417532F6E79F7EE1B88BCAB4E65A79FA
SHA-25651408340DB0F9196E7023D8EBDE16DE1CA0271BF2395A48324518CDA6279BECD
SSDEEP192:UTKffxxenHTxWUaZPn+qcqvtTjJkwU7N/PQqlP1ForQVqQxXcwi:UT6xxenz0UaVyhIQxXcwi
TLSHT1D91263A48F589E69FDC80D374CBA0B106720A292D841CFDB46CD95530D8BEDE2D9ED28
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Monad/Base.p_hi
FileSize533802
MD5F4661A11B9C44A1FF94832FA970ABB56
SHA-10DC6532250403AB544EFD3E6C259EAD549FEA7EE
SHA-25647B441F04D0B011800436D78D80310D6C564C85EA2C9D1E1803B71470E49899D
SSDEEP1536:V4ckBhepYXXvkiIEgY7D/rgsYlwNGFb87mdZiKpmt4TwEbq/ICwO7X5dk97fK4np:VtSIs7otwee+KbnDycB/mMlRkCg
TLSHT177B4990AEF688417FDE50BB184FB03553338A5CAE955C757214E2132AE5B3ED0C8EB99





metalookup is a service from miwakeru.com