Result for FACA713D4747D95E7558678C95B9B7B57B79F051

Search result
Graph view
Children (184)

Query result

Key Value
FileSize13176630
MD579DA71D1593016C9A734F2B7CE3BDF4B
PackageDescriptiona dependently typed functional programming language - development 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 normal library files.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc6-agda-dev
PackageSectionhaskell
PackageVersion2.2.6-3
SHA-1FACA713D4747D95E7558678C95B9B7B57B79F051
SHA-256611B5ECBDC9FDEC17EFF49192FE359AEBEA15554CBBBB14287F6D9E5DA44585D
hashlookup:children-total184
hashlookup:trust50

Network graph view

Children (Total: 184)

The searched file hash includes 184 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/Syntax/Concrete/Pretty.hi
FileSize38061
MD570ECFA1B02290A9AA4C9634E3A524B7E
SHA-1004818E042D34191596F1FE591983F68682FD0C2
SHA-2565B74A988C713C2D139BD8F34DBB71678E01B716281647F49DAC98AF9319B5DF1
SSDEEP768:zLLdHKkwpA2T2HgOvEZC8I5vSDXNMMfpXlsn4ibubXj4AGEiZ1kXkRb7N0OPOAyl:zHdsp7QwAvkdjfpXyZ1iA0xl
TLSHT132031C05EF70BD2AEAD08BB404F31391A71AF554E347D2979A9E63341D4F6990C03FAA
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/Common.hi
FileSize13812
MD59D775CCC1FFC78CEE34C765B2C5DC788
SHA-100FD6F5472C43432F6B976BC1C811A036334C227
SHA-2569129B593BE547929848E45E2B16A35870C5D9BBF95DB0D4BA66DE7A64605EFEA
SSDEEP192:5ziZxNGdiZ70IWAH5l2HwLaWp3POh5+qytXrtTjWwU7N/PQqlP1FcigQR+fEwFPt:56xZWAQ6mhBQbf/FPA29
TLSHT1A3523F9ACE98BA29FDD00A764CBB83115BB8B415F602EBD7214EA6764C0F54E1C13B74
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Hash.hi
FileSize833
MD556241AC6E8214ACECF6E5403FA214B4D
SHA-102C33A09243625E06C3F9B8906AA93965072E4F1
SHA-25608C65F2639E95DAF7F3B939A2C5C1B4025CEE034371DC3D517E1F8AF935D8001
SSDEEP24:usl55xY6ee2PyE1tA6Gl9/JEys18P/XERy:7l55x3eh1e7/JvT/Iy
TLSHT19001239F1384882FDC810F7260DB1371327177263B87D33B40C449A101C7B807E25596
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract/Name.hi
FileSize66777
MD5BEF828972C866B5196F814B37BBADB8B
SHA-102E9BD329155C3452C7B7B74C670F74568E050DE
SHA-2569D9561879F5890FADD310C20E56989BB7319CEE0FFCA4FEA3FF1FAE358614F19
SSDEEP1536:G50HzUdyQjxHxXxVQEQlxmxlxZxrYxqxVZF7C1fm7:GiTU807
TLSHT1B7632002AF246D22DDD80EBB60BA43403B44F1C6C106D797F69F723A3D5B6D96D23698
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Generics.hi
FileSize2459
MD509A08ACAA2E2F9F9AC16C51BD5DEE971
SHA-10589DE16E1783894BAD9945C7E9EA72B02B31E66
SHA-2560F79723F20B4BBD1ACEB30322E825EA273F5C541C53FBD207283A2E0D40A53C4
SSDEEP48:hcwsKhdPxrzdYi//EX3USa5k+tTJuqy/RtNlvN9e:mcrzqi/yKlovLNl3e
TLSHT14C51DE8A9FE4DA2EDC820E71A0B3831137749555E743DA7F62C832921507E901EBAF78
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Conversion.hi
FileSize22586
MD5B0C8B18691C1483DDE7FDB282C7C88B6
SHA-105BEB85AE4CA5A45DD187EBB77101C9E4D1B7914
SHA-25609BEB6061838377805134EA63287E180C9912DAE8C99DD60A1FEF3D6E64E50B7
SSDEEP384:Leo1/BL++GJORdwdN9u1gbj1OB95bfcvGBgefIVOBoV0AkVydhKAOGRrvfCy:fPG8vTfcvGBgeJBoV0AkVydhKAOGRrv5
TLSHT16DA22155BF440925FEE049BA0CFA47002BB09611E582E7CBB1EDA1721B8F8DE1D567F8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Main.hi
FileSize33701
MD543B6540ADBDA9897FB2DBBC627469B60
SHA-10B2A2BCBCD3A04C19814509B9149F7C56EE5E689
SHA-256B78F5A001C865FABA9FB1B546B88133C394137F6C9454BFC8A470545A1062F78
SSDEEP384:Y6f7pl7PFBeNiA4D0V2NJX/gxzJiS/UZOWLPbftwKuwl5P1S7Ea81UzCL1pvT8At:ACX/gxdH8rLTfCKuo1S7E7L1pR
TLSHT1D5E25D9DEF0C6C26EED40A325CFB4B512754A511D246DB9B328DA0B22C4FA8D0C872E9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/TestHelpers.hi
FileSize10441
MD5726F6A47372DCBB966B220B2006998AE
SHA-10CE5B9AAC2A72B0169BC328A3C23D28C754924CE
SHA-25606D96FD8846CCF10DED6C5F1F0592A491C2F5A888ADB91A0508ECB78BC261E37
SSDEEP192:3aSc6lM0QWbx2nQCOHCC/1XC3kr9adxMkQ5LIEQhLV+ufboFOFOU7u2e+fAOVTUB:3M6lDx2QCn61nr9XlQhLVHRflU9fFoq/
TLSHT18F22215DCF109A5EECC54F3188B217221B24E185D542CBD3A38EE2316E4B1E1EDA7729
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Empty.hi
FileSize7660
MD55C477F62234F1ADF72577B118B0EB0FA
SHA-10CFB48D981D7ACFD9F23B7BA7316CD6CC680B7D2
SHA-2564C7CCED2E2D79FA691063B07B8CD44D7BAF22237E5B6143E7E0012FAAE3EC45F
SSDEEP192:SUESKwhNaEwO5KUj+qROtXrtTjJWwU7pi/PQqlP1Fru6igQR+f0sV:pESKw/aE3K55bf0sV
TLSHT1FDF1DD656A0C05A8FA750D3B2CFD8B101BA06A529287DBEF51DAD2F7244DC5E1CE3A34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Imports.hi
FileSize31054
MD58B2A81D1E3A84769FADC475CBEC6C36E
SHA-10E0D002D3E2676F4D25416AA66E6686C08C9B197
SHA-25666BEA7EEC4764448436DC67199D990CA32D76CFFD72DBBA428A878DDFA61396C
SSDEEP384:oy4eFtVKAQ5+K6Ei9MWTo9alhO6TF9TZvtPbfTwzfEP4NTtC6fB7r3+FwJqmvjF3:VTtoAQUJEmMWTo9nOHVTfTwzfE9ZyAk
TLSHT1F4D27289DF5C1A17EDD40A369CFF4B0427A0A961D602DBDB328EA076194FCDE0C576B8





metalookup is a service from miwakeru.com