Result for 7CDA99F8A6E7CFF6D37CED32CA49C8A83D7A3000

Search result
Graph view
Children (11)

Query result

Key Value
FileSize37272
MD5F08DC824AAB02A3687B9B9EEB69655C3
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.4.2.5-1build1
SHA-17CDA99F8A6E7CFF6D37CED32CA49C8A83D7A3000
SHA-2568D5F750653EFC0DFA03A458C9E6EAD43539DB5C1DAA69E5528FB7F2D012155A3
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/doc/agda-mode/changelog.Debian.gz
FileSize1265
MD50453A6AEDE7BEE0C8947AA34D8037842
SHA-101CB0DA3654C4CA6E6F7819874D61A2DCD4AF212
SHA-256EBE4739AF6C3306FE5B8A854361A88868043871A2B2CAB7566B8C4AE6CDDB725
SSDEEP24:XCJshFK6NMldPTDqWBZrUosLMb6k03Hc+eMJB7kYIb0rL3pFLf3TUre4Vkttj:XQskTDqCuQbD038+NfkJb0BFLfTUH8
TLSHT13D21EA2347937C13D8FF84785F96C8AA772D43920C454E14E4443E0E1B56B88B7612DE
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/agda2.el
FileSize558
MD5E16A14799A807A457B142F0A148801AF
SHA-16918B6118C511F186FD2CEEA25703F7EE1EFF830
SHA-25646EFF530B34791E040B5A2A50177A1CB7412A4CECE445819AF9C8D3100ABB690
SSDEEP12:3KZ9xXbmidUYQO5JFqUiGFY5t5ClLjhqhr5ClBD:uBldUsSUiGy5t5Cl3hqp5ClBD
TLSHT1BEF0976BFDF9D92868426702D769C72C062DF8EFC98D781866022308F1C2A98C3D149F
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./etc/emacs/site-start.d/50agda.el
FileSize366
MD52CC513DFC31617C2068AB17702B9DB55
SHA-1DB823D71C334321F3A6A45462A85D0214B54BBEA
SHA-256C411FA8BAB4A310C3958065A7D421C0B11F830AD50F8491204207A3D15E1B848
SSDEEP6:zLVoALzKcMoAB1yKmH/8B53UQKcnJEPkJkZKxWQqarrybaapJEddNP18:zLyASB1yzf49v3JEPkJpxYanYE9d8
TLSHT1AAE06812C3C8E1BEAD01192B228710A617D834D29224A3C0E8C2C6CCD6C58298123980
Key Value
FileName./usr/share/emacs/site-lisp/agda/annotation.el
FileSize9012
MD577213E9D3CA602D795FEE15E9F0BF333
SHA-18B45AEFB1A63EBFD10A4EB30BEB08DD2788CFCCE
SHA-25633C0F0F47DEE584A39AD2864BEA3E50738A9CCA40668632272FAFDD740450E26
SSDEEP192:NamNLqO0c0O4YMKLXUExLHn9hPlpS/50Rsh56vBarqYTAThPP:xLqlc0EFLXUERddDS/CRO56vorqYT0hH
TLSHT18B02405BB78002BA5F9F1AA3B92B6186CB7470EE60608318305FD1142F56173A7EBDC7
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-highlight.el
FileSize18462
MD5E81A666F5FC6DCABDBDB0C8DCD1843CF
SHA-158634925A7F7D87753434F3904C7979D114B9341
SHA-25659212742527CC6284D60430FBA5D3049C2EB2584E2233B39CE1AD4050BE207B1
SSDEEP192:e5bON0/nJf4fWwUawC/fff91pndfZioQik7YljP9wnn/um2nG:KbOivJcgslsn/4G
TLSHT17A828713DF759825BA630597D49AD328CF04BEDFF41142A832AE8159FF8A92453E3D0E
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/agda2-queue.el
FileSize1447
MD594264543320FE007670E8789CAC10F78
SHA-17917FFA1B4D8761A8CA26A906AF724274F1CBAB4
SHA-2566C6900F8FD7856DF90F5CA9B1BC42AF81C7925B892DC5A621947894F56184845
SSDEEP24:A91WGAq+kHZOihriITHsXKvn1zlWGAsjhJzv+MRZgg6s6:ww5kHgioAKnEJaMRaV
TLSHT1D4318961CCBE8AA00267029314CBC140EB99D0ABB5756810F9EDF45467C6FD097F6EEE
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-mode.el
FileSize68390
MD5F0F587DFE4284AAA699F70A1619BA85D
SHA-18A204E4B2EF471C8796325C54C4845153202A22B
SHA-25634AF2A2F43C9C8EA6D7B58368C0CCCF7EE7DF87DA6CCE605CBCE8A008541DE88
SSDEEP1536:Ew1qJDvh+oimiE4vRGCB3v5w4pHsIW2ajSGWubKmSj:wAGCBBw4pHsIW2ajSGWubKpj
TLSHT1DC63D612EFB6CA7127430063965FE34A9F2090DFD6249A543A9E85189F42E74C3E3F5E
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda-input.el
FileSize35594
MD56CEA7E68E26FEC591185FF88EC9FEE81
SHA-1423828BF4A3058849A890FF209C0C72077C924A9
SHA-256668A3EB817B77D9E8F67547C443629577C37E983C6EE7F7DA94FCD025B41F56F
SSDEEP768:xqHFyJu+Je2qEB0OSfaq3FJBQJaJyhyntmj:4HFyrVLB0OSiiJBQQ7M
TLSHT163F2C92248596DE2A7533EAB06CFA744B339C74D96730D98BD8FC0DACB4B02543B5E12
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





metalookup is a service from miwakeru.com