Result for 997F29394E13F6D062C319DDEEB2074A9BBF54D8

Search result
Graph view
Children (17)

Query result

Key Value
FileSize50944
MD5BD179CF14CDA2901CE9AED789B376D7B
PackageDescriptiondependently typed functional programming language — emacs mode 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 contains the emacs interactive development mode for Agda. This mode is the preferred way to write Agda code, and offers features such as iterative development, refinement, case analysis and so on.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNameelpa-agda2-mode
PackageSectioneditors
PackageVersion2.6.2.2-1.1
SHA-1997F29394E13F6D062C319DDEEB2074A9BBF54D8
SHA-2562C2025905A45C8AF4BE594584430D76645AD3A42D82D873EF20B44F8B5A46AF4
hashlookup:children-total17
hashlookup:trust50

Network graph view

Children (Total: 17)

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

Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.2.2/agda-input.el
FileSize38823
MD5048A4E0C6E62AF518E40A8C9982C28E0
SHA-10328F45ECB417FE5DBE11B934283C14E462E14B5
SHA-25630BDC90F1C02FF613A240E495752FB45BA0374DC3F91BFBBB29273D5AC758A1D
SSDEEP768:rMkFyJu+JeY4EB0ZBefgogLP8BQJaJyhyntmj:okFyrptB0ZBeoZEBQQ7M
TLSHT18C03C82244996DE6A3533E9B06CFA745B339875D96734D98BC8FC0DACB4B02443B5E13
Key Value
CRC327E4ACD12
FileName./usr/lib/emacsen-common/packages/compat/elpa-zzz-to-char
FileSize2
KnownMaliciousmalshare.com
MD5897316929176464EBC9AD085F31E7284
OpSystemCode362
ProductCode13061
RDS:package_id304063
SHA-109D2AF8DD22201DD8D48E5DCFCAED281FF9422C7
SHA-2569A271F2A916B0B6EE6CECB2426F0B3206EF074578BE55D9BC94F6F3FE3AB86AA
SHA-512A546D1300F49037A465ECEC8BC1EBD07D57015A5FF1ABFA1C94DA9B30576933FB68E3898FF764D4DE6E6741DA822A7C93ADC6E845806A266A63AA14C8BB09EBB
SSDEEP3:F:F
SpecialCode
TLSH
dbnsrl_legacy
insert-timestamp1769425300.751522
mimetypetext/plain
nsrl-sha256rds241-sha256.zip
sourcesnap:dqPZebtfrpyiJmKr3UXGdH3CapuLeis9_3
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/doc/elpa-agda2-mode/changelog.Debian.gz
FileSize601
MD57E9718A69452A5D0CB1D6A9F8B2FF7A3
SHA-10F641F35F3F4F57F1B1E0A05976C4CE42CC13156
SHA-25659D080690F06E7FB2E0251D4C5526F7080A7D9F37BA913CB943161D4C113759D
SSDEEP12:XJ6Y3hf0zSsBYSj6eMtSzFYq8GbxYBP8EKiJ9Dr:XJRJMSsBX6vSzF9FjE/9r
TLSHT153F041CD16435FBBE7D5069F10271132EBC11C92E08A60BB10F051C8DEAA22794B3371
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.2.2/agda2-abbrevs.el
FileSize2663
MD5D5E842EE6C58D1063A0A2FEB8D01575E
SHA-12F4363328B197A18C2E80720114CB0938CB10574
SHA-25635E7C01D2E4CCEBDFA64FF20BAF20B0CD7AA8EEB6C04D20F4455D3382166F0F6
SSDEEP48:zGISPGBme3L7CBxYPzroIbWLVtTmS2JvOzYYoQbQGU7RwC3jfHXm4:zGB8LWBZm7JvOfQ5zJ
TLSHT19C516F10EE3ADB869E070050D44FD3129A6D9BE78E98288C358E9794B70C85D83D4B8F
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.2.2/agda2-mode.el
FileSize82214
MD531004122B87919036F526C37DFB15377
SHA-134497769895AA6B586920145E6F732364001E365
SHA-25696EA5B945AFF013A20D36FCCC01F234CA852181E22682169979BD4AE67C406AB
SSDEEP1536:71qJDvh+olmlE4v64GD8hPRjt42Ze8fpIIbtYasEJeVOCPu4WVJQ6uSj:Aj4GQrjt42Ze8BIIbtYasEJeVOCPu4Wf
TLSHT1AF83C512EEB6CA7127430063965FE74A9F20D0DFD6205A553A9E85089F42E74C3E3F9E
Key Value
FileName./usr/lib/emacsen-common/packages/remove/elpa-agda2-mode
FileSize138
MD5F7402FC767E5F7432396F8B918963CD8
SHA-146AF104EE73306621F3A5F76F472F9ECB145ABDE
SHA-2565B1DBB72BDE2E7B1B69BA8CA3FD395DE936B5AD1780EA1EFFD3B2CDECCAAE759
SSDEEP3:TKH4vSMqJKIWPsOmTRPBIKMaSiUUuKNsrdIAQ9Bhg33XVn:hKhWPc3jUwB99Bhgl
TLSHT169C09BC565EF5F915DD53DF93057443841444595D74F7964A5012161F0815D2164294F
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.2.2/agda2-queue.el
FileSize1487
MD5946E32054A65320294B95852382B7881
SHA-15017B9102261F55F17373203FDF9FC7C3E794883
SHA-2569D597EA72B589B33D6B4F4CC168706EBB024E13591A67B3C06E7B0E299705519
SSDEEP24:A9MO8KWGAq+kHZOihriITHsXKvn1zlWGAsjhJzv+MRZgg6s6:wTe5kHgioAKnEJaMRaV
TLSHT107319C61DCBD8AA00263028214CBC140EB99D0ABB5756810F9ECF44467D6FD097F5DEE
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.2.2/agda2-mode-autoloads.el
FileSize2688
MD50F6479773DC07568DF3DEBA51790D414
SHA-15DFEC50A24FB224D0069C8181069CB9D391B4851
SHA-2563732C8BD663492BDE6FAFE3D48E3AC934E8D5867A23C12B95E6AEE85CDEDEFF4
SSDEEP48:K5xe66ge8c7TQ8/nE8SPr8Cex07w5ARLvUZjJyRUmtCPHyh/8GaV8RgHW8SRI8g7:iege8F8s8g87hAJaJvmtCPShk/8d8v8M
TLSHT16551CBAEA63BC1169F2225FDC6DC9009445EEADFBA321D18F72E1249E647DCC03D5A07
Key Value
FileName./usr/share/doc/libghc-agda-doc/changelog.gz
FileSize1313
MD5BB08E24371D822026840FDEAC39F2210
SHA-178C6D4A8312A60B8D1E49DFF37AD7A62591DB220
SHA-2569A8176789EBCC76672B2339DA61C22152F81871C712F7047867860C2385038B9
SSDEEP24:X+ZFtrm1EzFce68tV9EV9OJg8LMY0olhDsWjs0p8QROp04vROfGG7Nf29u/H:XIFICFceNV9E6JXLZ0olhDsWo0POayO/
TLSHT15A21F8235A0870B4792E07322C93499B7298F82B792CFB050D0FA8A969C1DD86AD70C6
Key Value
FileName./usr/share/doc/libghc-agda-doc/buildinfo_all.gz
FileSize7149
MD5C7A0BCE7A396F34D388BF783B83A5E46
SHA-19C48810FD4356B23A9196BC3A6C6C6EA80FB5F5D
SHA-256F335D5DEF865D8BA5100907CAD2A8C2F0020A167808B89EFC760270545C025B2
SSDEEP192:fMIbYJ0Z3olaGmk/YFH+MjAefUl71n6lcg9chhsOfX:xYSYwFeMjDfQn62hhsOfX
TLSHT1CDE18E9A58A1F6A5F49C0887E6BBB193B8ED105C02D93592896F331545E04B3C2DA41D





metalookup is a service from miwakeru.com