Result for 2B18696CB998BC64F3BDE5232EED38073BD6F34D

Search result
Graph view
Children (15)

Query result

Key Value
FileSize41824
MD522FAEDA70EB35A0857F4CF8B05E2FFD5
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.0.1-1build2
SHA-12B18696CB998BC64F3BDE5232EED38073BD6F34D
SHA-256E95CD5CB9556858C52F363D6412B4AB95E9142F8B654298D026E32C20C022723
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
FileSize837
MD5D25BD0BA86BA5BA886985A6BBF7BA7F0
SHA-109C9C1B9D5A2E297DAD4DC77C77A5F86FEE04F07
SHA-256EE29D3519B34B2EE1FD41BB5ADAEF1A21DABB24041516A01756D0D4FFEC49701
SSDEEP24:Dc+NiAUWvhxJPo4xlQZ4jKBZk/Ix69dyG5zyzhyzwI:Dc+NZvDxo2lQZFBZkCStI8sI
TLSHT16201CED28CC2AD7514ACD66A7313307AE64701878B0A6C1CF28FA1685F0CCD4D8F899E
Key Value
FileName./usr/lib/emacsen-common/packages/install/elpa-agda2-mode
FileSize1350
MD5F0C577AEEAE31F3FFF42A9D25DD0CBBE
SHA-1363A5E2822DD3B930380A74B377EB80E9C1C8C76
SHA-256365DC8748732738DB5080BEF57C5C367E75CE8BE2984B05648F110207779C39D
SSDEEP24:DVQN6avhx0jPohx7SQVjKXAK7AvQtHBXFpNIy445ur0AzCHERDbtLrDWzX:DuNNvDGoDOQIJthXD7Yr9zCwhXDWj
TLSHT1172150AAAAD8F13D214D577A53137097F25285DB1A2A1C9CF1CE624C9F4906042FF22A
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/agda2-mode.el
FileSize80221
MD52841A9C2B97499CF219EF4D055239D34
SHA-1F2DA12866641EF860B22C721826E2222F1993675
SHA-25684FDE46221C3C6CA12B44AA67C1AD79FF7998EFF9094E15AE212388D3928B6FD
SSDEEP1536:o1qJDvh+oCmlE4vEdG4M2APROt42ZkzIRbtfarEJKUxC5u4WVJQPWSj:vGdG52sOt42ZkzIRbtfarEJKUxC5u4Wm
TLSHT15873B422EBB6CA7127430423965FE74A9F20D0DFE5205A54369E85089F42E75C3E3F9E
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.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/doc/elpa-agda2-mode/changelog.Debian.gz
FileSize1001
MD540E0E8F5A8916B4E23D1A5893CCA025B
SHA-12F311F717E6DA3C0AE43FBEAB6FEA777FA0AFD48
SHA-256026FCABB45AD82C9E4387EC4F1701B454BEA84B805BFBC08CBA3C3D1F9198200
SSDEEP24:X54u9XVg7+B7jMaKYPrWMTVlbcLH+T3RO5JTMP47S:X54QtKiXcLHW3RO5JCp
TLSHT1AA11C8905A17DC15F7BC17F272CC33A054C23665017AE5B2DB20D280A98D456B0F7488
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/agda2-mode-autoloads.el
FileSize2972
MD5376EF360335F9F7488ED95580304C66F
SHA-1720CA22126F6BF544AC0610F0E715DDA3595945C
SHA-256DB328C8578D378BB8DE4B0CAE9D9EF5C40E9088F01C9A6055DACFBC1C4657A12
SSDEEP48:K5i66CPOsX8T8c3+4PWX8T85B+wPiX8T80J+wtX8T8Q+ex0gPvw5ARLvUZjJyRUI:viOi8T8Ac8T85Ro8T828T8IREAJaJvmF
TLSHT12B51D87DE92BC1139AA261FDD5DC5008482EE8DFB9261D25F70E0286E947F4C42D6E1F
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-highlight.el
FileSize21205
MD560FA551DDDE159D30F119CEAEA063AC5
SHA-1CB24DBE9239DAB1661074732F18589802696A8E7
SHA-256C7D1E66719378B36E99133D085EBFBDA03546553DE1ED50CD8FF5525314ADFE4
SSDEEP192:e5bMN0znJf4fWwUawkC/fff91gpSndfZ2cscjuz6k7+IlwZ0Knnh7V5pJ21Eyr:KbMiDJczyIlsnh7Xp8hr
TLSHT17E929813CF759825FA630597D09AD328CF04BEDBF41152A832AE8159FF8AA2453E3D0D
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.0.1/agda-input.el
FileSize37455
MD5EA8F723B35DE54F7E155200A135BE0BB
SHA-14883D873BD69C900558EA1D057EE22993D26D842
SHA-256C16E17D6EF94D847B4DA300766922EB66826D2B9404CDE804EA124E44953B94F
SSDEEP768:xqHFyJu+JeKqEB0ZWCfaLzFJBQJaJyhyntmj:4HFyr/LB0ZWCiFJBQQ7M
TLSHT146F2C82244996DE6A7533EAB06CFA704B339874D96734D98BD8FC0DACB4B02543B5E13
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/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/agda2-mode-pkg.el
FileSize130
MD5C5E5C352890BE729A1F9A4BCE6FEDE76
SHA-164777BA497DF56710F811449360ABFAECCE033FB
SHA-25603FDAD6C3D8781CD7F0CF1438B8D8936C1D13F1A8267491AE94060C315B10D88
SSDEEP3:AGWgHE3ki9RLjBGSEucrAwNrcoIFVJRIMqELTriMv:AGWgk0ijkhuOLGJINELTeMv
TLSHT12EC02B11C892BFE0B0490100A097246224BFE8B312C80CC01D84000CC493F400CCDB42





metalookup is a service from miwakeru.com