Result for 72C3196E52B76F028E08539FF79DD72A3A51D6B9

Search result
Graph view
Children (11)

Query result

Key Value
FileSize39608
MD5748278A5A8CBCA4437139704305EA014
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-7build1
SHA-172C3196E52B76F028E08539FF79DD72A3A51D6B9
SHA-25655DF2F0BB8AA386F509A774AC712622828FE72A59E15A0FA97C3C8B4B243A2F2
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-doc/copyright
FileSize3421
MD55A828C11D66B7E9AD78BFBB332DE1403
SHA-1020D2741715074B5231ECE54D685507DFF61F836
SHA-256DCF921E14C04A3F335FA5F80E9995036E8F22ACDBBD7ADA9AB778F61985CC8A1
SSDEEP48:guiDoR3M1OSJnlxEzFlQHms52/to3o4FIO9JQJzahVPvKf32sruT32s36t813ofL:gulRsuvQHoEoc9JQJzabKf3+T3zhINTd
TLSHT1D261084E33040BA321D71BA164AA9DD8B11FE12E7A23AF04386DF389033B82DD4FB454
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/doc/libghc6-agda-doc/changelog.Debian.gz
FileSize1829
MD59C919BAF5693652D8CA2D99F160CB6F8
SHA-1E06686BA9A71B777EF60978867DB5051AB1AD38C
SHA-256300A7D37F45B7B5CA672800051DD7516137B3257D103A3B3F8FAD4BA027F2E88
SSDEEP48:XrvVtAFMI/eZdPf7jZYa5uX7mNJ0VfJ4haY0YHx424z7oJGzVd:7vVkJOdPf7jZY7rmiYaYfx+z80zVd
TLSHT14F3109F885EB23326463DDFA0CAAA18FCE616DF640524E281433907E255C72881CA91A
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/emacs/site-lisp/agda/annotation.el
FileSize7949
MD596DD26FB265583C001C5EF3D668BA937
SHA-1A47D0B9DB692A014E07061B012C3D80B349BB3F0
SHA-2567A7A9F3F1006D7A98EE2718D2FA1CA61AE2629EECBB2F93E5C03CEC4FA180B14
SSDEEP192:RagKU1hU7KMgpXUExLHniBM3lB63uR1hR0sadfFCYTA697w:TKU1hUOjpXUERCBW763uRrR0DdNCYTnm
TLSHT113F1529AB78007765F9B1AA3796A608ACB70B5FE21A08704309FD1442F4613267EFD87





metalookup is a service from miwakeru.com