Result for 0CEF79A63FB2CDD5279372494A419CAD9E2ADC10

Search result
Graph view
Children (714)

Query result

Key Value
FileSize19833288
MD5060EF3F4C37F397425B2371987C0F3E6
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+b1
SHA-10CEF79A63FB2CDD5279372494A419CAD9E2ADC10
SHA-256EEB6D4D688075647DCE35B59FD90DF01B22E048E86B9998E2338DBE3BBCE735F
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/Termination/SparseMatrix.dyn_hi
FileSize106148
MD5D4D83E6FFD2638B3975EA43B7A9AEBAA
SHA-10035A19F1D00C5CBEBD0D28A5FBFAAB6FA74916B
SHA-2564CD0104F55769A255A5D455A20CA14D1F31D09985718C2A5C470D8A4CDFC9ED2
SSDEEP1536:7l2ym0WXDB9Xj0DK7ihhzVcCNTt6sc9h0ei72GelCB1:AX7KTMsc9h0ei72G3
TLSHT122A33951FFD9C203EA180A7485F607096F35D982A6C7EA472118A1FDEC736C43F96B98
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Rules/Data.hi
FileSize88930
MD57DFF375B16BA7337C092E4E142196AD5
SHA-101775BDF08A7FA907F2F7F9AAFA2D3421DD084F7
SHA-256854F6C0E715596FD2D0FD42AFB9385406715BCE5D353AC56C68E63798FAC97B2
SSDEEP1536:Tei+jHp3kcVQFYJcBGKF/t4tz+2lB2nd31bAAMR4MEEYXv:6iejVQfBGK/t482X+
TLSHT100930F11EF485613DD340F758CF60319B764ECC16642EBAB2185317DDCFBAE42EA26A8
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/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Auto/NarrowingSearch.hi
FileSize115935
MD559BEB7421889F23071A24C43E72334E2
SHA-1019652D8EB9D0DFCDB8702EBCD163AB0416C5E53
SHA-25664E4F433C9AD8CD913B4705AD24ED421AA165B5FBD2B4B4E79A3AFE52F6E0A8E
SSDEEP768:kdN3kIrX/GS6eqHTfWJVzLUPOCtGbksv8Uc8POSc8YhJqhejUzuAYbWWB:kdkWJd6OCfshfW
TLSHT102B34A26EF8A9227D66805B5C5B513557B38CC81B986BF832160727CEC736C07F91BE8
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/Parser/ReadP.hi
FileSize60764
MD5064DB202C6026F38EF2D2BAA69BFB903
SHA-102DDFFE8371A459FBCDEDE7470F2E8C5F8546A44
SHA-2561CB0EE972639E6B8A9924FC85397C4669F1ED87F9702317F13E03DB965067741
SSDEEP384:OvouG91s3KYNO6QIUxXgElM3Gx0+mEaajlG7ryhDaweDZcN:DsaZVFUnE1jTaweDZU
TLSHT13F535E22DE8AA242DA1412B1977B934D3F64DC81BE9D7E17203471FCFC776802F85A99
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Parser.hi
FileSize57811
MD5B299F11994E0925F740FB14420E4BC85
SHA-1040ACAE3B10EF09490A20099A19FF0282B58E593
SHA-2565329B92A79B9182D538186116274B29E369CCD333EE036A3F36941B0F33AC7FB
SSDEEP768:LVAqf05YjjpgHShGcKsIkjRvlXWYGy62jSW19IAUP:gShnD62BIAUP
TLSHT12E439B22FF494513CA1818B5CAF463187B39CDC0BA55BB472248627DEDB36983FE29D4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Utils/Monoid.hi
FileSize10732
MD5E6797DE37C65EFF85543764D8AB20808
SHA-105B2DA8E1A3FE9EA09305C8B48F0D3318F27E241
SHA-2569C67EB007EF9FA531AD0A538F35FF72F036BAFCCDAF8D84041E78B9B46C63649
SSDEEP192:d09j62zZgCBR27cp8g/bbkZo3peIk+X5w7Idz4IniKFwcIxHg:d09j62VHCY82bj3pFkQ5w76z4IniKFwo
TLSHT1EE22AB06EE9CE617D62807B58CF213057F38E4CA92179F57214C32759C672AC2FA7978
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Utils/Parser/MemoisedCPS.dyn_hi
FileSize92833
MD524223749C7C4153E8FA9EA54CFCBF1B3
SHA-105CF43C51379876C772F9F904DA6C9BC4DCDC156
SHA-256FB22FB9EE87738742F1EF3C4261199E6F9C50EF327CBA4A4C41FCB6FEE3EC53E
SSDEEP768:UM7Cd3oHJqjnbb9PwMq75barQa8j4fMP8ZPLs0KafLD8eP5jvbirIGsX5kHmm68n:UM2zHpfyEmATVx5pmbvxuW1Ai
TLSHT16093E431DF8BC602EA6481B1D9B903487B24DCC1BB8D7E432169A17CEC736917F55BA8





metalookup is a service from miwakeru.com