Result for 8DD671028192DA66B04B622672046FBE1963CACE

Search result
Graph view
Children (625)

Query result

Key Value
FileSize18490260
MD5A852F39925EF2D3953902B3ED3E47C22
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.3-5build3
SHA-18DD671028192DA66B04B622672046FBE1963CACE
SHA-256819B12FCBB69814557F481B5F87D5AF677448662A67E3E08EDFA097F8057EFE6
hashlookup:children-total625
hashlookup:trust50

Network graph view

Children (Total: 625)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/Level.hi
FileSize47308
MD59679266E78D28477967D42FCB3655FA1
SHA-100A74453C51775C638A626F1E96647769F428EE5
SHA-256D5F599221B54F782BBECF9E1824CDDB8AC14DDBAAAED612FB2F06B180EBA6159
SSDEEP768:zZSPN8DzHnNq7PPiWRnS03MNuwMt4QBd/W2PS71I/sQd5k0TZ+HUNaPQqNh6ZInM:z8eNIZt4QBxW2lEh6SM
TLSHT1A223DA27EF094103D8682C718CFA13647760D8C16987AB971049A17BDCFB7E52FA6AD8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Syntax/Translation/AbstractToConcrete.hi
FileSize168578
MD5E59AA4697DF0F3E40D6AA0333F710105
SHA-100E867F223BE680E9F8F6C3CEDCDC1FEE6F41E05
SHA-2563F1F7A44984FF6476D064A9FD6E25F3EF11C86F9F5498FC0C380B34090546F90
SSDEEP1536:rAIWGzWS6y6O7D1erbr7OvmgHWiTUUkBxW2gTW7ms+:l96O7Bo7OvmgHWiIUku
TLSHT1C7F39A22EF884303C93C6BB5C4F953557B24EDD1BA46BA5B2144717CADB36E42F2268C
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Syntax/Internal/Names.hi
FileSize44383
MD53A151C098F9822EB0BD8599C31CD2BC7
SHA-101770FE130A7A39BBA76CA2A42124E1A1B72A5D5
SHA-256185C36A6C9742DE7FDCAE026D1228B1F6C3955BCA52504AB6D5B982193EC3304
SSDEEP768:0JxK3/8r7AaA3/4yVmN7+Bd/W2lS71hZNBS17pd8MsLM:0HS2D1yM+BxW2iZxc
TLSHT1D4132024FF9D1A11C6340AB5DDB64344AF20D4C2E655AF87925CB17EBCE36C82E53AC8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/EtaContract.dyn_hi
FileSize18175
MD5F521F4CDFC564CAAF6FF16462E54B5BE
SHA-1019CCB917D74A393D7B939FF93CBCD330E0AD180
SHA-256C1E6DBB6EE509B7EF5B03C5B597762CA01A20F5314336B3B92ED6EDF293819FB
SSDEEP384:yOwp0PERSjPf/uMBd/W2EOSoA1wiRuDCJ2:yxK80nhBd/W2lS71wjDCJ2
TLSHT17782A459BF081622E6640D378CFE83006F6096929543DFEB11D1A1BBD8DEDCD3E52768
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/VersionCommit.dyn_hi
FileSize3787
MD560959478888C4307FE0DC096B5BB55BA
SHA-101E27EE49AA6C473ED5247B87BC3D6205B8B0B7E
SHA-2565350AB72EE8B9AE2F1FA89FE8D16E7C4E940BD0E649F28238FB0F8FDB373EABB
SSDEEP96:J49pSDhZWmewGP+DTzcukhQcCU/2P9SozLRwHE:J4zSD9GPYXs/v/2P9SouHE
TLSHT17471416DDE0CE13BD41C0A75CCF242017BB0EEE294A78FD6029992758947E6C3F91C2A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Compiler/Treeless/Subst.dyn_hi
FileSize50866
MD55D357D19124DD29AEC800D88BC8A23CB
SHA-101F889B550C3778DA4C7F8E4EE5357734CB68479
SHA-25631DD4127D8CF81B2CE30A09958C9281DD6714659EA318DE8AD8BA8C811EDFEE1
SSDEEP768:OBN0X6D0zGP3wDfL63F2cJw8oBd/W2bS71AnFJRhRQi+pMqR92D0m2IYHY:8qM0gEBxW2HKpA
TLSHT15533F056FF49A213E938067288B603007F30E892B517AF67211571BDDCB72E83F57A98
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/Monad/Constraints.dyn_hi
FileSize61375
MD56EA43CABB196C8F020246786B5C7680F
SHA-102BA333FD956CE0134DF1B20C93C0DC340C535DD
SHA-256146D55688820AEC6DDCB977754EBD458A3FF516535CE038DACA5902AF7300913
SSDEEP768:tX8cUyvU3hWgpGQg1hYuc08+Ae009wYOv+Bd/W2NS71f+fiYI0:tX3U3UgEQgbYuc08+Abf+BxW2uYf
TLSHT12953EE6AEF085913D9742E3AC8F613202B24DDC2658BBB931149723DCDF72D11F66AD8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Map.dyn_hi
FileSize13165
MD5378326CB9E27AA8C4F12C52AA27EC6F6
SHA-10383004FB469852EC2DC11F4BAB9AADC8DAD7740
SHA-2566259538203A87BD64D0C1ABC24A005A3B3F70E12C631D13E74C1A2E0837A292A
SSDEEP192:vjcnVQWPEWyjRfL9nTYX/1RAReG++PzZi1gmOWbSoyxQ4G9ch:ENPEdV9QTuzLngSoOG9k
TLSHT12242AB29DF59D317D6290676C1B94B447F20F881E58DAF8B2064727CAC336D23FA1E98
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Auto/Typecheck.hi
FileSize68067
MD5E0D120B96F88ED3B59DF74DB49407B7E
SHA-103B13CD618244393F2E6DED143B42A9D8BDAF01B
SHA-256CF3A24B10031AA149951A3921D9CCBC7FD4E771961B26FCD77CE1CCD14EA10BD
SSDEEP768:hCjz8QF8hjXLtGAryB7+2qynasgZ96SAh2NSP1P2U1jk+DUC:hCjzVFxMyg2SsFh2I2Ut8C
TLSHT1DD638762FF889A03CD3805B4C8B50315AB26D8C066BABB9F6144717CDDB33916F65ED8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Compiler/Treeless/Compare.hi
FileSize9180
MD5F36BD6EAB744D4B7CEAAAB7FD489D826
SHA-104608E014FE662BD8E48E15F29264D088312BEF6
SHA-2565B59E0821226C8619B13BE4731A033140BE0A6365DE589030DA4DA4A7106C5E8
SSDEEP192:iMVHZLQNochx+HIuYKADN9nggARnSqsrtqJ6WjS0nk/HudF/PRF1S3beIYa/oF2r:LV5sWMBd/W2E0SoA1o/
TLSHT1201284BC5A084A25FA440D7B0DFB87016DA02733E597DEFF06C6D6C30A99C9E2D91A35





metalookup is a service from miwakeru.com