Result for 5223E2337AE33E7829AD3C10D5653095AAEAE558

Search result
Graph view
Children (178)

Query result

Key Value
FileSize14864950
MD5A3AF63D23E47C2CE2B0E69FEAB5A8E29
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-15223E2337AE33E7829AD3C10D5653095AAEAE558
SHA-2563F57C01BEE0845345EFE27604D8AE6C29F446C0DC342226F5C527C2A92881451
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/Utils/Pretty.p_hi
FileSize3784
MD5A7AE109D1FE82C56B61402C3C79A0562
SHA-102AA80D5BB39A6AC19120A118AD4BE33C61CB9CB
SHA-2568AF1004F46B362519A67BFF591D82F8D3854118ECEAE221F53613F3BD8575AF4
SSDEEP96:1FEKS/eLT21t2E76nw/ra0O6GCcJ3BsZA1:FSXn52nw/ra0O6GCcJqA1
TLSHT1F57132554F805E1AD8800F72D4B747213730F8A6EA97E753008CE5311CDF1D0AE28F6A
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Definitions.p_hi
FileSize29845
MD54D1B47D344C397876797CA123CD821EF
SHA-102DA16453D1BC1BA933592573719D64457A31BD6
SHA-256470A8C7DEAA8411F3E399451A8E5802AF360B81B6EB3C02B56744D0F1C49E95A
SSDEEP768:Euroo+Odi87ozuGu4zhbXbf7IZfBlqFQp+n75:E4oor487oaGuUbrf0ZC
TLSHT117D2414AAF449972FDC649BA00B723003BA2E159D4A6CBD3955C3132BDD74D9BE13ACC
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Main.p_hi
FileSize50942
MD532AE25A3F35D732055992596E5B47F9D
SHA-10381B42282D3E9E9CB2050BEB28852DD18D9DA15
SHA-2561594152FC4915F558A6ADE82BCB266C9DCB9AD571A5304B010C1977DC0D75355
SSDEEP768:LMmXHIVAwxZNgjkP9AoKEwZ19KZ3zujy//jOlvMx1fe+1c0xsOGqS2xEV8hrCPMu:LLo110wrHfCKIDKRq
TLSHT158332F4DAF0C6A23ECC20ABA58BB47112F509411D045C75B76CEB66B68CF8FE5C1B2D9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/Locale.p_hi
FileSize1819
MD53BEF3D04226412B5442C65C72FC6BD95
SHA-103BA973B70BA6A7DDD1F7E8B856656CC930AD158
SHA-256D07996DCBD18023D43BADE8C24F5FB2FAC5840B965196FBAB59C895588A295EB
SSDEEP48:Cx94BZiWzbRPth/dDjTFrEu30n/O3pOJvT/AasZjbtfjMHg:CvoiKbRPth/tjTFB6/cOpjupbN
TLSHT11E31A88F3E829D2FCCC55B7380E657552B30A186F7A3DBA7314C6238058BAD91E26A45
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Primitives.p_hi
FileSize29862
MD536C30820FB180D8879F705AEDA850C68
SHA-105C4D88C70C482AEB650E2D7A2D642604C123ECF
SHA-25608499B24C59369FC916EC60FB9458CFBCE6132E5A9134F079BAFD2D3643E2716
SSDEEP384:OTN6/P6BJg/7FyKQw/v90KiAOamhVZvXyPbfMoC+CKkOtX2EIRrjzx/:k+6BJg/7FyKQw/axaI/yTfMopX2B5/
TLSHT185D24248FF4C542BE9D40A3759BA43141710EA20D28BCA4B769D66778CCFA8E0C5F6F9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Imports.p_hi
FileSize40366
MD51AEA6AD69E0D9B7196E127979FEAB0F6
SHA-10682DE0A82E9464DF3CC385C2B78DCD6BDF4D606
SHA-256D4C6654DA442F71B0D92A14DF92CC0BC85EBA5CC36905DF5DF4D2B66AEAABB6A
SSDEEP384:qlFuheDaqtvTc18jje4LrXm5vazbe1lQbfnDDp7b5JkBCUgBLiwtVefbnjFhDgs6:kaqtvw18jje4/m5vazyOfnnIK0oxR
TLSHT12003975EDE58961BCCD28A3A84BB0B202BB0D418D554EB57708CB9B77ECB8DD6C43394
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/AbstractToConcrete.p_hi
FileSize54656
MD588BB578938AF845B0904FD38283210EF
SHA-109DDD5827290A01BD79EF7D982091EBF53CEF233
SHA-256AC81BC31315F54E91B4A6D69A87EFDE4D74637DCFE927E619695286091BC3D2D
SSDEEP1536:BI/qglCcbI//fY10L9jWvb2UvgsjYlAdzon:B1hV
TLSHT1F1330D1EEF8C6D16EDC80B3745B28B642750F42BC191CA47794EB5262FCB8EA5C527C8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Impossible.p_hi
FileSize4705
MD56AFA208D739E4D4F56264EB517FF5535
SHA-10B2E0E9511D007EE54A44E49F96A99C3BCB98C0B
SHA-25642D617059D8690BF82F34E74C79FB2E933690E1A974AA89999D445B049EC44F9
SSDEEP48:YIBmwPDMZVcZi44Gxkrk0Ex5LINgu/Ws+q5Sqk4I7VDxJYT/rKFaGstqJLBIqtos:2vZqi4t0Ex5LICu/WsON02Fa34jZoYr
TLSHT162A10E0A9F94BB27C5D15AB904D103042761F101E3479727D5CD92332FCB2EAAE17FA0
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Tokens.p_hi
FileSize22419
MD5359A3AB78BEF6215B7745B1385761E32
SHA-10C77340965E77CE6AA8B67C0A61A65F4773F1AB3
SHA-2563292F141D9BE7869F11610D11BBA5C0E9DC5B0FD7F536D36CAC32FA71A46FE85
SSDEEP384:LsMXCsclk399SvDPxBy64xP1n4ekxk9Qm/jYKSaC6SKiqyaC6yqiPySabhBmS5IC:Lskxzx956S4fbtYxQ8ek3CazAZuXF
TLSHT1CCA21058EF85B936D9D80F36989653702B54D502E65B970B678C93330ECE8CC2C5B2EB
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Primitive.p_hi
FileSize80885
MD5EF048338C1C887FE8FA331BEBB30299E
SHA-10CB8FBA74FEF56BADFF6903DAD222D748B34EC69
SHA-25681E05D0C4454BBC7B9823E5C22B96FDBEADF4F7A701554930D90B8582EC477B3
SSDEEP1536:8ZlpWLH4bQKlY9JnpGfxL3jvNolpiQyl+x0EJzb1HlxIg5CJ+tQ6sL3b4wD4RW:UYp+3jX
TLSHT1D183CC9ABF49A406EDE00A3348FA03542781D8C5E861DB97711D66339FCF8D91C73AE9





metalookup is a service from miwakeru.com