Result for F8B8B0F966A3FD1046398818C646A44A7CFEBF84

Search result
Graph view
Children (178)

Query result

Key Value
FileSize20598618
MD535FBA8C7A41D26245AF7D597207366A2
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-1F8B8B0F966A3FD1046398818C646A44A7CFEBF84
SHA-256F8B9CFEB5BDA16AAFA8EC05981561D1C2333EC7351947A113E6D54C94624F600
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/Termination/CallGraph.p_hi
FileSize66467
MD542E850115322F302AA6917DE30463AD9
SHA-103103D6266F16F57F6D18C3E74A3CDAFE54D8B1F
SHA-256DC9F5E64EC5228C046A7ED25DEFA19EC9A0E5AAE44BD1517D5FAFD9DB3E6AAC0
SSDEEP768:Vfab1g59kZasDlw9onkPJqI1TGBVXURUHoNUOUuUPUdoNUqoRqXVYfJaWF7tVhL8:VyS592Oonkh1TGi6GfU8yc3LNlmN5
TLSHT1E2530D5EEF189A06DCE50B3208B703253B25E590D216DF5B638D6172AECB1C95F2B7C8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Fresh.p_hi
FileSize3002
MD5BCC0F32102973A42408810F0F2B9D26E
SHA-106F8F825F0B6761714D978CECC4A91AAF273A931
SHA-256C3581E2CF231E8AD8FB7EA8F86D047A81E3F39FBABFBC9010E0E71482C61ED21
SSDEEP48:YlJ1TLFOvbBi/aFvRnr/a8bP3W9VZHWskJ7Zf/oz9/t:GRLEvbQ/aNN/a8AZ2vnQzFt
TLSHT11D5126CAFAC55BB7EC8C2A787DBD12053658E2460147CA8FD38AB5D4BF9715D0D1212C
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Compiler.p_hi
FileSize58010
MD5171E4A9477AB4720DFF7C564B498A022
SHA-1085230D92C493709934B7B85E59DD5772F0CD559
SHA-2562ED70FBEEFD51C18DF21A01FBB246C8CA49528DB40742FD44DA3B1BEE9614C92
SSDEEP768:gpuNIACucsQ3qeqYB1DJHeuN/O9/D/hTf42pEF+bOQqNm/YVhq:gllqmA/D/1f15x
TLSHT1D5430D5DEF9C5A27ECC20ABA44F347113B60E424D545CB97724EF2B689CB8DD0D272A8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/CommandLine/CommandLine.p_hi
FileSize52866
MD5AF419298F6862283784F01EEBA9D4BBD
SHA-10C0396895FAF44E13ED750B78E21B392183A87DF
SHA-2565A0BBACAE25B745DF93260E9DA0BD862C5E5024DC184803306E074C1E1177426
SSDEEP384:XSK5nXVHSatcorG/GSg7tBgdrRdFnjMcmloKh1nl1/Mc1+tBgdrHhgvlatBgdrye:CeYauy5e774oxlZhTfDmPENHIvBuF9
TLSHT15F33DA0DBF4C5A0BE8E60E3618FB07113760A810D596DB97B2CD6132AACF9DD1D4B2D9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/PatternMonad.p_hi
FileSize12258
MD5F015EE16FD8560FC4625FD124BB90A76
SHA-10C5CB9B82D74303634656A1D6410D4140BA5D6B6
SHA-2562A4DB420A6E114C47A1A003053045D8D87B43225578622DA49EA7319C393EF8C
SSDEEP192:ZDT1L8BMUKC3ada/3ygXSPOJ+qytXrtTjWwU7N/PQqlP1FciaQR+fDn8Yclz:RT1L8BMUKC33/3ygXbRqbfD8nz
TLSHT1574200AACE11A528EDE409B74CFB87011B74A845E441E68B11CEB4767D8B4EE1CA37B4
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract.p_hi
FileSize148715
MD504CEA3AD2C8B7EC95233D3EF312C5F06
SHA-10DE48F2594297181233B2E9226D1FD25337ACB58
SHA-2563082EA0FC96B8204ED06D1460B13A500EBA6CE7653C7660FBF8D28E4ABAA0AFB
SSDEEP3072:eN73g1AcK5cZ7cV4c+yCcg4KZocBscRyce3cpXdcXl+Pc5acyG9cFfcPZctqYuR5:+73g1Ax507Q4kCl4KZo2ssyz3ad20Pwz
TLSHT18FE35213EF68182AEED44A7750F607187701E485D661CA977A8D3322BBCF2C62E532DD
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Exceptions.p_hi
FileSize5113
MD5C833C9251C44F75B07C9B14EACAA70EB
SHA-10DF39E237D8E778AEFFA95C3B66404A1B8507077
SHA-256CBDB47B2E5A29185C4422FCFC64270841B1A6BCF0C98013F7B78F504EF6AEC89
SSDEEP96:QaZhmVnRcw/e+UReem/0L5lYUN+qeOXrWWwU7N/PQ6/FcWHH/QQR+fW/rMvBPTU8:3hgRc7PgU+qNXrWWwU7N/PQqFci4QR+7
TLSHT139B1ED6DCE880E26F9C50A7B4CBB0B1157607621E441D7EB6A8CF6932C834CDAD97B25
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Layout.p_hi
FileSize8892
MD50F11BCBC7F06214223E1221A8CC6689C
SHA-112D844A3F4BDDCEC48D31678A622EF51CD86219D
SHA-256F631626B37878C9DE966055344E4058710D8A8EB461B2671D837909FF0985916
SSDEEP192:QlgT9NAJcQJZN2GilfPLORj1DncaHRkZue+OXrtJFU7N8qFcigQR+fFSFXNY5Mv0:QwNAbJl1DntxSuCbfFGXNY5MvRIRRX/
TLSHT126021E599F981D15ECC80A796CDE0B106B64F620E154D7AB62CEF1731CC748A6C62BD4
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/UntypedPrinter.p_hi
FileSize20003
MD5D117F0FBA909337A0FA58771A00C2976
SHA-115900F1F01EAC14AED623ED1C7E8BA428A6F5B37
SHA-2566CDA3058FE88F5CB8E9B9B9FB9FE5D588E72382B41FE25D653CBA265F428F7C0
SSDEEP384:W+TrX1jssv/6GRhYCJ+5YdPwoq84JrlA9Qbfme4ecb1L:PrX1jssaTCJ+5CwK4J6Gfme43l
TLSHT1D29271A9AF08A759EDE00E360CE6470167B5A611ED42D78F624DF1B30D8F4AE0C97339
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Encode.p_hi
FileSize25167
MD5B47BB4D2FD8B79613F313B4C5A3BBB74
SHA-1162A22FE8A3293DF804BE927DB643539B978620A
SHA-256402D7023F8E109A5445137D950770BB63AA78D8711AD76A67981ACC58E05DA3B
SSDEEP384:y+5ncJKIeNLxdG7/xUZvXyPbfvkBp+/9lqrzgH56rD:T5GAE7/+/yTfvkBp+/9lqrzgY
TLSHT138B24F9EEF086415EDD40A330CFA57302F10E451E257D79B628EA2B3598F8DA1C9B7E4





metalookup is a service from miwakeru.com