Result for 76B6C327A09149FDCC27D94A71FAC41387A8995A

Search result
Graph view
Children (655)

Query result

Key Value
FileSize24464984
MD5C4D5DDC7A937F022DABE9E9C7A1CC8E4
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.4.1-3
SHA-176B6C327A09149FDCC27D94A71FAC41387A8995A
SHA-256772E13AFCE7C26518B2CBC831427D0A4DCDDD4F843B89EF0CFC61F864AE8E9EC
hashlookup:children-total655
hashlookup:trust50

Network graph view

Children (Total: 655)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/PartialOrd.hi
FileSize44475
MD5CBF3EA4F8DDDA8D6387E3108D5AD3582
SHA-100670C5CB34D6D8AE7FA897EE9C7EFBA70144AB4
SHA-2564A6415CBEBA522B746036534047B1A5D3AEFD4FEE599D1CC6A28D8D65929DA5F
SSDEEP768:A5tmix2YX1/pBd1+IYj3Gx2L+F+7PeCrgtJXNSua51eM27lEPAMbRULU3KVIjGm/:A587eCrgzpK1eM27lEPAMbRULU3KVIj7
TLSHT1E413A016EF4D9112D7380EBEC5B603487B74DC815BCAAF8371586178ACB32D57F42AA8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/EtaContract.dyn_hi
FileSize36430
MD544E2AF58D89D368F3E720AE604E68685
SHA-100A56434199436EE5D881B134FD2AB0C1FAB122E
SHA-25662FE14A8A8030B6B43B66C0C77784750F8591A3CEAF338010D2ED3FB8BC0B85A
SSDEEP768:L/OrhyjO8/0CnW9kg2qcfvmyCL729VA2jSW14Z6i1cVaRK:qrUjOiTqQ8729u2sVu
TLSHT1D8F27269FF089E22D9280A318DFBA3007F70E5C19D47AA97104471BDDCEB6D81E939D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Abstract.dyn_hi
FileSize680146
MD5C32024D099FD12090007FB74CC79C7B7
SHA-100CAA2DBD03E20AA30A04E50E4CC8D2AC5E9A0F7
SHA-2565A7C0C106D077A5F1202640CB3921F772F95C2F730C25B14442C10E8270DD63F
SSDEEP6144:aHrHhXNMHB8HBm2ITk5YwcXKgvTiNKSrvSBBBBBBBuBBBcHBBBBBwBBBVBBB10YW:orT62ITk5YwcXKgN6R0kR0V
TLSHT148E44B26EFCD9203D53806B4C5F543087B64D881BA9A6F8B6015B1BDE8776E03F61ACD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Monad/Imports.dyn_hi
FileSize31104
MD56CBC265300F7D49FE6BC21DD7F0B8F71
SHA-1012752D752AE1B6F0621C7E1E5CAE7C06DD292D2
SHA-25656EE6DB9524E3F2DC03B645F86D7BA5DD5975DC73B35B0654027FFAB865C0DAB
SSDEEP384:s0n3yvk0sU2xHb5ff1jh/NM29VA2nVS3G1cK7dDczGk1U5i0:53M65029VA2VSW1X0q
TLSHT1D9D25165EF488C13DD641DBA8CF703202F20E5D16296FB931249327ADDFB2D41F62A94
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Auto/SearchControl.dyn_hi
FileSize67347
MD51D45A9127E997EE3B9118F59670A314F
SHA-101B6DBD3601BBE977D2C87CC11C84BF657A2971D
SHA-2560448376336739CD28DD4B9C59B6336038D94F9BDFE8884E18AB08812B644D261
SSDEEP768:P88hZ+ZN+bfXR2LGbJXyD72bSa1S1IAqq8IHmIzb:PT4N+zXR2abE72C17iw
TLSHT172639922FF4A9507C92945B1C9B923326B38ECC1A6867B933214717CEC776943F92ED4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/AffineHole.hi
FileSize8424
MD5E148153BBF0D2223DE107D553E461B95
SHA-1025C683536BE847F4D3DF9C4D8B5A6630C2253D6
SHA-25605169BC7690318102C4B226B2BEE53C2695DE0C2596A771030D500F01B66CE13
SSDEEP96:UhrpPR+Byhz4FeCoJ12b7cXha9FFThk7G96Zw8V/hY4uhXhvttmKY3xO1lIlOW:Uhr7hBmExa9Fphk7LDC9hjmq1lIlOW
TLSHT1E5028F59EF8AD623DA3C1670C1A603582F35C988A68A6F8311E9617CEC737C03F55E5E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Abstract/PatternSynonyms.dyn_hi
FileSize22482
MD589A192569C736C8C619A076E2A8954EC
SHA-1026C33F8441A99AF6F7FBAC7F8E0A9424050B244
SHA-2568CA1DC5C4EB55BC3B46647951C5474FF5B874EED1BA6E110555889620E879575
SSDEEP384:1A81JPpGXB1B+BhBDHQxcF2e2nVS3G1Wq:f1JhGXB1B+BhBce2VSW1r
TLSHT1C1A2E174EF589927D93C0935CCBB43003B70EED1E652ABA74105B2399C73AA43FB5998
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Parser/LookAhead.hi
FileSize37735
MD514C47E64EEA764FF0EFFDB46B93972FE
SHA-1036A6C03E7C8DAB9E8C1D393B48D12405B173208
SHA-256686471CDB7B40DAC8B245037B97CD14DE2EE00E1AFC5115BCA4513027DC6FE5E
SSDEEP384:IHziSWainmZGf43YGjUD/pCDsdISF5Us7ST2EaS3q1NTY5XBAXe:cqmZGfIWSsqhD2jSa1NCXBAXe
TLSHT16103B122EF598112DB281977CDBA13447B30D9C1A94F6F13325CA17CAE73AE47E52788
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/Environment.dyn_hi
FileSize8605
MD5108F525790F9E0DFE748FCEC393970B7
SHA-103D58375BEEEF7E301F78368488764B74FCD75A0
SHA-256369B7D97BDA451268F9D231D038E20735FED483274242C6ADEEBCA5CDE090EE5
SSDEEP192:kCat+nZlNYXY3UAfBRbtJTvL4KFard/2PLSSmoUH8Z:kpt+nZkY3UoBRBJo0o2jS3oUH8Z
TLSHT142020E0EDB84D52BDA38067984F64360BB34DA91621BEF8351846279CC633D97FA2D8D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Compiler/MAlonzo/Compiler.hi
FileSize121716
MD56E42C2C8E517593A8C2FFFC26E2D9179
SHA-104048AAC55C0EF9B22EF8845A90A14D0CFE4173A
SHA-256F0304010DAF19BB4AE17D2D1081F1BFB149977FC6487E797113DDF59E565821F
SSDEEP1536:/Ov6bOh8rs8ykp6sjd102gx5WteO/o55ct+45nURo7FeiFowmXEplt4WXNrs2yG7:/Ov6u8p0QWpGjmXet4+NR
TLSHT1ABC3FD26EF085613DD340F7588FA03257778DDD26646AB9711943139CCFB3E82F62AA8





metalookup is a service from miwakeru.com