Result for 6EB72622130D7ABCDB511AA918AE120C5A1BD872

Search result
Graph view
Children (11)

Query result

Key Value
FileSize40050
MD51644E24EB5AA9E55C247C979A8323CDD
PackageDescriptionthe emacs mode for Agda 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>
PackageNameagda-mode
PackageSectionmisc
PackageVersion2.2.10-1~ubuntu1
SHA-16EB72622130D7ABCDB511AA918AE120C5A1BD872
SHA-256CDE95C4759A2DCD278A72E3541BFD47F63F923F371374AE49BDB34924BAD62C4
hashlookup:children-total11
hashlookup:trust50

Network graph view

Children (Total: 11)

The searched file hash includes 11 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.0.1/eri.el
FileSize6941
MD5D865B0F353E61814FB06678F5466AF49
SHA-1E21C78B1B129AABC1414671B62008AF049A0CFEE
SHA-256F2B9010D316FB1C477EEB7174EA98E4F6932075E711480D86B04E06B487F3B70
SSDEEP192:PpSqEoatFHOTxZ2297Rd7QdJ6VxF283xSRRJI9Ag:PpSqEoaDuTxZ22bdEdJmxF7ERJI2g
TLSHT154E134D16A628A61C7130AAB3B775055FBB3507F6C905120F5CE53080F459B6CB7EDA8
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/emacs/site-lisp/agda/annotation.el
FileSize7948
MD59BDA520131F3EB821DF8D12A03A609F2
SHA-1E825919D046CC8CB2A763F5AE641A05DAD6B6E6D
SHA-25607EDC4C14E09F9E90A8531BBF63DBDA020FD343D7493C8D99DA4E1950B0EB131
SSDEEP192:NagKU1hU7KMgpXUExLHniBM3lB63uR1hR0sadfFCYTA697w:nKU1hUOjpXUERCBW763uRrR0DdNCYTnm
TLSHT146F1529AB78007765F9B1AA3796A608ACB70B5FE21A08704309FD1442F4617267EFD87
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-mode.el
FileSize46742
MD5F04B1643A5F8349D126E754E14C4E148
SHA-1390E5DEC8222BC91407F722DE8D576A1810B844B
SHA-256CF154BCD48F20244962F1D650917085FCF3EE64365299F9D0F59A0938B41291A
SSDEEP768:bn07pOvA1qJDvh+5K2sm0E4vbVjwyoqs1GxcsoCzok8oqaqy9X/V2Q5S:bFI1qJDvh+Yhm0E4v4h1rsbzok8oqaqb
TLSHT1D023D522EA76D5712743006396AFE3099F20D0CFD52469957A9E82489F42DB8C3F3F5E
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-abbrevs.el
FileSize2609
MD58C5D056D080EAA153DE8FF6BAB335084
SHA-167175B2CA95057B795D702B724B840011F2F8719
SHA-256B737DAE63B7CC8DB12D3DE8D5171AB28D65A0FD028CBC64E05370BB2E0C4FFD6
SSDEEP48:zGPPGBXme3L7CBxYPzrNbWLV5ATmS2JvOzYYoQbQGU7RwC3jfHXm4:zGv8pWBqm7JvOfQ5zJ
TLSHT18A516020FE3ADB869E070050D44FD3129AAD9BE78E98248C358E9794B70CD5D83D878F
Key Value
FileName./usr/share/doc/libghc6-agda-doc/copyright
FileSize3421
MD55A828C11D66B7E9AD78BFBB332DE1403
SHA-1020D2741715074B5231ECE54D685507DFF61F836
SHA-256DCF921E14C04A3F335FA5F80E9995036E8F22ACDBBD7ADA9AB778F61985CC8A1
SSDEEP48:guiDoR3M1OSJnlxEzFlQHms52/to3o4FIO9JQJzahVPvKf32sruT32s36t813ofL:gulRsuvQHoEoc9JQJzabKf3+T3zhINTd
TLSHT1D261084E33040BA321D71BA164AA9DD8B11FE12E7A23AF04386DF389033B82DD4FB454
Key Value
FileName./etc/emacs/site-start.d/50agda.el
FileSize458
MD515FD2BA3A839D7B3556218B117CE2F19
SHA-184F51711D453A5D59DE7BC717A62C170EB761E3F
SHA-2564F6FCA9F35867B6B3BCE88B2A5722DB49E63E77F3DC47EB6F06B6CD077B9606B
SSDEEP12:zLyASB1yzf49v3JEPkJpxYanYE9ZTAakdNd8:zLvy1yzu3JlNnYgZ8ae+
TLSHT1A2F0DC3382E8E2BD6D021927A3C320B71BD864D3812893C0F9C282CCE7C1C3A8263D94
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda-input.el
FileSize27618
MD57B647DBA2CE2DD0907F4260CE2CA9C5F
SHA-136615D1084B67EAFEDC33F510CB360AAE1C672EB
SHA-2567BD7C61D638F1754E07D14204D2DEE633A0C45C92A6EE6A6A59C60E3BCF0E809
SSDEEP384:s4u/KMZFmnJ1JeQFfawuf50D70JEKjIFJeaQJA0kJyhKvnGgw9pdr:zQHFyJ1JeAybB0EAFJBQJaJyhyntmj
TLSHT18FC2EC2244927EE1A6532E6F07CFA744B328D69D97734D58BDDFC0C69B4B02843B9E21
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2.el
FileSize477
MD5DD615C9FBE60A7A499EF2709F2502C48
SHA-135379EC48D129FA485FD418140F72C41363188A8
SHA-256B1AE101875269912A31A9B491B3244CA503B0F12051C1B38147F56562637ABA6
SSDEEP12:3KZ9xXbVQdU+qUiGFY5t5ClLjhqhr5ClBD:uBidUpUiGy5t5Cl3hqp5ClBD
TLSHT1F1F0AB6BEDF9C818680162039755C328082DF8DBCDC56804B50D1109F38229CC3C088A
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-highlight.el
FileSize14096
MD55FF6731292DFC338BBA304430180EDC8
SHA-10562B56FD68DB5D770D903C6FFEEB096AC7C1440
SHA-2561B8AEAD09868B48AD02C38A95EE22D87FD3ADB5783075F645A6C30CF7DB38B69
SSDEEP96:JB8LBgX8nXjO5K3khEPJfW10L4kWItQ3l0g4Gbrnng6Obw2/u:zMzO0mEPJfWXlj4Inn/4w2W
TLSHT13D52DA12CF75D415FA270497D09AD328CE14BADFF42152E8726E816ABF46D2423E3D4E
Key Value
FileName./usr/share/doc/libghc6-agda-doc/README.gz
FileSize3573
MD5FDEF1AF9C4B82B94595632E385BDD58D
SHA-1A4461D29FE395DBC60518EA9FCD15BE70B862B30
SHA-2567368EAD84C4691E1DB3B9D49037CC83560CC7072DE46275E0A8B5E747E5E9C1B
SSDEEP96:d0kX/zFMWZtlmN24SW2eogn8mwdk5+vBud9gw:d02RZSN24WKPCEdOw
TLSHT1FC718F9C9CCB0423619D48D38E654FDD21EF0F9618DE9B958D17049A3CA6650AFB1093
Key Value
FileName./usr/share/doc/libghc6-agda-doc/changelog.Debian.gz
FileSize2021
MD5B12495E8142A4B5A65F87EE51087E123
SHA-10F1DF2205F9DF24801A7231DAC48F9579BB35450
SHA-25640EBF369457E48969452642D745A449D7D52D83FB8C20673B7122515C71F0FF1
SSDEEP48:Xi/ORZyNjDJ9nbuho65vS83BYECavkhZAwjT+6j21osB6:fkNjDJ9nuJSYBzETpWri7
TLSHT136410C31573A47E6C7B35E787A83776DD006C30806C6A3654269DDCC538694CB98A78B





metalookup is a service from miwakeru.com