Result for FCD8314BC96EE0C95F77724469B985C76FFA5C44

Search result
Graph view
Children (14)

Query result

Key Value
FileSize88336
MD5FBE90088FD0B5E99499042943328AD0C
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.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNameagda-mode
PackageSectionmisc
PackageVersion2.4.0.2-2
SHA-1FCD8314BC96EE0C95F77724469B985C76FFA5C44
SHA-256FAA7A61902FB1E38F7B788BF2CAE0880D73B8984177E7BADC6930084120B234F
hashlookup:children-total14
hashlookup:trust50

Network graph view

Children (Total: 14)

The searched file hash includes 14 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/doc/libghc-agda-doc/buildinfo_all.gz
FileSize3722
MD5096F08FF2C9443AE03FFF3009DB2D506
SHA-18FD7ED69D2E9FF59EE3B7B09601E2A49B40A47E3
SHA-256DFF8A6E25582B21A98AA68CA0DC55A563769EBC0E4462C9CAFF911495F2FD5F6
SSDEEP96:nDQFZiiLY8ofVmnq/82Wj9XVqm/KeRTS1:DQOb3trWjTv/KeR4
TLSHT15B718C471F16F8125EA67AECD988462B6D0EA4380C311558E1311A07CF2B33CD1A8C87
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-highlight.el
FileSize17699
MD573780C9EC801F09C6FDA35B8D64FA3F3
SHA-188830AFDEB8E31E468B562DCCB696F65CE022019
SHA-2565CED8EE81909E55F8CEA3C6D7915CEB1FEAF6C69589B9CC699C16BA6109D6C7F
SSDEEP192:e3bO6O7nJf4fWwUawC/fff91pndfZioQik7YljP9wnn/um2nG:EbODbJcgslsn/4G
TLSHT1B782B813CF759825FA760497D09AD328CF14BEDBF41112A8326E816AFF8692453E3D4E
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/changelog.Debian.gz
FileSize3789
MD5608AF2E3C4C9121245F1C95EC4A41B9E
SHA-105F5AC0E30F290C146A9A04C6B4FCA4E14A934AA
SHA-256936719ECB3E53418EE55FD8895E1794305710E11CCC1A72675DC454A2B10D1C1
SSDEEP96:N2NRBH+9n2i0I8x9WYoSlVl6xWv5vLoNBS:KLs2i0F9W/KloWvRLGS
TLSHT127715BBA5089C4FB16EBA5BA01E30319E0C7A76FC856199A3663417FF60834CB0A585E
Key Value
FileName./usr/share/doc/libghc-agda-doc/README.gz
FileSize3716
MD5167C13ECF0D84E3271569141BBC88197
SHA-1145F43C78B1C91072FAD18C70D831EE4980C9C34
SHA-256433C969616EA7457341FA5A6E20D8A677652B609B8BDA21A6E7752B31F4B6320
SSDEEP48:XHhb+sM6tgoihn3JYBvn0NfCvXNg4kZuUebIGMdrN7GEvHWli0oQ8qz6hwwK/f/u:RnCofPWZlebH65G6WliQLoIbaDkvblNG
TLSHT1AA714DAC181EB83B04CC4FD7589331E70C6D2CD957C96A560ADF6F2462EFA54D10ACA9
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-mode.el
FileSize64252
MD54C4E686A8593704A9B3D19B24F5138A0
SHA-1203963522D7A20F51D47D791AB7D6ABB78546FAA
SHA-25622BFF750E159C4B63184CA1639AB1D926900031A4F0C6847D2DEA7FE565EEF0F
SSDEEP1536:Bw1qJDvh+oZmiE4vDGbB3van4pHWIW2I2SGKubK0:1JGbBin4pHWIW2I2SGKubK0
TLSHT16853E722EEB6C67127430063965FD34A9F20D0CFE5249A953A9E85489F42E74C3E3F5E
Key Value
FileName./usr/share/doc/libghc-agda-doc/changelog.gz
FileSize41199
MD533A96C28014308CCC79CE499D76F9EC0
SHA-1EDCA238255192ED70034CA33D1F207E323C4AE74
SHA-256F21E7A27B227C361B3A7EEAFC8CDEC9A0BBD0D3F74AE5B83A88455A4CAC3BD9F
SSDEEP768:SgXzsbT89rfgQv5aXSkkbTJ8ucdlwsvzKbMn8UaMDM7Nm:Sks38dfxR6SkkbTVcd94uVRMpm
TLSHT1B603F1717BCDB7C1249C07A047305B26BA04350E6D2A3E889DCF2AE9821F4756B97379
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/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