Result for 4BF7ED06FF7BD13EF2D69BB690212122A6D38E6A

Search result
Graph view
Children (655)

Query result

Key Value
FileSize17044804
MD54AE82C8610405B2D8547C2F89C25C2BB
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-14BF7ED06FF7BD13EF2D69BB690212122A6D38E6A
SHA-2563B9E9BFDC6FD42A8C7CDC82A2E06A1DEC7566DBD4175A14575BE82390E2B7733
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/x86_64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Constraints.hi
FileSize43146
MD555D51E420688AA28C2F3DD54FEF46870
SHA-10033B0F0F499E4431393C5A467FEF38E48F3F4E7
SHA-256733F0A4AB798E0EEDCD07358EEFAE9AB163087ECA7CC6695A78CBD56240F3D57
SSDEEP768:hStBZ+hDt4eJOQ/OxY5M0qkdosSChjl06f8zt4td2MVA2jSW1LvsdFkjzMi6M5:stBEh7GW5iE6Sot4td2Mu2vvKFkfV6G
TLSHT12A136362AF080513EC385E798CFA03243B70D9929287FB971185B179CDFB5D91F16AE4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Position.hi
FileSize295271
MD57A67BED42DF671F257BCDCD1C2B90BCF
SHA-100AB0ECFE9B97CBFD904B97C1EB1E79CFF3287C9
SHA-2566BE98061C9A5880A356EEE67A9D515D937EE47ED147378D8755BE563A4AB387B
SSDEEP3072:3duHZOEJj31WNbM4dMr+MIPMtpMjEMgfxN4KXs:NusEJj146rVIUtOjjgP/s
TLSHT19E541C15EFAEC247DA190AB489B513087F25E881AA996F17212571BCFC73BD03F52EC4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/FileName.hi
FileSize29472
MD586DF6984036E445454466E7CE30879CE
SHA-100F8D8AE81E7FFA72839DDF1F350DF92D279256C
SHA-256A15FEE24B9E6E45C3CB0E70A8C47557BA5E7770DA4C9408EDC09722800AD481D
SSDEEP768:/8FLNeQhu4d2RdfPrmv9wVwrU2VSa1tcRzRYTj5n:EFLNeQofj2LUNU5
TLSHT1C5D2CC27EF4CC613DD281675C4B603653F25DC826A86AF47112DA2BCFCB36A42F51AD8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Concrete/Operators/Parser.hi
FileSize70964
MD50AA20466235F2583A85EBEB2FCF3E2EF
SHA-1010CD1426E9F2ACE95F67F7732B776598C1C006E
SHA-256992CEAE3D84A32B9FFC2E13A524EA3C1E7A8F9D0A12D6D12CCFAE6F245533BC2
SSDEEP768:cxw4XbfhoFgIsERvZkwB87d2jSW1PB4s0c1cv:qjbfAgIskgd2N45
TLSHT13D63DC25EF84A017FEAD457DCCBA1340B730C4D2A643BFD38454B278DC633A9AE9159A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Parser/Monad.dyn_hi
FileSize89558
MD5969D3E3199EE21D32759847D0B29FF1E
SHA-101A695B1B234BC19F4D20E1B6091E7710EF2BA18
SHA-2565EB30AB90D5F514F943CBA1277DC8A1CDB6D828E902CF819A54314D5166CC931
SSDEEP768:AJWnhRX7Y5BpkITsX0Y+ipTjTA2jSa1yoIszWA+ewHbpzFsk1pgz1Jjo:AJWnLXqDsfLA2KAIBgzM
TLSHT1AB93F115EF49D113DA2816BAC9F903447B30D8C16A86AF83601871BDFCB36D17F92A9D
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/x86_64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Interaction/Response.dyn_hi
FileSize39288
MD5A73E3640C46DD145B3D389BF1AB8C6AE
SHA-10274ABEF9E3C163884E8E5B56403737AECE2086F
SHA-25679766A1702FA75CB0C04D247FFEF0537E10CDF9A4736A731AD1D97063516CDB2
SSDEEP384:YRGItPpFeTN+7e5l9BbZxgGe5stlqc6skKWuYNEIJHfcCR9XmjJf4SFxzzL7OxHs:qGIthMrfHnlI9mjSSvWxH2VSW1YrOR3n
TLSHT179032029AB08A432EA3D443AC0BA5342BF789A42A617EFC3648513259DDB3C1FF4557D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Interaction/Highlighting/Emacs.hi
FileSize14210
MD56752E18DBBC81A17990ACB7FDD48EAA6
SHA-10310DBBA1DBA3A2370116D24626DB39518E1064C
SHA-2566858040E80D98989D455887F31C6B232684CEBFD82B1EF2B96D5B8E890892233
SSDEEP192:qEiSGFBIZutv/RWPp/DHlr3XJwSlsRV3UMaii+HIuYKADN9nggARnSqsrtqJ6Wjm:qEJG/dtXsPpqciM29VY52jS3G1km6
TLSHT18B52A5B49B081926FA900D3B4DFD87001FA05A129593EEEF11C5D1E31D9EC5E2DB2D79
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/SyntacticEquality.dyn_hi
FileSize51538
MD54A20C58202E8AA5B710046BC1060DAED
SHA-1038FC0746E52593D6E5D74C784A5F1025CE6DCAC
SHA-256EE27BB459EE6F95EA243BDDB488755A567BC5D8A9B619797FA05E4269A15217A
SSDEEP768:0L7hpkvtp+zs/Nxt4A29VA2VSW1MFpegvc2tzl7T:0/4vfbt4A29u2aFp7vNT
TLSHT196339760FF445722E8B809748CF613147F38D9D09703BB5B412662B9ACF7A982F9B5D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Monad/Benchmark.dyn_hi
FileSize19955
MD5B144F5F05385EE1F4E98CE3741DD3194
SHA-104649B9014AE1869A2FE5C2ABADE3ABFBA47ED7F
SHA-25647D3E21A069DAF2AFA1A25DA7B34930EEC5ACB03AEAAEB3FEC881FF56D9BD961
SSDEEP384:ULbWufeujKJ4ExEyUjM29VA2nVS3G1uyNfsVWc6di1H9e7lGx:sfe0KaCUA29VA2VSW1BdaZde7Y
TLSHT16E928676DF0C4913E4590D3A8CFA43107F20C9A19593FBD70184B6AACDEB9EC1F529A9





metalookup is a service from miwakeru.com