Result for BEC70BF60400D8C23F0409BADCF0402D5DB69D14

Search result
Graph view
Children (714)

Query result

Key Value
FileSize19809632
MD5B9CB3B3CB67AE84927422AA9765FC6B0
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.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.6.0.1-1+b2
SHA-1BEC70BF60400D8C23F0409BADCF0402D5DB69D14
SHA-256C60FA568EFB6A0658EB5312AC9E0C53C5E5A4134B81085CCD5ED66F503E23B36
hashlookup:children-total714
hashlookup:trust50

Network graph view

Children (Total: 714)

The searched file hash includes 714 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.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Unquote.dyn_hi
FileSize123834
MD5C0002CA08BE30C7A290C9ADF5E8D8AFB
SHA-1004D8E2DAD5CED16F2F0359035BFD2A1617B7658
SHA-256BDD22A55E1302805A270612708D9C7E631DBA8131CF948066C201C606D12F061
SSDEEP1536:w4z64ZJM2z3D/G8TmjHZQ4BPcsOFGwwcuE+FRswSUBXTTzo2pZlt4t52lB2mSDG:wmDGEmLZ9ZBZlt432z
TLSHT15EC35111EE485213D8384FB5CCF6A314773CD9D1A252A7671240363DC8BB7E86FB66A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Utils/AssocList.dyn_hi
FileSize9645
MD5D85A606EDD2B2FBF7A8904D71D5ABD89
SHA-1005549F05901E2B410B53C34C45ACF69C71E7C1F
SHA-256AB56881A7B0804BE8912FBA0DE94A846A141A4DF35D10268E2564DE4BBCF0D6D
SSDEEP192:Hq1WO5rM+BrtU0CJV8Vdyn0WCDqH1rJWOe+D1:Hqqox6JS+D1
TLSHT1991218D7DB96C23FD7288A70656647042F35F841A6C6AF4F202C717CAC7B6843F16A89
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdai
FileSize21151
MD50C1004891E4D5B7A1F65DE9E4AB063DA
SHA-1017DDCB662A1937D1B56255C6B97859B9A87D8C6
SHA-2568C6C1A99D8852C0C04DC8B1D3489CB97A849E2778FE67544A8E0A9598FCD6C9E
SSDEEP384:yu9fOlLaNsmJbEF597nyWLDsEJ/SqRb7zBKghjhPf3j4W5Bl1NNYKgXN0XMT4+2D:nfOlLQsmaF5tDLDTJqSn9pNzfPNNU90R
TLSHT15392D1D43037955DE89909DB90219DF0B7E4B3BE93C32A9145CCF03E38A31028E57AA9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_hi
FileSize17458
MD5D6E78BCDA42DEC024352E352FAEBD5C9
SHA-101E1924835A8F25EFE1E9116BA1451968FA8E6E6
SHA-2565E5CC280BFF8989E6E8191DDBDD50C54AE8AAE324B7148D06172BD093BA01019
SSDEEP384:je0SPc4E+P/Ct4LM2VylT2EAS3G191qwyunj:vSPzKt4Y2klT2ZSW138uj
TLSHT1E2729764AB0C0925FBA40D7B4CFE87016F60AA138583DEDF01C2D1AB499FDDE1D62A75
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Internal/Pattern.hi
FileSize77635
MD5B6DCC4C41947146211ABB3EFA2D94AED
SHA-1020D5FE5CC665C5CFECE5EAE1F11604310B51137
SHA-256CC8FB0CAF94182D406F8376CA7516D14C4403CE86CA705496ECA3566A9C81EE0
SSDEEP768:Kaq4b+5BsRCwZbAQQRAcmYsqrEoJ/IdRgPAfAlg72qnp12jSW1MUoNBp8Ew8bA:FZ7Ud0dRgmN7712P
TLSHT1C9738B25EF898602DA1905B5C6B913086F20D8D2EE5ABF477024B2BDEC736E43F51ED4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Monad/Context.dyn_hi
FileSize136757
MD57AEF223F9AF1F863CDA0AEF70AB6F5B1
SHA-10232B9A390750E2B3DF389B1FB34B234B7671E64
SHA-256A2D41FA778C828F17EAA5839A38710FD473ABD84DBEA50D3BDAD78D5013C7523
SSDEEP1536:QeLBwrcna0Kr6Oa13BOBoDRBD+Q1Lp+A2gB29NKT:QeLBwrDK13BOBoFBDJ1LpB2Jo
TLSHT16AD3A017FF8A5242DA280DB585B6130DBB30D8D1AA06AB371919757DE8F35D43F23AC8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Interaction/Highlighting/HTML.hi
FileSize58198
MD5FA82B7C1FC71B8265F0CDEB4B0EE4D17
SHA-1025F4AE609F555736332493AAB963081363F470C
SHA-256BF8044A2D9595CBD3195A47448CF1ED4E1FA924B390DB222E5174E5D461B0EA2
SSDEEP768:Z9cj780hA83FL9orW/uXFeqW7rhSGgJPt4td2fS52RSW1o9:Z9cn7GTWit4td2f220
TLSHT1F943ED66EF999513C9780A7189F803207B34DD40668BBB9721C5317DCCBB7D42F26AE8
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agdai
FileSize13214
MD52F8DED650EA7E054B2CB6011EC8D52DA
SHA-102B4D116714191B4245BD2724C9E755CCA5ACBED
SHA-2566361FFC5DB0D1CF103FB0739C49CD1EC2B9DAC78D26CD778DCFA464A4B25FC54
SSDEEP384:VCBH6SdFfMPiStpzYzG2MFa9r95EYXPin:eaSXfZkJFa9J6QPU
TLSHT17052D169C2B246A4FB9A5B39EAC761F2C0F50F09CF54FC2259492CE50E2A35262C117F
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Abstract/Pretty.dyn_hi
FileSize17865
MD57D3CEF6CBFEBCB97F775430D02DEDB9F
SHA-102B6BF15166EA9A9594A80FB2F16251C04E9803F
SHA-256A3BAC83396DDB7D37B613D45D9DCE34422BEE5DBCDFF9F7D4D01A4912B667B9E
SSDEEP384:40t+dIx4VZDbEvZMhfsETki9iM2BylT2EaS3G1+Eb:ENBSeN3n2glT2jSW1+w
TLSHT1E8825369AF044612F9540D378CFE43042F61E981D183EBDB1149E1BA5DDF9CD2F92AE8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Utils/Bag.hi
FileSize40408
MD5730B1398F83BA3F703C60C58BF47D909
SHA-102C4E0816FA61728C5C97CFC652560F42341B26C
SHA-256611F54919EBD1C54CDD6701775C74868F1710EE9DED64BC889495A4015A2A373
SSDEEP768:EaMQNP2d2lOreZ1yVoDqW/SETHkgz2DqWg:aq4GSR8
TLSHT193031416DF59C203E6240AB691F90F147F29F881668ABF971428657CFC336E53F92D88





metalookup is a service from miwakeru.com