Result for 26F5D065494E67791F4470427937C1B34DBFFE89

Search result
Graph view
Children (15)

Query result

Key Value
FileSize40852
MD53F490A99AB3402920ECFC0F902255D82
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.5.3-3build1
SHA-126F5D065494E67791F4470427937C1B34DBFFE89
SHA-2560A529F8576860EC9BCFA0624F4D557F45ED4326ADA3AE5864ACCE235E259635C
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/lib/emacsen-common/packages/install/elpa-agda2-mode
FileSize1357
MD56A269403BEFC235DF62E95FB4BE1A626
SHA-184DD06A7517F5102D709B3C02F8E0F3DE1EAC7A3
SHA-256A0C3207B5EB0E064FE934333F47EFE87258A3E20AD2E994D56377810E348C72B
SSDEEP24:DVC3avhx0jPohx7SQVjKXAK7AvQt1BXFpNIy445ur0AzCHERDbtLTDWzX:DUKvDGoDOQIJtXXD7Yr9zCwhnDWj
TLSHT1792153AA9AD4F03E254D577A43037097E35185D71A2A1C5CF1CE614C9F4906041FF266
Key Value
FileName./usr/lib/emacsen-common/packages/remove/elpa-agda2-mode
FileSize823
MD5A5B6A39FE60C25C787D05C68C9AE5B87
SHA-1E1A570F474199FF0C67235A70ADB0A665A14E10B
SHA-2568B431250AEAF853847586D39BE51E9E067ABC0E629E864B1FE902A1B3525D5F4
SSDEEP24:DcEtAUWvhxJPo4xlQZ4jKBZk/Ix69dyG5zyzhyzwI:DcE4vDxo2lQZFBZkCStI8sI
TLSHT1A4018EC28CC6AD3514ACD66A73137079E64702878B0A6C1CF29FA1685F0CDD4D4F859E
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/share/doc/elpa-agda2-mode/changelog.Debian.gz
FileSize919
MD5E728BB75CA476D89422A60B4D9662804
SHA-1ED172CB5B29B5216F0DB4D372CBD8A4CA9113771
SHA-2562DA7E29CB3915522798441E8E82813BB3CFBF467F8A6834F4B20CBAB5C713D3E
SSDEEP24:X9BA6WMp6VjEhWNla65Ozx/IJ1E/9w0veH3U59:X9XWM2jE8a69rE/9nGH3G
TLSHT1C611B7DCE2C8C739FF34796A3A75D27C2C6E954CA5E8642112448EEB4342DBB5160126
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/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.3/annotation.el
FileSize10016
MD56C8D6A49A3290854EEE0C3F80B73A335
SHA-1AF1313E772D878C6E503D23ABF63E8784B9CED7E
SHA-256EB5A82ADC231791E9AAEFD5A6B6D7C1DD6947FA1B9370B3C0C6BBD8C732C7250
SSDEEP192:NamNLqO0cB2O4YMKLXUExLHn9hOpS/50Rsh56vBarqYTAThPP:xLqlcB2EFLXUERdkS/CRO56vorqYT0hH
TLSHT1A222738BB78002B65F9F17A3766E6186CA7470EEA0608318315FD1042F56133A7EBDDB
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.3/agda2-mode.el
FileSize83027
MD5CA3B3005447E0E45FF131E913A484CD6
SHA-18B8DAAF3644C3C2ED0545F89436233D17E7357A2
SHA-2568F1BFCDC08483FC1D7EFAA75EF55F25811F7318FBB7F08A8FD8520C9382DABCD
SSDEEP1536:bq1qJDvh+oSmlE4vmGYxuPNAL42Zh4mUYsFMICtfarEWKBihuIdkVJQOLSj:1kGOOy42Zh4mUYsFMICtfarEWKBihuI1
TLSHT10283B522EFB68A7127430063965FE74A9F20D0DFE5205A54369E85089F42E75C3E3F9E
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/doc/libghc-agda-doc/copyright
FileSize3404
MD5B2681C4852FA53596AFD3C00FB298C23
SHA-1FBF6C9345023AE9E2D8827B4F9BAE587E196A763
SHA-2562CF51BE6CDFA703ED58B42FCE3EEB34A3897F91B07BF2B90D8D1600FE4F8DF9E
SSDEEP96:JuM5RZ5uvQHoEoc9JQJzabKf3+T3zhINTd:JTAQHPHTUubQ3+T3Ved
TLSHT1D761F94B23040BA321D61BE16466DDC4B10FE16E7A23AF05786DF289573B92DD4F7454
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.3/agda2-mode-pkg.el
FileSize128
MD544290EB6446F255848FAB77C0E43939B
SHA-1FC5280E19D0CF2EA7F14354B08BB4B6FEEB04053
SHA-2565C696F3AA3664AB3195DB2868B60DC8EC7112DDB38BF8300F351700A0411E27D
SSDEEP3:AGWgHE3ki9FHHHKBGSEucrAwNrcoIFVJRIMqELTriMv:AGWgk0iHHKkhuOLGJINELTeMv
TLSHT125B02B60C892BFE0B0490100A0C7146114BFE9B312880CC01D84000CD4A3F8008CDB03
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.5.3/agda-input.el
FileSize37011
MD5440FC8138C9B04F1EF53832AC36732F0
SHA-196D24676CC9BF5C16CBAB998045E7179AFCF9C3E
SHA-256C41360807831AD150E97A383C087A05F50F353FDB82542EE89680F56966A19D1
SSDEEP768:xqHFyJu+JeLqEB0ZWafaq3FJBQJaJyhyntmj:4HFyrULB0ZWaiiJBQQ7M
TLSHT121F2B82244996DE2A7533E9B06CFA744B339874D96734D98BD8FC0DACB4B02543B5E13
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.3/agda2-highlight.el
FileSize19761
MD5536FA960ADD59BCFEEC64B711CCA38C3
SHA-13BCD85C6F1DAA3FFC64015A7EF2697502DE62D12
SHA-256DE173BB21E58056B0F2BC7298880F1AB44B7691DF30D7532035BDA358CAF0F76
SSDEEP192:e5b3N06nJf4fWwUawC/fff91pSndfZ2csc3z6k7ZlhC0wnn/Ym2nG:Kb3iUJcWtlmn/WG
TLSHT13C929713CF759425FA630597D09AD328CF05BECBF41152A872AE8159FF8AA2453E3D0E
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.3/agda2-mode-autoloads.el
FileSize1347
MD5D790277D65EEA8ECD38B79E2C797938F
SHA-10D91978322B19EC1AB57E44FFAC4E5D5B7BF7467
SHA-25627D1FD6AC8E0C7C62737E440EB3D3F573B1F9D6BE7D6FD5AD9D6C65091A55B24
SSDEEP24:K5dnm6Cd2im0gVxcHvw5t5Cl3hgp5ClBpUi2jJyRAJYLth8P2Yyh+himLW1KxlC3:K546CQx0gjEw5ARLvUZjJyRUmtCPHyh/
TLSHT17A212057E2BBC8201A5333BD93689118485EF5DFAAF52C0C79192149F01BDE803D6B5B
Key Value
CRC327E4ACD12
FileName./usr/lib/emacsen-common/packages/compat/elpa-fsm
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





metalookup is a service from miwakeru.com