Result for 9417A89933768D48FCD0B300AB4459E34901B2FA

Search result
Graph view
Children (168)

Query result

Key Value
FileSize13326284
MD56EE5228CF01E65E807B21989B83EFA46
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-19417A89933768D48FCD0B300AB4459E34901B2FA
SHA-256B59A93F1FEAB63568247C50FE1749822373245D583D8DF1C4B133EE6172DE9B7
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/Syntax/Parser/Lexer.p_hi
FileSize10921
MD5DF5F77A548D88688E5A7CCF7EA831036
SHA-1016B893F8F6806D975696FD2CD0CD90F01A85741
SHA-256E2342FFBE377968BBF9CFD90D603C68ACBC11D71CAD32A6012A2E50233AD3383
SSDEEP192:43bewvQS3PVM+vqvWJ7N8qFoMQVqp9h/Pkq:437QAPVefIp9lPkq
TLSHT1B63295D88F141A25ECC40D768CAA07123FB4D253D647C79B128CB0671E9B3EA2D6EB5D
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/FileName.p_hi
FileSize31604
MD5B841066832F74F0995216811CB69D666
SHA-102A1982A2ED336B4F1D7E6978BACB5FCA1C71B51
SHA-25619FF38CFDBBA3E65CAB471528670B8BED12C47BDC94D846AE1A4E5D5E4B26C46
SSDEEP384:9Xv5kMhuC+heQxQJLs8coXQZEpy3mmb0kb6m:9Xv5ktc1gGU3mmb0YN
TLSHT12CE21C0EEFE8B92BDCD80B36006323203779D195DA47C7AB220DA6718C5B7D00D6F699
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Concrete/Definitions.p_hi
FileSize37290
MD540B8A4B62AB1ADEF18096B9504C71C7B
SHA-102ED6E4EA2A085AC3DB4B98C3881B473F7C9A137
SHA-25619314A3F4E4F3462E0C9F6FFE81AD03EFA37F958CF13ED056E822E37B9E7FF46
SSDEEP384:NtLkWO5un+rDQLEfrfHfTfWxs+Ky3ScDubS8qwI:NJvB713ODo
TLSHT10EF2741BDFA89B2EEEC84A7A04B703103375D987E426CB53519E32322D973E91D5E385
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Records.p_hi
FileSize17257
MD51930676280D81C4707A967C4956B4C6A
SHA-103C4521310A55C1EB422660EDAB496D2E11FE232
SHA-2568E2EEEB1BC15FF87BD3AECE4B8BD5B5982479FB0CB685F05BC53D605A9FAB544
SSDEEP384:dLL/e/iF4fHgqFdRsGh7GK4iCN9woTsOqEJcp1Sq0hI8xsiOB:dLL/e/iF44qFdRsGh7WpN9tgOqEJcpge
TLSHT1F0727469EE0C8959FCC80D330CFF87003724659ED541EB9B529DB1A32D5F6DD1CAA628
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/SizedTypes.p_hi
FileSize16018
MD53822118B3E5C11F54F32C2566DE76777
SHA-103E92C7040EA76C35E93BF360E40AA1CE7F1E599
SHA-25631515430E322ED6F22562707B783AEE82F9CA90F8842E95EEF62F55FA84A11C6
SSDEEP192:Tohxactr/IUI2Grl9/y59KoJOYAn+qy8qvtTjJJkwU7pi/PQqlP1FrumrQVqeoNv:MhxzvaA8eAQtuIeoNRZ
TLSHT10272B6A99F085865FDD00E778CFE871037A0A516D583DBEB52C9E1B30C5F99E0C6A724
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Parser/Tokens.p_hi
FileSize34560
MD50F5410298810E2FEECB13F54285BC174
SHA-104A023291263C6521921407381C1709301FC4F93
SHA-25633072A35D5AF8AC3F5558D734A7205101AD5FF2A1B82359CFDE76B7F5A55E765
SSDEEP384:vhiaJtcRQ4FP2eVTjDyvGXftkQwws3SNgLmhkN+ruS:vhX4RQalTkZMd
TLSHT10AF20D08FF36FDA7C5D40AB2889B17747B39D101E24A4B5B255E63321E8E3C54C2F6A9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Pretty.p_hi
FileSize41213
MD53AD45970BCADF1BA5E0270CED2030C69
SHA-10524B9B0772254FC84E9A8B453404253D345E940
SHA-2561FE704DC3894714E2D45641670D68DA316BEACA11A4462CE54806D66DFBC7871
SSDEEP768:iLL/e/iF4EjKKp4GtAcFbYvg8Rb2xx6QeNSpejWYjRZ0:923hWa
TLSHT11403F96AFF58D815ECC009B748BA072C3720D589E449E783568E73236D5B7E60CAE3E5
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Errors.p_hi
FileSize11971
MD5486866E5FBDE649C4760ECD7990110FB
SHA-105D8A2F3F309DBB7E2802A037FA16FE52301D725
SHA-256249F47F5D8365CE7A304AD9C3580EB8F3D9D41BEA241428DDB2485F5256E7E87
SSDEEP192:m9XMwui7tj3d6JcKwndjSkjZOKA5+qy8qvtTjJJkwU7N/PQqlP1ForQVqBBrwslE:m9cw7tj38eXj7Aq0hIBBrwsl/M
TLSHT1F532EAE5A904456AFD950D374CFECB011BA0BA12E882E7DB91C9D1E3188FCCE5D57A34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Abstract/Views.p_hi
FileSize5184
MD5DEAEBED3DC4E053DBB19F130F74C168C
SHA-1075745AB58E3D1793E49F99AD5D6901E30618B1B
SHA-256BF3B47A1B62635338812EEC8B54F680456C3297C1120E6ECD63C913795D1AF54
SSDEEP96:gPWn51p50KLAjAHC8A5yY5WTXqEkjJ7N/Q6/Z4DuBQVTdWcYgg5:gPW514lyqEkjJ7N/Qq2MQVUlt
TLSHT12AB13D6DCF949F75EDD8093B48FA47102730E314E502CBAB46CCE4630EA769D2E5E664
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Parser/LexActions.p_hi
FileSize24590
MD535B8DCB2EA23D3560AECF4F33AE7F772
SHA-10B8ABD21AA652FFCA999A847CD2B4E140A278214
SHA-25611B238A463675AA689925D4E200CD108EC4E7E4A205155AF7E81E54D88DA7F60
SSDEEP384:/TCwgJhKRaf+yrb+HbjscNGSaf+NdUMagyUI9s8mD:7C1O1GKD
TLSHT144B2608EAF669E28DDC80D3554930B143B38D655F481D79B03AC62631E873D91E3F798





metalookup is a service from miwakeru.com