Result for C41A3E16752F1B9FA3823ABDB3F48AFC9501A247

Search result
Graph view
Children (15)

Query result

Key Value
FileSize40880
MD5308F0FD94C8640EF4021BCC5E475A4FC
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-5build3
SHA-1C41A3E16752F1B9FA3823ABDB3F48AFC9501A247
SHA-256AA55B0669F7105B08D189E68D8725801B5AC02449ACC20DE4935C4C42A8E11D9
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/remove/elpa-agda2-mode
FileSize823
MD5A5B6A39FE60C25C787D05C68C9AE5B87
SHA-1E1A570F474199FF0C67235A70ADB0A665A14E10B
SHA-2568B431250AEAF853847586D39BE51E9E067ABC0E629E864B1FE902A1B3525D5F4
SSDEEP24:DcEtAUWvhxJPo4xlQZ4jKBZk/Ix69dyG5zyzhyzwI:DcE4vDxo2lQZFBZkCStI8sI
TLSHT1A4018EC28CC6AD3514ACD66A73137079E64702878B0A6C1CF29FA1685F0CDD4D4F859E
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/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-autoloads.el
FileSize1347
MD5EB2F0E45B537F8B1AAF49EF50136D689
SHA-1BAD36F6F5F537EE60B600703A4BD42E203BE07EC
SHA-25607520BA62BD42BD385DF45AB077EDA2112E1B8E443FB703E1C909FD9C42B98C2
SSDEEP24:K5dnm6Cd2im0g3Avw5t5Cl3hgp5ClBpUi2jJyRAJYLth8P2Yyh+himLW1KxlCVbX:K546CQx0g+w5ARLvUZjJyRUmtCPHyh/F
TLSHT17F212097E2BBC8201A6322BD93689128485EF5DFEAF56C0C79192145F01BDE803D1B5B
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/lib/emacsen-common/packages/install/elpa-agda2-mode
FileSize1336
MD5796992CA452F5EB9A18A8FFEB36E4874
SHA-14E56D0340C83771C04F0F6229AAC0451D06A1C2F
SHA-256CE8324475B0C88EE738362DA73E75BD6CD0AC816E1C2EAD06B6FCD3622A5B5D5
SSDEEP24:DVC3avhx0jPohx7SQVjKXAK7AvQtHBXFpNIy445ur0AzCHERDbtLrDWzX:DUKvDGoDOQIJthXD7Yr9zCwhXDWj
TLSHT1112172AA9AD8F03D214D577A53037097E25185D71B2A1C9CF1CF624C9F4906041FF22A
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.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.6.0.1/eri.el
FileSize6941
MD5D865B0F353E61814FB06678F5466AF49
SHA-1E21C78B1B129AABC1414671B62008AF049A0CFEE
SHA-256F2B9010D316FB1C477EEB7174EA98E4F6932075E711480D86B04E06B487F3B70
SSDEEP192:PpSqEoatFHOTxZ2297Rd7QdJ6VxF283xSRRJI9Ag:PpSqEoaDuTxZ22bdEdJmxF7ERJI2g
TLSHT154E134D16A628A61C7130AAB3B775055FBB3507F6C905120F5CE53080F459B6CB7EDA8
tar:gnameroot
tar:unameroot
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
Key Value
FileName./usr/share/doc/elpa-agda2-mode/changelog.Debian.gz
FileSize906
MD5AF588AF3F4F9CC0BB46B6ACB74D986DB
SHA-1BB4822CC0F0B830F9AA204264380D40EA239C461
SHA-25642114F43484A59CE90C8963E63584204901A6B685A856A9113242F96991CBF07
SSDEEP24:XNbCWogk+ve+odoHyQ+PSbQ24OXyjikCcxoi57Tona61h6R2:XF+N+t+qAQIpxojna61s2
TLSHT18611EB101F005335CF3E854580F582FCDEB639B5D3826BB2E5B086485FE4EA455572F1





metalookup is a service from miwakeru.com