Result for B1B682A4A3CD43974857336490653EC071BE20EB

Search result
Graph view
Children (13)

Query result

Key Value
FileSize48080
MD555D29847A1814A691B2C476EDED980C7
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.2-1
SHA-1B1B682A4A3CD43974857336490653EC071BE20EB
SHA-256256EA59AFF33FFE0F08FE99C120926EEBA67D1C3FE89C51D3EB3D8C879EF0E32
hashlookup:children-total13
hashlookup:trust50

Network graph view

Children (Total: 13)

The searched file hash includes 13 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/README.gz
FileSize3682
MD554F16387A96794E29C86F0B3DF0E071C
SHA-18998225CE255147787C8BC15D39D9112B06B146B
SHA-256012731B3C1528A8ED5BBC3E7AEABB51E4D2C4FE7F5FEAD571807C005EF97CBE3
SSDEEP96:RnCofPWZlebsAwaAvjBykgQfq5x7mfWN677IsYC:hLfPyevArd3q7q+A7jYC
TLSHT125717D6C1E00491AC4C02ABC3A30BDAA19AD4DB4B7C595145AE62A2E735DFDCC542168
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/doc/libghc-agda-doc/TODO.gz
FileSize3630
MD5C576BDCB55C1182AB2B67B84C12AC283
SHA-1DC38DC97353E0EAFC6E6301964FC9DD30833D8DE
SHA-25680A0B4640C96212949AB32FDEDB8A2E9B990511115DFE7B11107079705505421
SSDEEP48:XqHynEqONO7CNyMLYsDwyDtsT78QhapH7wW8uY133FuSPgD8I9DLoCYoXFDk4PA:6HynEfO71YpH7RQ3Vu8i8SIYA
TLSHT1AB715D73D0601E3B23D4BBDAA52F66904ACD11125E4E76B9563D19465CCF028BDC2243
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-mode.el
FileSize59157
MD5262C773AA4999CBCCA3433461942B577
SHA-1F758A0F531D3B65AA86F7C5968C044CF3FCA7F17
SHA-25623B5F0C0D4A87301B20CCDBD1D65908CF4F2C926DE1295F5FC39173250AB6ECC
SSDEEP1536:rm1qJDvh+oUmiE4v9GUBvva74Ev0eWIE8IKWKMKI:xeGUBK74Ev6IE8IKWKMKI
TLSHT14243D522EEB6C97127430063A65FD3499F2090CFE5245A953A9E85089F46E74C3E3F9E
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-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/doc/agda-mode/changelog.Debian.gz
FileSize1530
MD50E96347631569097A93E448A8D31A67B
SHA-18942FD09EA96A6607CFB5586C52AEF058CC42A1D
SHA-2565C78B10A0AA2991290FA3156399813F0FCE1C5533AFE16E2491E9AFD633717E1
SSDEEP24:Xa42bsYrTUr0rWUVSxpafTCCDU2pbKlja4h+7s+VvLWNgIY10oZ1hvz8KezyTVDl:XV8b4xU4g/9mljaa89LWNg/1yWp5sNjS
TLSHT1CE310A4A3D6FC8E87449C588090AE090A751562DC991C18C70FBEF01CB65FD1418D0C9





metalookup is a service from miwakeru.com