Result for FE915DD0535F5C42BEABD599F3D0799A5E7F8956

Search result
Graph view
Children (178)

Query result

Key Value
FileSize13616256
MD5705D2A25385E42B0FB1B025C39833F45
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-1FE915DD0535F5C42BEABD599F3D0799A5E7F8956
SHA-256B28E8FBD49DF06E509DC0FEE3E0F5C453E4806485969C8576160E7B10D36C6A9
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/Graph.p_hi
FileSize10235
MD57411E8AA68B835D5B7607350CEAF24F4
SHA-1008C1C616013A3E330433CBF7E13E3A9BAA3A633
SHA-256156D5618A40BAB3E501D6C5371F3E55161F85826D6D8E93A99C2A86BE9F37E81
SSDEEP192:Y7wDqVz3yDm5DuxmD9ziiYYNtdjpyRXeE8WCMI1CFHOA:YOjHhGPAFHx
TLSHT19822D049DE666B1BECDC0AB908AD071C7334D38AD012DA97115FF2257E7B2E03F69250
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Tests.p_hi
FileSize9229
MD5BDA4AB6C4CBF7A7CECAA18FE467048CB
SHA-100FCA7346095EB242D57CACD9B1395EA1821A3BD
SHA-25681865ADAF641D541F21D143032A6D5CC001D0869BD16A9FD59D71F91A82DE95A
SSDEEP192:VXzq/LjB7+OV0IXjZZWdZYdqe+fOtUXrtTjJWwU72Gi/PQqlP1Fru6TNyPQR+fmo:lg/B7H0EZKXyPbfmMUs
TLSHT14112EEA5690915A5FF710E776CFD8B141B906A22C283D7EF11D6D0F72A4DC9E1CA3A30
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Parser.p_hi
FileSize19090
MD5DD3D1817FAB6E8CF4DAF504FCB9258A4
SHA-101D2C86A4251C7A4417E1F99E97AF3B38B8FD186
SHA-256857A1D0A559A50A646698109F9503490D65F56062CF64A65F0C3DCDF71C7D6A7
SSDEEP384:S6IskxCBgeRHknlP8opXNaNJY2H8UllCUB/cNXLceSsiFHwVRpu+usWPNtbbbfU5:S61JRRHknlPTpXNaNJY2H8UfCUB/cN7n
TLSHT1B382649A6F41A73AD4E0097B08971B215770F110F849CF5B72CC6A769D878EE3D2B368
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Operators/Parser.p_hi
FileSize21443
MD5D7BF9F25CE3D37CFF398659DAF2FBAE1
SHA-1022F4CF08FB238959D0DDD84D07F8B9915A45CC7
SHA-2568D06E1C7CC34E2F7AAFD38D261C2603F32E2359E881ADCFE14C0C16F132B7FA6
SSDEEP384:2ztH8+ze3zRDWIzwzWQo3zzs0TBfzz0IQAZfVq+NOorv6Cbf5UI72HW:8hRwzRDWIzwzWQo3zzsoBfzz95BN9yW5
TLSHT140A278BE9F241A37EDCC0AFAB7AE07E63764E546E5A0C107925E72275C170DC0C61BA1
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Trie.p_hi
FileSize16644
MD5F4F8FFB9491BFC02EEEA7EEBEA547AA4
SHA-105A4F530280FFD53E4DF7FFB000CEA78C0A7CFF5
SHA-256E3A80CD594140E86ED13AEB44FA622003DFEBA42E67BDB9838943E0370A89148
SSDEEP384:lGvWTta7LauO3iUgP8nyfk+ENQvM+Y1zN+:RTULHOSD5fk+ENQE+YZ0
TLSHT10B725F06DF94692AECD8077244BB2B302728D105D612CB176AAEB9347ECF7EC2D63714
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Abstract.p_hi
FileSize10146
MD50E9FC617D3E5119C7613B073E1D89607
SHA-105B17D9CCE21EBD7A3DCE3C9F0366225608F4E05
SHA-2560C2372CE0D3310C16BFCB9CC8A4FBBE21F2E0855900146776A13ED7D3A3ED547
SSDEEP192:RrAIJ4ADeHr4swbebg1vch+OpPG+qNXrtTjWwU7N/PQqlP1FcigQR+fCBds0am:Rrb4CeH8swbfhO/QbfCB5am
TLSHT11C220298AF519660EEC40E730CBF2B141F60D261E009C7AF7A4FA3531E575EE2D62B58
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/Compiler/Agate/TranslateName.p_hi
FileSize6012
MD5A3E6FF9168A53A42F0B06E3B43EB5680
SHA-10702373D45317F6AEEDDBEB652B055F0B6C438FE
SHA-256468A5480274BEC6D1157129192AAB552365385016A21B90C1EF3D724A96CB1BC
SSDEEP96:OUBEhqO800Oqqvw+vGN2QZ4Bd875OToiv0FLqvw+vGNBuWC1d0QtpwDqlQ46fepg:OBowvw+vbpBcUVc8vw+vQulBpwDql4ei
TLSHT1F0C1EC49FF61B23CC4899D36DAEA13E01B88E050677E161F73AC62370D8829C2F1E566
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/Compiler/Agate/Classify.p_hi
FileSize13364
MD5DE2FF8D710F1460AAEA03A6A7C60BA3B
SHA-1086081BDBC4DA1F42EF959076EF064CF77DD59C7
SHA-256AA5102D6F3517B5B5FE7CC42B5A978283F8E33C085713F4716E7048341298D40
SSDEEP192:hwse7yaKwQsth2txz+N33iTlRuOOAn+qytXrtTjJWwU7N/PQqlP1FcigQR+ffk10:Be7yaKrnt1a3E4A9QbffA+m/oN
TLSHT10952515A5E08146AFEE50E371CEEC72027A06911E242DBDB71CEA1A32E4FC4E5D57B34





metalookup is a service from miwakeru.com