Result for 16376AF8CA85A1CA8C29F0725BBADE72B8A17DBB

Search result
Graph view
Children (625)

Query result

Key Value
FileSize15707500
MD52ABCFA8F36BD8D4271551B12BD70C10F
PackageDescriptiondependently typed functional programming language 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 provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.5.3-5build3
SHA-116376AF8CA85A1CA8C29F0725BBADE72B8A17DBB
SHA-25625EC98659075619EFB025F5B53ED6E6C8FCD66F6CDD309912BC169B8626A003C
hashlookup:children-total625
hashlookup:trust50

Network graph view

Children (Total: 625)

The searched file hash includes 625 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/Monad/Context.dyn_hi
FileSize109255
MD5DCB16D1DB916292F527899BC76DB2F15
SHA-100B8E41CA5976BFC7CB65486024489FDC19970A5
SHA-25688184AADAD37BB9200AED73F4E853C2ACFDC7E409DC426DF34AB38A53A829C82
SSDEEP768:HBx+s2flvzM88UeH2O+Q8bIikd2G1ffh8lpRhK4Yyo5JLMkSGriE+Av3OF+2UOmU:h5R6yZkq3Id0Hh7cL9vQa8AtBxW2dd6I
TLSHT10CB3DB66FF496542D9280EB5CCFA1319BB20D8C1A6076B636118717CF9F32D43F62AD8
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agdai
FileSize10260
MD54B69B06F1ADBE449B2762B98CC371B30
SHA-100FAABB28D0AAA6A116008A240DA04608AF5105D
SHA-256138EC5FE4265BD2933B739210236A6FBA5E428F2C7911D753574E7FD2C244CE0
SSDEEP192:EUB7qGsJu8G0WQVl8QYrv8N24IQRxOOs5cNYG5iuJ0Jf3KTK65x1MIs:t7q7bHWMebo24xO7eNYG5BJ0JqKE8
TLSHT15B22BEC18B476C199EEBFC6621A53E1D1E64A631D231858674DC7C883EC1FE2B349C26
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/Serialise/Instances/Internal.hi
FileSize321028
MD527A116312D5E6B0D260B0334C4FA2C56
SHA-101399BD6BFFD6AB9A948B2A9020A7D862C32CD5E
SHA-2568061AE2995262FF80E2C2AEAD287CE55F7261F394D184260474DBDE438EF7E7C
SSDEEP1536:S3i3RxQ4mGrMJSpKDNmm6SLmMyx52apB2Un:U2Ry4zpK536SRMn
TLSHT1EF642826FF494202D93818B5C9F71354BB38DCC1AA86BF635116627C9CB77E42FA25C8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Maybe/Strict.hi
FileSize47172
MD543366E8957C7BEE454669D27E51ABA80
SHA-1016F3B9883DB3F9F4E2B66229F927F3C177BE914
SHA-256D97F5D6BCE88AF8203003490F4593C7AD1DEAE8004B7CB38B7C2A6A82F7350D7
SSDEEP768:+t2N8qS3yXOKqxUAsfV34R8cGsU5c0RLO9SP1DunIjv7M4i:3CqNqxUhsUkujy
TLSHT16523CB65EFCE820BD92819B0966503046B28D981AD9E7F037055B9BCBC73ED43F61AF4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/Monad/Signature.hi
FileSize219785
MD5E6819182923F34A16A316E62057A3811
SHA-101C5AD9E7C0E96A339FCF3157D8F48CC575C6213
SHA-256E57A7BC19E45F1BED18FD5E5A6F04E3C6584D6E4CB3A3DC1DE88B103233EB74B
SSDEEP1536:0LUKJtxcP4RI2lmn+efASzKOkrfDMVz1h/IBxW2ljfr4cnzhJhryJ:cUKHs+8ASOhDMVz1uN07J
TLSHT1D6246556EF889713C8280F74C8FA13147B60DCC16A46BB676549727CDCF72E12F62A98
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Compiler/Treeless/Erase.dyn_hi
FileSize47361
MD51855B74E5F3719640552488EEA14C024
SHA-1025461D64C6869AF4D81A5C10E20E8DA1DDD84B9
SHA-2564F504E87ED5498FE7EFCF790514801E60886523BDC8457F6CE3FDE5FB1139222
SSDEEP768:0HRL68B0ZETQ7Q/qF24blPt4Qid/W2PS71Ku6+7KMN:86ywXt4QixW2Pur
TLSHT1AD231F14AF0C4501D9385E75C8B9034DBB30DAD0AA02BB8721A9B17DEBF76D46F07AD8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/HashMap.dyn_hi
FileSize3866
MD5EB728B93718575D94F29B3DB1D3E59CD
SHA-102ECDBAD7EA5CF78F36BEF143F3A7F61FEDACE48
SHA-256BEBF9C9DF3347D6694110CDBF02AB73586DC7DC4257BDE54F08168078D5EF158
SSDEEP48:vnnz7x8s2efeKJ7oYRQWO3owfpQkUw1JvTeec6zEheWSozYNlhthlnxOSml4f9Sh:ObdK/WWgdqk/WJtSozYLhtXnxPmluS
TLSHT1C2810C8E53649F3AC6E40E76A0D6CB03BA64573B80D3CF4F11C8D2653946DB93721A6E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/libHSAgda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K.a
FileSize51744768
MD5FB309E7E0010C2D7996827042538D128
SHA-10310EAC6DE8D282E598772F2F2E04D6AF4B47CDE
SHA-2561B459C1FB998E5A0CB1DB0DAC333D73D48F9D4BCD807CC75487A322F0E8DBFDE
SSDEEP393216:7K929rdZ2R+PMExtpYDvKxKklL1Bk+++xD6JcjBMLcrpkZ2R+/HeDuF4dSKm7Z8Z:fxy
TLSHT16DB7B660A751D679C27E0E7183EDC3209811CF5E2F13937F29DE2E95D41ABAA46C3923
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/FileName.dyn_hi
FileSize30248
MD52B24F853433C598D3FE1E02C9E73FD3D
SHA-103DD0A9B13F1F6AA665869C581B82A673733409F
SHA-256B5C43AD76BD511A8EC08A50C2E7A875A751FFE21817382486EFEE5C57500B0E3
SSDEEP768:cUzI8PYCE9qEA3DwmZxy2PSP1gFRzRYTj5M:LIDCEXA3Dg2fjNUO
TLSHT149D2FE26EF59C203D968127984BA13453F38DD926542AF4B512DA1BCFC73AE43F627C8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Graph/AdjacencyMap/Unidirectional.dyn_hi
FileSize93509
MD5C17D7628A610CE0583A680E2895D7B9E
SHA-10435D53FA12015233691ACC6CAB12CEB20FF4374
SHA-25645EE92B75ACADB97F77B7D8FE5115A768318CE153DA7F01C4EEE7A069D5C8CD7
SSDEEP768:CZCp38V6qufy5ZkamJGjCAd+Sf4hSjaE6Hk2KS71WYHnOGHIDZ7vBKwiiHHnY+R:+CNS5ufjamJIMSjr/2+eB+R
TLSHT14D93F951EF9AD213D61E1AF482BA43486F20D892A785BF173024717CAC77AD03F52ED9





metalookup is a service from miwakeru.com