Result for F0AB6C63CE50E560A187EA5B0B909BFA6724B122

Search result
Graph view
Children (647)

Query result

Key Value
FileSize20481972
MD52674505066CF6DEDF6C6CBD3A8D5BEF8
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.2-2build1
SHA-1F0AB6C63CE50E560A187EA5B0B909BFA6724B122
SHA-2563AEE08BC25BF4F4A7F8B9A50AEB16C07EE4ECA5378890191CA88BD76C12B81EF
hashlookup:children-total647
hashlookup:trust50

Network graph view

Children (Total: 647)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/Free.dyn_hi
FileSize54943
MD5607FEAFE3CF9095FA6FB8A5E1E501091
SHA-1002F1497323E0ECFF40C5DFD5515BD5AC2E5D049
SHA-2567D7AA2B899ADC7C37879164D52E8190A657017F6EE873E0D2C3595AC3AB92FF0
SSDEEP768:7qRCcE3ma4zUtw2c0w5mX2fSSQ6lFHOIg:GE3QzUtbc0w5jf/g
TLSHT1B933DA16FF45E215DC3907B1C8BA63897B34DAC42B278B6B41087031DCB36E91DA66DE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/Errors.hi
FileSize71884
MD58913BBF3265ECCF618C8EBB8676EEA58
SHA-10088F7CF7B5DFB6818900EE0D3352C2C62A18D14
SHA-256A9CF4E445B4CBC7E2D821DDE640AA067F86DDC7E2A2F7990913916F54721FF59
SSDEEP1536:zlbFCYc7acaFZxvUopAc51Cd8dt4r54f6dfRkSOkyvv:DCET1CCdt4r2j
TLSHT184636055AF04C72BEC280FB288FA8355B734EDC1134287A752887532DEF75E81E7256A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Termination/RecCheck.dyn_hi
FileSize19389
MD5EA6A37CEC3A2EE2BD72980D797C1B195
SHA-101898D647AE77B35A20A479774A6717E48AC88F3
SHA-256FD3E17312B8745BBC6216AF7EE5815212D8EE04823840E11C05DF7AA2ABFD2F1
SSDEEP384:2Stt8SHIe/lGzuSj0/7246Zmdp8PASAQL4dzbcf6fSois:2UtzjD4ZezbcfSS6
TLSHT1EF927668AF05C725E9550BB2CCFA4704BB389EC2EA53D79B0184F17219A98CD2E735B4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/MAlonzo/Primitives.hi
FileSize119362
MD5C5CEB4D830683F7ACEEE6A52FEBE51CC
SHA-101BCA7FECD76BA3AB5FAD580481C54A6E2679E11
SHA-256AE67C51BDC7F9010E22D8779D35E285BFC00AD44AE541BFB0A02765E0D233CC0
SSDEEP1536:LbISOwwWE/xFL0RrMR5WOgt44Te9fEJ6iD:LbIA/E/DYtMR5WOgt44T6iD
TLSHT11DC34725AF18D626CC281BF1C9B95309F33D9CC91A56536743067832EEF62F03EB2169
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/SyntacticEquality.hi
FileSize55500
MD5B5875B8DFE840FE87ADE6DF7A1699736
SHA-101D1D19C6145018EE56AA3EC1FE44CC08803422A
SHA-2564875C6BEBF33CC78E835909265E95AD67EAB8F618FD55543CE99AF8BA49322FF
SSDEEP768:Mnth0t7lEg6nzRq+t4rzbcfSSlBxIc0e/pBLYnl:20t7unE+t4rz4fbTPyl
TLSHT1EF43B954FF469915C86C0BF2CDFA1704BB38DAD11F17579B02187233A8E76C42EAA5E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Interaction/FindFile.hi
FileSize30155
MD5A27A97658DE0EA281438C6915A535F2C
SHA-101FE4CE5AEBC2E9E573EAAE2047F2219224EBD5F
SHA-256E22DBE8CB7658A2717A2F8D40DCF781D11EEA2B544ED36BE0E936C0F5D6A7552
SSDEEP768:l/tehn4yD9SklezhlVMzbcfSSUPKq/iz9FKh:Oz4fmkzKh
TLSHT17DD2306AAF04D925DD250FB68CBA5300BB34EDC152069B670189B632EDE74E92D721EC
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Interaction/Highlighting/HTML.hi
FileSize28684
MD5475E3811B121CFAE1814666EFC250D94
SHA-1027EEACB66881625C8BB280AB471005A5B5A4C9A
SHA-25698629E903011915050A55F79B114210B356541ACBDFEA1C8F15A209B62FD78E4
SSDEEP768:BtSxNKnlSRtE6DKlC3zbAfSSVm4I/E/11v:CLKsE6Wg3zEfDj
TLSHT169D27368AF08D226EC640F759CFA83047B34DEC29647D7970284B172C8EF4A51EB75E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Syntax/Concrete/Name.hi
FileSize53285
MD5DEC5CE3A1B33B7F5A0FB4848246BE203
SHA-10338757D8A811CF1A3E53963A7C2485585CB7687
SHA-256B5033F0363B63D4BCB721CED6FEDB5ABBA9AE824D186F36E2BA164722056B682
SSDEEP768:+WtFAG69YnGCZrELlKJ2Wexu8R0fq3mo4ifSSEPHAcXMfBezWA:CYnGfmWxoSfW
TLSHT10B331F57FF49E22BD83C0BB594B64341BB70E8C10B178B579109B934EC736C86EA62D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/Epic/Smashing.hi
FileSize19430
MD57223A8AF9251D31B3707468697F91AB2
SHA-103527F1664AA2DD229392157537A959E2836D789
SHA-256C8775DF593E8266D75347A2CA71077994A27BDD32AE74CACA6BD7CDFA0573FED
SSDEEP384:i5gbqmtrSGkEDEfSuacRhbut4r5bcf6fSoidMH4:FtTRcRgt4r5bcfSSfyY
TLSHT16292A8997F088525FA500F7B8CFA87007B60AA928653D7EB12C5E4B3489DCCD2DB3675
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Utils/Suffix.dyn_hi
FileSize10245
MD5A908B0BF1E4E468833AE2FB2B5485C69
SHA-103DDA3661F4294C609EEB095A7E246AF8783838A
SHA-256F1167A3D2F18B2C4A6444C6B4A48BAB2CF9A6DA3AEE84147B9D7C80CB22F54FD
SSDEEP192:4t2/YrExZSNZWXeI8XC/FJhMe8wAzvJOdcXDeYPwNoujlktHqYx8l:4t6YOSNueI8XkzCe8wAzccT5wNoLHqYW
TLSHT13822002A9F44F226C53E477688B7030EBF70ED825B538BA35288B131DC972C45E755AD





metalookup is a service from miwakeru.com