Result for C53BEB3844B9FEE8D8536C05FA8FB79FA8845767

Search result
Graph view
Children (12)

Query result

Key Value
FileSize44642
MD5A694C3026AEE390E25699FB428645939
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.3.2.1-1
SHA-1C53BEB3844B9FEE8D8536C05FA8FB79FA8845767
SHA-25652F48B35265A2CA7291A924630AB57508D9D046075CB1669F5B2660B8A523101
hashlookup:children-total12
hashlookup:trust50

Network graph view

Children (Total: 12)

The searched file hash includes 12 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/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/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/doc/libghc-agda-doc/README.gz
FileSize3621
MD575F1D973B02E0C5B29FF630B74454490
SHA-173700455DC1521F17FB36F3660A7021E18BB44BB
SHA-256B00BBD3E1B8BF867080E558A8903F57FB08362480C05688DD53FDB9241EE27A9
SSDEEP96:gWgzQmzWmtvAYyVaJ8deeuHRGgbrjJ6lHA2oKEbrHJHax:NgEmSpY5JmSRRzkIKEbrp6x
TLSHT1EC714C417163FBA6FB364AAD724A0D55417B782FB361D66FAB07EA73B0D02C42644006
Key Value
FileName./usr/share/doc/agda-mode/changelog.Debian.gz
FileSize1502
MD59F4208E7F82AB7B7B38B088B3068D7D4
SHA-175D4185AD658943206AF83DE69A5EC6DDA50CD73
SHA-256DAD49B3985EA7282745EA218B11291E55431648AB1A4C61D174AE91A6A5F4FE2
SSDEEP24:X907IP9QeHfEHih0XPUUHEYl5q9s3JRkgPxQEGER181PrbYW5LPBmPxGLh:X9ew9Qe/tWUjKqIR5xQEGERCVfbPCuh
TLSHT1C731F94A30B62146CEE03DD5FED9C88A164A00315D2183478558994CFEFEB4D32D5CF4
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-highlight.el
FileSize17579
MD5B713104CE2A374048B3107EDF146440A
SHA-1CB08FAC925A2CC3C6E6F571498E8D48B33D8982F
SHA-256838BCD9605DA9210862E42B8F946EF9F1975FED028CAEBB1D3E4B5D152FE7E4F
SSDEEP192:e3MlO7nJf4fWwUawC/fff91pndfZioQik7YljP9wnn/um2nG:EMMbJcgslsn/4G
TLSHT10682B613CF769825FA760487D09AD328CF14BEDBF41052A8326E8169FF8692453E3D4E
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
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda-input.el
FileSize28938
MD5421A692543DAC13708DF5744EF52AF59
SHA-1E8E545BB3727AE0A1C6B411692BEDCD2CE1C1372
SHA-256E8A8F145606AF0EB2B4D85926894835B361204905E84EF74281B8CF8983B94AE
SSDEEP384:soU/KMZFmnJ1JeQFfawRf50DEQ0JVDkKjIFJeaQJA0kJyhKvnGgw9pdr:xqHFyJ1JeAyeB0QRfaFJBQJaJyhyntmj
TLSHT171D2ED2244927EE1B6532E6F07CFA744B328D68D96734D58BDDFC0C69B4B02943B9E21
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-mode.el
FileSize59157
MD5C6D3DAF6DF6144C4BA87F3928E6F6FCD
SHA-119B296D109531654487B1179F6E75F01D9B27889
SHA-2569426AB8C9A0115F80F172319EABC501165DBCC80BC0D249639B2AD26882E7288
SSDEEP1536:Um1qJDvh+oUmiE4v9GUBvva74Ev0eWIE8IKWKMKI:weGUBK74Ev6IE8IKWKMKI
TLSHT11F43D522EEB6C97127430063A65FD3499F2090CFE5245A953A9E85089F46E74C3E3F9E





metalookup is a service from miwakeru.com