Result for 9F66D2C02364F4826044C2961E503C9EA23B0D3F

Search result
Graph view
Children (11)

Query result

Key Value
FileSize36270
MD53376F221DBAAC0CCDE12F6E466C243A9
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.2-4build1
SHA-19F66D2C02364F4826044C2961E503C9EA23B0D3F
SHA-2562D10D19EA6EDEBDB7BB19E9C52408CFA8AB20F0B989F4DF41B8F5E541447DD51
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/annotation.el
FileSize7994
MD5169FA83F16CB8498407B6E6DD35EDC94
SHA-1DA90630726487439CEDDFFB793DA4D5D69805797
SHA-256E9AEFE35DFB53ABFB744A421180788144A086F8C91D2A9187DEF02C002AF2327
SSDEEP192:NagKU1hUO4YMKLXUExLHn9hPlpS/50Rsh56vBarqYTAThPP:nKU1hUEFLXUERddDS/CRO56vorqYT0hH
TLSHT142F1629AF78017765FCB26A3B96A6186CF74B5EE20608304319FD1442F4613267EFD8B
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda-input.el
FileSize35606
MD5A0845EB0D4B584BA71207BDFB7AC97A9
SHA-12D1911952F70BE80DBA18F5D11B3CF9696FEF6D1
SHA-256ADA39CE1456D8532DBB2AB60C6125E1A6301C9520D3DC65FDE064794DFCD8E88
SSDEEP768:xqHFyJ1Je2qEB0ORfaq3FJBQJaJyhyntmj:4HFy/VLB0ORiiJBQQ7M
TLSHT14AF2C92248596DE2A7533E9B06CFA744B339C74D96730D98BD9FC0DACB4B02543B5E12
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/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.el
FileSize477
MD5DD615C9FBE60A7A499EF2709F2502C48
SHA-135379EC48D129FA485FD418140F72C41363188A8
SHA-256B1AE101875269912A31A9B491B3244CA503B0F12051C1B38147F56562637ABA6
SSDEEP12:3KZ9xXbVQdU+qUiGFY5t5ClLjhqhr5ClBD:uBidUpUiGy5t5Cl3hqp5ClBD
TLSHT1F1F0AB6BEDF9C818680162039755C328082DF8DBCDC56804B50D1109F38229CC3C088A
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-mode.el
FileSize64466
MD51791FA038DC8E5A1119A26696CDD52AB
SHA-12B27621A6638BAE95B1124E56F252B7A329ADB32
SHA-2564FC24DF3432B514EB51C1783305BD314554A6A140B84335A92A1F8CA22ED9834
SSDEEP1536:Dw1qJDvh+o/miE4vDGbB3v5w4pHWIW2ajSGXubK0:DTGbBBw4pHWIW2ajSGXubK0
TLSHT16853E722EEB6C67127430063965FD34A9F20D0CFE6245A553A9E85489F42E74C3E3F9E
Key Value
FileName./usr/share/doc/agda-mode/changelog.Debian.gz
FileSize1324
MD536499800CC4D814D463BBAD641530B75
SHA-1E5D6EB6D61C43C95768232E68838BB737CD8C31C
SHA-2568EFA1248947868100A45859AA53CE62AC0AEE1DB7F5F97EF18E739974F790018
SSDEEP24:XgNWwCh1bxorJSNjGnqHD3xVodVLKrVQaLhpgKBrjhdcakbLdFuFU6ZJE:XNKJlOVkVLKhsKBr1dIbxcJE
TLSHT10D21D808D74229F5CCA0C3A57D121A6F847AD3C135BD10C12C2AA405B18B22B084AE7D
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