Result for 2A40DC1D578FF624A1310B17E5A227F7EF473899

Search result
Graph view
Children (184)

Query result

Key Value
FileSize9533248
MD5CADD2F291CF97EAD1076702A642683A3
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-12A40DC1D578FF624A1310B17E5A227F7EF473899
SHA-25694A6F7758F659984687CF1F1C2E079F8636D402FAB1843BBF7CB2D904EE5FA9C
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/Interaction/FindFile.hi
FileSize14594
MD55F83CA031142D3140F9EB49A4FA17E5E
SHA-104EE8F25623A14F6CE0B5A946F65266AAB78041C
SHA-2569DCD6C894114F0D176E3A57CA66F8466840F0D6C2D6AE64BF008E43B8B3C3DE4
SSDEEP192:tkbxW81RSeHgSt5xSOYWdeNw6beHQ3nSiATAnOVe+YVRu84POJ+qytXrtTjWwU7K:tkbE0Hpq+YVRzRQbf37EufmktFS6RL
TLSHT19162009D8F48182BEDC4077B8CBF8B052764EA65D102EB9B328EF171184B49E5D93768
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/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/Compiler/MAlonzo/Pretty.hi
FileSize10240
MD534D7A8193B72018ED97DF8EC1A799C67
SHA-10EB05DBF3FB67D31422B51C33D40AB0489054F69
SHA-2564F6A53E9A0A345873B9E34A384DE72C3671A4A9EE315ED8009C703AECB8B6892
SSDEEP192:Lm1lZjsXjZZWdoYdqe+fOtUXrtTjJWwU72Gi/PQqlP1Fru6TNyPQR+fArf2Avx:K/EZvXyPbf7Avx
TLSHT17522F0A5AE181564FE610D376DFDCB045B906A22C182E7DF51DAD0F3254EC9E1CA3E34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Main.hi
FileSize33701
MD50C9516014C0B0019E0FE68A8CAD0846F
SHA-110054E710F1075F3B663D925B672E011F73FBA30
SHA-25635D43096EEAE61A8919B9E5C9D2CCF3519401AA27BDFD93ABF1549028BD13828
SSDEEP384:+6W7pl7PFBeNiA4D0V2NJX/gxzJiS/UZOWLPbftwKuwl5P1S7Ea81UzCL1pvT8At:DCX/gxdH8rLTfCKuo1S7E7L1pR
TLSHT1B3E25D9DEF0CA827EDD40A325CFB4B512754A511D246DB9B328DE0B62C4FA9D0C872E9





metalookup is a service from miwakeru.com