Result for 0E562EA80508391FEB52DBA458817C548A6C642B

Search result
Graph view
Children (251)

Query result

Key Value
FileSize9555026
MD5C0F7B97B83DCA6708A542B636A83280A
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.4.0.2-2
SHA-10E562EA80508391FEB52DBA458817C548A6C642B
SHA-256105E130268DD9CDDAA13DF33F3E9E29C4DBAE8EF1538B819DC3B495AD00CB3A7
hashlookup:children-total251
hashlookup:trust50

Network graph view

Children (Total: 251)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Split.hi
FileSize16576
MD5B9EC6CB2E765029AF2573E600235CDF5
SHA-1016D1D7516FD9303C3DFD58EBAE78773D69E2BF4
SHA-2567F52BC51AC812C916700FC6EABCB658826DC92C51E2FE62578D6A4368B38D759
SSDEEP384:ZnHU2kjiNgnbX5q9qd8BwDYjuJ/nCIVZf62TOuR9q7VFjd/U:ZHUkE9q9xwDYjuJ/CInfHhMvjNU
TLSHT19A72D8A5AB181A75FEA10D772CFD8B0157A036239987CBDF25D1D2A3094DC9E0CB3674
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Patterns/Match.hi
FileSize18503
MD583EA655B88A498BC5C52E4FDF8BEA837
SHA-1019273D9F7300ACBA65B6508AA64DA899C85C319
SHA-256E2C4E776DF3650C6A0A8E77FDEB7EF6D7CAE3FAB0DC6FC3B3134FA1590C36447
SSDEEP384:ZxsVSq/BmeJTWfWKKNJfhj0sE1OuRB/9/ECAW6IBZf6zSS:Zs/BmcI/9/ECA3IjfgSS
TLSHT10682A671FF258616F9515D360CBB03403B90EAE34932EE9B5988A1562C0E8FD1D73EE5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Primitive.hi
FileSize198240
MD5A23A9AB6410D868A8365FAE5846B7516
SHA-10301BC4993FF72742054C60E990BCD6F6EF5D0BF
SHA-2560BE08DB61E144ACA1E1473AD71F1DEF42E0F28E2DFFA9CDCA680467B29F699D2
SSDEEP1536:ZTlEWooI44bkI8pl9+i1vYLI5lS0JmIjf6D1SlJGAHQVSEQx8wt/jo8Zls6NEVIR:FlE7N38n9/eqS8mI4SlJLp
TLSHT1BC14AC79EF1DD203F921163288F72781B360FCC796659B5F2A0D13626A6B4B50C738DA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Name.hi
FileSize39075
MD5BD51F8B38981CFF8B6309BFDF9A796A1
SHA-104DEAE9E943E267B325402A5722DA4CC09BC5335
SHA-256EDCB2F0FBC735212E6466268DE77C8793B0E7B1807484D6F9A54E5BA4B0FA3F1
SSDEEP384:Zc2tgvLRB9/jA3LFR5lwA9Sh84E72f7bltywTJbTjkOo6uZ1NGEQcy1T1T1V1yJA:Zc2tgv9/+z932HlFDXoBufvPfcXJDQGS
TLSHT15F032012EF99D717E93D873580B62701F720FDC29723C76BDA8B51A53C235A42CA25CA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Serialise.hi
FileSize295735
MD524325823A07D2D0A44B1FEDDD4B6832C
SHA-1076D169792039949A4882F51B46E7D02313515F2
SHA-256B3C921EA2F70E32A78A7F3426B0F63E047BBBA758C9BAEE2B18595CE7C9D8EBE
SSDEEP1536:ZWhUoHKi9hCC3oUHUZzwQwr7vu/6lF+Faq9D37Z0lMA8CNJZULQHIS8gqdhsjA9V:0hmlwm/1FvDcuhZrUIvbT
TLSHT117548879EF199303E4686ABA89B72640F324ECC32A72C7D7754E53676E130B01D725CA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars.hi
FileSize79885
MD59BDF350022216EF2C76CCE4D8C810109
SHA-1090EB823D877177860E2C20D800F0C6F89C73E97
SHA-256F0B2F5C6F6DA842B9138C164DAE7796A35F2FB64DFB5D74D314FD70AC7D14BD1
SSDEEP1536:Z64MNAcRzM+gwtM5rqh/uyhSEWNi+/xo/IOfIf5vjDCUMkmU2:NeaECi+/xo/I5CUMk0
TLSHT1AA736379EF08D713EC201A72C8F75B007360ECE2A656DB9765CD62626D0B6F11CB60DA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Context.hi
FileSize72830
MD581757508FE1E964C4BAA680ED4AF2370
SHA-109786411D98C5CD3507B04AD231846D5D89B555C
SHA-2567EDB1B9CD9D4A877B0401387F998B42DF85E259E604C8A919797DBDD08821A16
SSDEEP1536:Z1hWesQK4ZlupLAB/MfZvfXma6kWCGYsKqCn42Xwui0nmSzAS0Jd:7c9QZZeAB/Mp0
TLSHT168633F74EF14E707EC112A7258F69B087710E8C62236DBA71A0F3A627D978F12CB64D5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Typecheck.hi
FileSize37423
MD5F3FC504EB58E724B0603A9A66E0B045B
SHA-109D82F444864DE2B7C43CE3A796C2360AFCD8B6E
SHA-2564BBAB3805F6E5F110FF1FFF6C9CCD18944D0D0E0BF4BA89AB0FAC8A27EB4A0AC
SSDEEP384:ZxcagN8tvBpTiO+S4X4CCyXBdXVBdXQOBdXjMiYQzrJc101EETx8Ed2HOGolEK4M:ZnttppTWVQm4VFjYABQUBCLL
TLSHT122F2886AEF27F716D92469774872DB80B721E9DA1AF2CB73644B16102D234F01CB68CD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Auto.hi
FileSize18661
MD5A7BA86317C49F4F1E0FF396C9C95E2EC
SHA-109E13B21856E14BB32B9ADF02E2247428D4C1DEC
SHA-256D92E21BB5A68B0F2FB4A2B8846D1E98207FF13FC9A54FB5B3F31D636378DAD1E
SSDEEP192:Z54wsjNyhOfxaV84zzD2VXu5lIUf+C0gN5ZIk/1InyuFqengJ/ARnxrtTjS0nTmw:ZywsjNovVRzD2Ve5ucZI0wMf6JBwwN
TLSHT1FC8282A56B080675FF720A3B6CFDCB041BA06A229287DBDF11D5D1B3158DCAE1CA3674
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Pretty.hi
FileSize76040
MD5CAE2FE5A037F9FE7E9A2DF65A11CC25F
SHA-10CA7ECDCF0EC23379F1FB18D361745E7CA2C8FB1
SHA-256CD5714A5D10A5407BDAB788836F69A62932D7B43AEBA0C8F807449E9A5931A80
SSDEEP768:ZSC6C39LJHW53exMAIsa9idAjIiQwXcQHH+smLgUXof8IguCV19BrIjfdior3TcO:ZS69Ve0uidAjywmHIjfdiW4RzwptkrGn
TLSHT115732F35FF29A222E9911B7748F3A700B320EDC34667D78B544E92267A536F21C378D6





metalookup is a service from miwakeru.com