Result for E4868389C5CC6542132290B36084B28A7694D876

Search result
Graph view
Children (15)

Query result

Key Value
FileSize42304
MD534256423E47875914BC429E61BBCE7E9
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNameelpa-agda2-mode
PackageSectioneditors
PackageVersion2.6.1-1build1
SHA-1E4868389C5CC6542132290B36084B28A7694D876
SHA-2560C3F5B07A6ADF7F165322D0C6283D950AF689ACD344496E205251E90EFF29DB5
hashlookup:children-total15
hashlookup:trust50

Network graph view

Children (Total: 15)

The searched file hash includes 15 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.1/agda-input.el
FileSize38309
MD5678A8AB81414060A5D2461E9954AFDCF
SHA-1E2A554907D7CB703CAA23E295C43469EFBB8C9C9
SHA-25691786780E03B419F116BDB9F3FCB5B294157CE4D29FF8A25DD9B4D6ECB305004
SSDEEP768:xqHFyJu+JeK4EB0ZWCfgolFJBQJaJyhyntmj:4HFyr/tB0ZWCoKJBQQ7M
TLSHT18403C82248996DE6A3533E9B06CFA705B339874D96734D98BD8FC0DACB4B02543B5E13
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.1/agda2-mode.el
FileSize80444
MD5AD260878EF3A9CA6672953E17EDA1DBD
SHA-16D35FCA5AAB2B5CE5E2840AD5C5D5C34D7D95E04
SHA-256B69253261FE09841660BDAE695008FD55FBA5F9AD1DA7451DC017A6266D7FE00
SSDEEP1536:61qJDvh+oQmlE4vEdGDMhPRjt42Zk8kzIRbtYarEJyxC5u4WVJQPWSj:pIdGYrjt42Zk88IRbtYarEJyxC5u4WVA
TLSHT1FC73C512EEB6CA7127430063965FE74A9F20D0DFD6205A553A9E85089F42E74C3E3F9E
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/eri.el
FileSize6941
MD5D865B0F353E61814FB06678F5466AF49
SHA-1E21C78B1B129AABC1414671B62008AF049A0CFEE
SHA-256F2B9010D316FB1C477EEB7174EA98E4F6932075E711480D86B04E06B487F3B70
SSDEEP192:PpSqEoatFHOTxZ2297Rd7QdJ6VxF283xSRRJI9Ag:PpSqEoaDuTxZ22bdEdJmxF7ERJI2g
TLSHT154E134D16A628A61C7130AAB3B775055FBB3507F6C905120F5CE53080F459B6CB7EDA8
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/lib/emacsen-common/packages/install/elpa-agda2-mode
FileSize138
MD582CFCB3EA73D6728AE5C3DD8FD811D4E
SHA-177CA3E8E1ACFD39113D96E6DC1BF706DB87C008C
SHA-2568639CA4CDA2DBCBD070A8D0A12112F66B5A8AEBA68E90B6CBF64B31999FA5A13
SSDEEP3:TKH4vSMqJKIWPsOmTRPCgEBeBiUUuKNsrKDJLmrBhg3Kn:hKhWPHgEBRUwTVarBhg6
TLSHT138C02B41A7FF57B13E443EF11027842840404140130B782461423001D0825C3114390F
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.1/agda2-highlight.el
FileSize24092
MD5EB6F027729C8AFF341A44099CBB0381D
SHA-1413C2C7BC153EB6D67AD27A332226406965DB785
SHA-256DE42C6CC213D72525B47869BEFC83F5B82AA3628B00813F54B4B27DD819519AA
SSDEEP192:e5bMN0znJfnb3pwUeXwkY5yGa6KE/jRgLVSPHdfrzhVg6u+QpXA4UwAlwtUe/Hnx:KbMiDJLGbrEh7KSCPAliHnV7g8hr
TLSHT12AB2C813DAB58819FA674467D09AD328CF08AEDFF00407AC726E81A9FF4997453A3D4D
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/doc/libghc-agda-doc/copyright
FileSize3394
MD58B89259FB7BD8A14F57D63B47F0C3E90
SHA-1B41E5BD2E9351E47EF21AAA975C8D2D527CBE7E0
SHA-256A619A060E5F893CD4D0E780F65C70FFD0F01427DBBFB9707A40362F82444B684
SSDEEP96:MhM5RZ5uvQHoEoc9JQJzabKf3+T3zhINTd:M2AQHPHTUubQ3+T3Ved
TLSHT1DD61D74B23040B9321D627E1655AEDC8B10BE12EBA23AF05786DF289173B92DD4F7454
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/agda2.el
FileSize558
MD5E16A14799A807A457B142F0A148801AF
SHA-16918B6118C511F186FD2CEEA25703F7EE1EFF830
SHA-25646EFF530B34791E040B5A2A50177A1CB7412A4CECE445819AF9C8D3100ABB690
SSDEEP12:3KZ9xXbmidUYQO5JFqUiGFY5t5ClLjhqhr5ClBD:uBldUsSUiGy5t5Cl3hqp5ClBD
TLSHT1BEF0976BFDF9D92868426702D769C72C062DF8EFC98D781866022308F1C2A98C3D149F
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/lib/emacsen-common/packages/remove/elpa-agda2-mode
FileSize136
MD5AE49346B386F91AD2DC0F8D0F8662C2A
SHA-197D1FE0C523F4471D391AAA6BCCF7DB6D72CDFAC
SHA-256A0B15279B863CDD5B62443584657ADB33354FC49A31691BD584F731334057CD1
SSDEEP3:TKH4vSMqJKIWPsOmTRPBIKMaSiUUuKNsrdIAQ9Bhg3Kn:hKhWPc3jUwB99Bhg6
TLSHT1A9C09B8565EF5E9159D53DF53057443841444594D74F7964A5016151F0815D2164294F
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/annotation.el
FileSize11860
MD5E5B8C1D2CA20EC6D4A5866B428BDDC8D
SHA-129498F14DCE19D9DA0D9C3498FA63438D34D18D0
SHA-256E8233C132B9115A15BF87BA3EA0CD191355149FFF73234EDE4D8383967D88C4D
SSDEEP192:eamNLqO0c27LKuO4Y9rWXUExLHnEIPbS/20Rch56lLXVXvRYTANVtt:YLqlcsLKuE9rWXUERkwS/HRe56lLl/R3
TLSHT18932629AB780067A9FDF16A3B52E6186CF7474EE61608308305FC1142F56273A3EBD97
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.1/agda2-mode-autoloads.el
FileSize2972
MD5FABFA791357D0918C404F2ABF3427055
SHA-1AD7CC722FF4B4DFDF6381430DC93C9B86AFDD1F6
SHA-2564753A800A02B6ECCA213DCFE07BCE243B421BC399702C9CD0F13E0CDE8AC6316
SSDEEP48:K5i66ZDsX8T8c3+n/X8T85B+/7X8T80J+MX8T8Q+ex0Paw5ARLvUZjJyRUmtCPHq:vFi8T8X8T85I8T8U8T8IkAJaJvmtCPSB
TLSHT1EF51BA7DEA3BC0239A5220FDD6DC900D442EE8CFF9225925FA0E0249E947F4C42D6E1B
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/agda2-queue.el
FileSize1447
MD594264543320FE007670E8789CAC10F78
SHA-17917FFA1B4D8761A8CA26A906AF724274F1CBAB4
SHA-2566C6900F8FD7856DF90F5CA9B1BC42AF81C7925B892DC5A621947894F56184845
SSDEEP24:A91WGAq+kHZOihriITHsXKvn1zlWGAsjhJzv+MRZgg6s6:ww5kHgioAKnEJaMRaV
TLSHT1D4318961CCBE8AA00267029314CBC140EB99D0ABB5756810F9EDF45467C6FD097F6EEE
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/agda2-abbrevs.el
FileSize2623
MD594610C601CB939C369C2E84D88F22E50
SHA-147E6DA23D77EA814D79D2F4C920B561EC4D03BC8
SHA-25608E0FA9651600BC47B8E02DE76EB0AE1246BA4049E536E8AB6644ADE50DF8058
SSDEEP48:zGPPGBme3L7CBxYPzroIbWLVtTmS2JvOzYYoQbQGU7RwC3jfHXm4:zGz8LWBZm7JvOfQ5zJ
TLSHT1D2516F10EE3ADB859E070050D44FD3129A6D9BE78E99289C398E9794B70CC5DC3D4B8F
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.1/agda2-mode-pkg.el
FileSize128
MD511AC5489878614294DC66980E4222ACE
SHA-11BE47AD278EB0D0520916CA1D8A9AB9F36FD133C
SHA-256C2A4C8C4C40F874B2EDADE2ECFB11F21104E9310A7806CBF59E42DE52D3A4252
SSDEEP3:AGWgHE3ki9QPyBGSEucrAwNrcoIFVJRIMqELTriMv:AGWgk0iyqkhuOLGJINELTeMv
TLSHT1DBB02B10C892BFE0B04D0100A087146114BFE8B312C80CC01D84000CC893F800CCDB43
Key Value
CRC327E4ACD12
FileName./usr/lib/emacsen-common/packages/compat/elpa-key-chord
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
FileSize1088
MD529F75F5383A1A6A8BFF10620F004BA7E
SHA-106F5F8DF2D3D20FE337B9CAFDC59522810752A1D
SHA-2568D7863E1F502C15DC6750946A95C0820708DA6A5C8A88A590800EE3F3D735E70
SSDEEP24:XXDlfjmo30WYn19ArPW1bYO3cPvK20VWMXz2xOwn:XXDlfAWY19a3qCKbzUn
TLSHT12911B9A8089005ACC416D7F4580DBE9D63266DFA4E534B2D34899CC2150483849F6662





metalookup is a service from miwakeru.com