Result for 5CE948FCDC3E30BDB64D3C8E43B419090151DCDD

Search result
Graph view
Children (11)

Query result

Key Value
FileSize39278
MD523E8001ADF9C0D196BA8333E1CD4B6D3
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.6-3
SHA-15CE948FCDC3E30BDB64D3C8E43B419090151DCDD
SHA-2569D29D1A05A7E2E9126012BDD67361E009FDB38334959F8DF41C7F0C6AE649469
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/agda/agda-input.el
FileSize27612
MD5F0C19C661F11F9A3317319E423342A30
SHA-17AC7734A4D2062100A00D0918214F8AA75663CB6
SHA-25639807477706226D4A23C93336A51AAE303120F60DC52B4496A8A48235CA83801
SSDEEP384:s4u/KMZFmnJwJeQFfawuf50D70JEKjIFJeaQJA0kJyhKvnGgw9pdr:zQHFyJwJeAybB0EAFJBQJaJyhyntmj
TLSHT1D2C2EC2244927EE1A6532E6F07CFA744B328D69D97734D58BDDFC0C69B4B02843B9E21
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./etc/emacs/site-start.d/50agda.el
FileSize332
MD58E803FBA1517A0DF68FD80197AE316D5
SHA-1EB39472510A7B76925D7401F8A4504111B4EBBC2
SHA-2569460E01154FD21F48F911268810F6E5BA94AC3A1F9FAF8AB2C2D6269AE43E48E
SSDEEP6:zLVoALzKcMoAB1yKmH/8B53UQcFnJEPkJkZKxWQqarrybXJEPkJT:zLyASB1yzf49vmJEPkJpxYanSEPkJT
TLSHT10BE08616E7D5E1BE9D45583B1283459B17D865E2A274A780ECC386CCE9C28294267984
Key Value
FileName./usr/share/doc/libghc6-agda-dev/changelog.Debian.gz
FileSize1434
MD5E85C7D955F0762BF12566C940A9366AA
SHA-1479766FFD235FEA1CAE30C5BE9A1A67D7B9AF61A
SHA-256798CA53D36E7CC037697FD66BE6E4E168920D1444786599390E29FF3D82CAD46
SSDEEP24:XGW5hgh28rwf2ex+nUgt0rpDU9S4zvDwjm037gG5HhBcqYk1ynxs7zIpZoxlvS8s:XR5u5cfrxkTmZm9sRg4hm52ynaXIpGlc
TLSHT17221E9CB917086E45C1181552D2939483D843FDE395C6AC1B974994FD1E2339FAD0057
Key Value
FileName./usr/share/doc/libghc6-agda-doc/README.gz
FileSize3498
MD53D729D980A8C16CC699F32BB09BEB66F
SHA-1935ED388B32D39FF5F2935534E641D6D10D20430
SHA-256F352C418857D392AD6D6C51A829BC25A6F571C868B3CD1758FA55F321DFAA131
SSDEEP96:YwkYyuape6RBY5twTiK/v/paBSp5iX9TgY:HkYriv3fha2WT3
TLSHT1D4717EAC26157BD23D3517FC18F27420FDCA934217917495E6359413FC0B8B4E915D71
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/eri.el
FileSize6282
MD59D44AF203121BB8F35F03E8A19DA8157
SHA-1AB39BE89B3E60D6EAB5F7DF25E19C0EDEC3A5BD7
SHA-256B53B244ABCB356542348F988C6BDA7E53EDB7F4863977DEC6A500DF5639A45D3
SSDEEP192:PVSmEfGoHSVOgbRZmfOD2F68TxfRRJI9wg:PVSmEfGlV11Z8u2Fn/RJImg
TLSHT152D122D16E6289A187230BAA37775025FBB350BF5C909120F5CE53080F059B68B7FDA8
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/emacs/site-lisp/agda/agda2-mode.el
FileSize46802
MD56B47490229576DC3043A95444F73650F
SHA-13C50C7DF4E03AE89B4EDE8F0EEFAE783BD163E80
SHA-25679DA9AF4D8130339AB6284B9B6F68CA05F8CD0E17C114A952E71FF0E8F185E11
SSDEEP768:qnw7pOQq1qJDvh+5K2Km0E4vmpVNyOQs1uxcszOsokLpcKX/V/0Q5+:qZt1qJDvh+Y7m0E4vqH1jsqsokLpDLA
TLSHT19923D622EF76D9716743002396AFE3099F2090CFD52469957A9E81589F42DB4C3E3F4E
Key Value
FileName./usr/share/doc/libghc6-agda-prof/copyright
FileSize3599
MD5AF6F197D10EF37DE02AFF1D4DBDD2468
SHA-15B9CF39CEA7952D57E89B5DEC75EA8A1634F50AF
SHA-256DFB985F5E73E050D45857AA727BFB57962E83CAE55C3E3362BE49DF7D32001BB
SSDEEP48:guiDoR6PM1OSJnlxEzFlQHms52/to3o4FIO9JQJzahVPvKf32sruT32s36t813oj:gulRtuvQHoEoc9JQJzabKf3+T3zhINTd
TLSHT11971F94E33140BA325D71BA2645A9ED8B20BE05E7A13AF04386DF388073B91DD4BB455
Key Value
FileName./usr/share/emacs/site-lisp/agda/annotation.el
FileSize7949
MD596DD26FB265583C001C5EF3D668BA937
SHA-1A47D0B9DB692A014E07061B012C3D80B349BB3F0
SHA-2567A7A9F3F1006D7A98EE2718D2FA1CA61AE2629EECBB2F93E5C03CEC4FA180B14
SSDEEP192:RagKU1hU7KMgpXUExLHniBM3lB63uR1hR0sadfFCYTA697w:TKU1hUOjpXUERCBW763uRrR0DdNCYTnm
TLSHT113F1529AB78007765F9B1AA3796A608ACB70B5FE21A08704309FD1442F4613267EFD87





metalookup is a service from miwakeru.com