Result for EF8DCEFDD2336C226D93539B6C932818CF3407F9

Search result
Graph view
Children (11)

Query result

Key Value
FileSize36386
MD576CC86FCE62B8EB7D91E5C7B60B798CC
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.4+dfsg-1
SHA-1EF8DCEFDD2336C226D93539B6C932818CF3407F9
SHA-256C787FC6F1CCB4D2DD3C54CFF8C01B3CA87DA98D324DC83C5D6A586B8CFC5CEC3
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/agda2-highlight.el
FileSize11403
MD5AEA53331A6FA2C29620D7AF8DD56CCE6
SHA-1353D837F4F3F32BBBC8E0C2A26408C1647C1668B
SHA-25668B87B8BAE2F0B682AFC0D98E7210041ABBEFB6ED16B8080F385FB3C4A3CF814
SSDEEP96:JB8LD8nXXfEAJfW10L4kWItQ3l0g4Gbrnng6Obenc2fW2TcYA0:WMHfEAJfWXlj4Inn/4x2u2YO
TLSHT1E632EB12CFB1D415BA6305A7D09AD3288F05AADFF42147EC326E40A9BF06A6453E7D4E
Key Value
FileName./usr/share/doc/libghc6-agda-prof/copyright
FileSize3450
MD54131EDA9CA154CC903EAF48D23F6C400
SHA-1E8DA75CAB193C10501556DD49C782BE23B436AD4
SHA-256DE495C9C3DBCA7DBF6ADBD4E0D62FB7D7B6EA22BDD96202958BAAF35DF999945
SSDEEP96:gCblR00uvQHoEoc9JQJzabKf3+T3zhINTd:gC/0dQHPHTUubQ3+T3Ved
TLSHT11561F84F32140BA325D717A164A99DC8B11FE16E7A236F04786DF389033B82DD4FB455
Key Value
FileName./usr/share/emacs/site-lisp/agda/annotation.el
FileSize7783
MD58B16A3DC54C2384606886334E2FEFB35
SHA-13588C90DA06F4C103988B9535F46D03D46945207
SHA-256ACC0052646DF607BA80AEBF248313729A7CBE57B92DD36C8EF708F5B497CEBA8
SSDEEP192:RagKU1hU7KMgpXUExLHniBM3lB63uR1hR0sadfrWA6TksLJm:TKU1hUOjpXUERCBW763uRrR0DdzWn4sQ
TLSHT11DF1419AB78007765F9B1AA3B96E6086CB74B5FE61608304309FD1482F0217263EFD87
Key Value
FileName./usr/share/doc/libghc6-agda-dev/changelog.Debian.gz
FileSize421
MD53B79C5BAB31B06E5ACF449B075597A6C
SHA-1B664A06D4366C7106D719987873ADD19437621D1
SHA-2564F7A69BD5958DC651FF60A95BE19245AF251691A60C8765725E2009117E13051
SSDEEP6:XtKV1PORagWVplKqjP8o1yyqUvGYT9huYRnHMBuafWYdUMvEP2q0NMBJHwtsIw3v:XyORcx/hV39dHMB7Vk2qPBJQZws6
TLSHT19EE02B243A3C099CBA934B9F00C87D382973001302DEC12299864F28E888A2E3A7A820
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-mode.el
FileSize42348
MD50FCCC8BBD37D016EEB4A6196BA761057
SHA-1CEE474AFD685ACCE9C61A0D238A540A7E2C93C71
SHA-25697A7C214B11C60ECC23BB5B892F517A2E040D9CFDA870A775F7191ECBF8B9BA3
SSDEEP768:inw7pOyq1qJDvh+5K2Qpg0E4vGtyru1EaFHQGokvtoXdV/0Q5+:iZv1qJDvh+YTpg0E4vs1EKwGokvtyLg
TLSHT13013E722EFB6D5716703002356AFE309DF2191CFD52469997A9E81588F42DB8C3E2F4E
Key Value
FileName./usr/share/doc/libghc6-agda-dev/README.gz
FileSize3465
MD5C7EA95308DCD3B1E5B309FB4B4C32202
SHA-17B3B6C4C37DE503AD5B588CA0DC79839D3BA7C62
SHA-256EA3609590CEED68CC88AD79F7F1331F4B5F45400B4D10429245576D69FBA5B10
SSDEEP48:Xjk8KgTUUWziNEeqEDk6lhVtBVGCEqIIJt0RNPgY8QNtovzq0ymUO:T34jiU+k6ltSiDSg+yvyO
TLSHT17E611C360CE8386ECC9922F84D675226F146D61E8B57CF64571488B818F09AE38A9767
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-abbrevs.el
FileSize2607
MD551F033890B08CE786293C9B469D29479
SHA-132044C2DC045D0F5AC960072198E8D6DAE04F153
SHA-256DF8A0CD6B6883CCF587D030848372899097DD9EBC2CE30478676EE924C3DD780
SSDEEP48:zGPPGBXme3L7CBxYPzrNbWLV5ATmS2JvOzYYopbQGU7RwC3jfHXm4:zGv8pWBqm7JvOQQ5zJ
TLSHT12C516120FE3ADB969E070050D44FD3129A6D9BE78E98248C358E9794B70CD5D83D478F
Key Value
FileName./etc/emacs/site-start.d/50agda.el
FileSize54
MD5812166DA75E5712DF599E2225D02A38D
SHA-11ABB2CE1AF2BE35AD04320F2464DBA274279C286
SHA-256E6C3C570BA60125344C9F508E6CAA8D4066E84B1D00A746426ED9BB489623533
SSDEEP3:Abv2BcwEaEkJs:PJEPkJs
TLSHT10D900251FA99D06A9D04583A1283094B128095D2945554044490529CF4C1C240256150
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda-input.el
FileSize27586
MD50746824CA73B2318551D07CCEB03585A
SHA-1D961F6372247A1C719E7CE69E68C0738B368FE2B
SHA-2562944BE2A852DD98AD70EDDCAD4C1F8E5B2CE8D52482F42A3B611D80D7573C95C
SSDEEP384:s4u/KMZFmnJwJeQFfawuf50D70+TKjIFJeaQJA0kJyhKvnGgw9pdr:zQHFyJwJeAybB0EWFJBQJaJyhyntmj
TLSHT130C2EC2244927EE1A6532E6F07CFA744B328D69D97734D58BDDFC0C69B4B02843B9E21





metalookup is a service from miwakeru.com