Result for 1AB9184BB3FAFEF99AE9BADA64BFBB851E8E7D4D

Search result
Graph view
Children (12)

Query result

Key Value
FileSize44936
MD526C157AD10CC0F305AE0665B52A8CE52
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>
PackageNameagda-mode
PackageSectionmisc
PackageVersion2.3.0.1-2build1
SHA-11AB9184BB3FAFEF99AE9BADA64BFBB851E8E7D4D
SHA-256EF5D9DF811584E257FCC412A938AF895E9619E49865A944CA0649AC6478844D7
hashlookup:children-total12
hashlookup:trust50

Network graph view

Children (Total: 12)

The searched file hash includes 12 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/agda2-abbrevs.el
FileSize2609
MD58C5D056D080EAA153DE8FF6BAB335084
SHA-167175B2CA95057B795D702B724B840011F2F8719
SHA-256B737DAE63B7CC8DB12D3DE8D5171AB28D65A0FD028CBC64E05370BB2E0C4FFD6
SSDEEP48:zGPPGBXme3L7CBxYPzrNbWLV5ATmS2JvOzYYoQbQGU7RwC3jfHXm4:zGv8pWBqm7JvOfQ5zJ
TLSHT18A516020FE3ADB869E070050D44FD3129AAD9BE78E98248C358E9794B70CD5D83D878F
Key Value
FileName./usr/share/doc/libghc-agda-doc/copyright
FileSize3421
MD5615309382100967AA5F08DDCD8CF8AA9
SHA-18A9147418EDBA9C0D2E327D06E382DAE3B3D0B9D
SHA-2565A26449BAECA1DF529D3157709423FE706DC573CF837BE5369C7B2C0D6622C89
SSDEEP96:guM5RZtuvQHoEoc9JQJzabKf3+T3zhINTd:gTsQHPHTUubQ3+T3Ved
TLSHT18D61F84B33040BA321D71BA2646A9DC8B11BE12E7A236F05786DF289033B82DD4F7454
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-mode.el
FileSize49151
MD506A585712239D1D111F8112A9F663AFA
SHA-1BB93FDA5B6D5C0AB56D100086455DEA988C2E6B0
SHA-25603E30C340D246FF612901D32C8B69A18B592E25FA497FE17F70FD496EAD4A6AF
SSDEEP768:5n07pO4A1qJDvh+5K2sm0E4vbVjwyoqpWX1GxcsoCzok8oqaqyZKX4V2Q5S:5F51qJDvh+Yhm0E4v4vX1rsbzok8oqaa
TLSHT1B223D622EE76D9712743007396AFA3099F20D0CFD55469947A9E86488F42DB8C3E3F5E
Key Value
FileName./usr/share/emacs/site-lisp/agda/annotation.el
FileSize8265
MD5A95E8E9DF77C52DFD933EB61B3FD0838
SHA-102DA70F5A5964D8912E773ECE653ACC985706AFB
SHA-25656B2EE198E8A1963A7EC90603009E62649ABB4548C0F33340DB87EF47701C61D
SSDEEP192:NagKU1hU7KMgpXUExLHniBZ3lB63ZRR1hR0sadfFCYTA697w:nKU1hUOjpXUERCBt763zRrR0DdNCYTnm
TLSHT14502419AF78007765F9B1AA3796B608ACB74B5FE21608304309FD1442F4617267EFD87
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-highlight.el
FileSize14198
MD563A94BC93E207546FD0FA0FE43822D13
SHA-1CEA65E65ECC82BB46CA63EC2A0CE21D5AF27E756
SHA-25676377B3AA9401222EF8F945D23B06230E4C8353994BB4275D5E85885A4D6CE59
SSDEEP96:JB8LBgX8nXjO5K3khEPJfW10L4kWItQ3l0g4Gbrnng6Obw2xvu:zMzO0mEPJfWXlj4Inn/4w2k
TLSHT15A52CA12CFB5D415FA270497D09AD328CF14BADFF42152E8726E816ABF4692423E3D4E
Key Value
FileName./etc/emacs/site-start.d/50agda.el
FileSize537
MD5B7648582CAB8A383F3AEB27B2E24D51E
SHA-101187FB50CC0DE1305482CC11FFE04702953B6A6
SHA-256418BC87A9BB85CE6C28DC9C61C63E826F4F24FE47C57325E4BBFB15583B41789
SSDEEP12:zLyASB1yzf49v3JEPkJpxYanYE9ndZTAakdNd8:zLvy1yzu3JlNnYgndZ8ae+
TLSHT175F0C072C2E8E27E6E06552BA3C7207B1BD875D78218D6C0F9C286CCE7C1C398163D94
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/doc/agda-mode/changelog.Debian.gz
FileSize1558
MD5C061701DB417586CE87995410495CC3E
SHA-1B94F516F2E1C94F0BB64F5F469EDBC603D01E25A
SHA-256ECF47E6693979530603215E245B42316E8070ED09877AB12FA68D363C6C005AC
SSDEEP48:X9B+ffORpOgQwzr8lKWbdfwkbrAx+L9Z4WLcYRjMzasll:tBfRppDzO37f8+LXoYRjjs3
TLSHT11E31B73EF404329F841ED295F41555027ACA61C94B70A23E399E2D407A3D84C712855E
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda-input.el
FileSize28939
MD524B5EEB2550700D0CF9431A6AD7282D1
SHA-1EDF82EE2D6B6C9D48E9FA0C4BAA1484BD7BA5BD1
SHA-256241D46C4419C9924163D2E4766B6E4FFECC4E70BE502306BED9E15E38FABB3D6
SSDEEP384:s4U/KMZFmnJ1JeQFfawRf50DEQ0JVDEKjIFJeaQJA0kJyhKvnGgw9pdr:zqHFyJ1JeAyeB0QRf6FJBQJaJyhyntmj
TLSHT162D2ED2244927EE1B6532E6F07CFA744B328D68D96734D58BDDFC0C69B4B02943B9E21
Key Value
FileName./usr/share/doc/agda-mode/buildinfo_all.gz
FileSize3998
MD5EE4DE8F012A148FC890945157639EEEC
SHA-170DE291DAED5A114ECF7219CD38C5B97678D98B0
SHA-2566E730118C923D7DF4905EBFDE45D80444B1C7B2060FB56DDDD66E5E1D2D2377D
SSDEEP96:akTiiFzteuvjyQ+fAhGfeKzWsXDazn9Sb/zzj4VNnAAodyn8rlJZU33OeURqw:akTiiFzteuvlxGGDszGnUb/fj4n88n8d
TLSHT199816D5CA025B45A4059F1FA88348785AE02583119CD8577BF78DB1B3A1EF7C44D6B87
Key Value
FileName./usr/share/doc/libghc-agda-doc/README.gz
FileSize3525
MD555B6A5B0AA6A46DB9D702593B652039B
SHA-17675DCAFBF864AEA672C5F2F05081BB9DBAB424B
SHA-25665A01B8E3A63ECE4F92A9C82B09B828592FCB0185E9CF3F0EF680469B686CD56
SSDEEP96:R78i74TodazwcarEIEWmoNRYQ3auWFYUXURvmM:xv74Tpw5ERWmuauWFnX4vmM
TLSHT124717DB2688D2733146B05FC3608237797D8C7D5D4860EE775BD65F1301EC928DB066A





metalookup is a service from miwakeru.com