Result for 2C94E785BB412E68C66B074C44DACEF0FA313DC5

Search result
Graph view
Children (781)

Query result

Key Value
FileSize1959856
MD58C3AA8AAEB23AC53DA0A9D5A6F7567FF
PackageDescriptiondependently typed functional programming language; documentation 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 provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNamelibghc-agda-doc
PackageSectiondoc
PackageVersion2.4.0.2-2
SHA-12C94E785BB412E68C66B074C44DACEF0FA313DC5
SHA-2567412AF0D3277C552DF76923504FDFD5DF283E57CD36E93A027E3534DB9AF429C
hashlookup:children-total781
hashlookup:trust50

Network graph view

Children (Total: 781)

The searched file hash includes 781 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Coverage-Match.html
FileSize23180
MD5128514488CE6AE52F43A989F38B3EB4B
SHA-10016CC917D6EE0C1FBC402B4181E606C91A88F58
SHA-2569EC9048EC141311077D490A705439E0D1CD53CD87910BF36000BFB2985352EA0
SSDEEP384:YDa3MRepyfLLadPNb0nyjpoV//72BTPUtCQTYz1iur0FP7YTmTcYAdFwQHfBHKWb:0RedNxjWx/72BQtJgOYKXYFvpKWIhT9U
TLSHT163A298F567D1653E63738AC86AD07A1A79C352FAC1420D4E70B88BB3CF4FF60546984A
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Pretty.html
FileSize37899
MD558AC6B201312AF61136DFAA4C5443145
SHA-100F5EBF3FD96D4E7A1B0DB282F8AE3A1BCE62E66
SHA-25634CDC5C7ADDDEE2D247F33F042418D4BCE9AF12F49CC9467570B9997A67A73DC
SSDEEP768:HiREQ6yuMumyrtykIMUFHhH36wZxWzPGfmZj+c79Rl7:CRZk7
TLSHT16703ADF127D4727662B14AC690C47A5E35C32CE2D2C1E94E30A558B3CF4EFE9217299B
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-TypeChecking-Monad-Closure.html
FileSize801
MD5BDA96C654761E1F052107C168B2D588A
SHA-101281486522DEB7BFA637FFBBCCC6E5DA464C94C
SHA-256D3B50A7542994980B101DE4B9E46BFCB9539623F13D3E38E43CE9EB04B925868
SSDEEP12:hnMEwuiuX4wRpk6QclfZFkDRQZgD0IcsJmIO4qJmTR+VPEirTokDRF1BSBzIQSAa:hMNmVpks8Rt1wnkR+VMiT3RfB4Aua
TLSHT1F301C2566825A59691736FD0F0F5F70445868346C38148CCB5D852D795CEE8EC403399
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Syntax-Internal.html
FileSize12494
MD5385CDF05ED3A9BFA32B55446B22F6591
SHA-102743D5882F2BCB9D678863D0E5CFB43F724F265
SHA-256472988A017C10864FC78C966182B20593108FFF93DF6EA9A448C86133F341D4C
SSDEEP384:NTl6Y7fpuHYQvuamA+3X7nbm65MPVLyUwSqpOjt+uHzAd+d83H1jB5Pv3PfnSTLo:N56Y7fpuHYQvuamA+3X7nbm65MPVLyUE
TLSHT10E42F877B7EE643756234DCD66F1A31930A3429AC8138D4CF2B48BC38FD9F519852689
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-TypeChecking-Rules-Data.html
FileSize85916
MD54D60FB5BC08EE41A8FF2A62F8B0EFDC4
SHA-10303204D89A1E903047D6FB31760AE12096781E6
SHA-2562BF3B2A6C98B5D855FD6B8980F47D20875C2875AE13C8E21C2B8F6E84C507183
SSDEEP384:mxYFt+a4QV/QjZSuZ+qN9+ByC+vMWHh30VpFjLWwgkKO+WZqqT2Ig9CyXulWdAv3:2YFwAUc0RWEpKxQBfa
TLSHT17C83F6D0C6F38A362172D0E365DE3FE2B5A014EDD9861628B6EF83B257EDD50B817910
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Auto-Syntax.html
FileSize7012
MD53C4630C5907F665826E0750F0FECD308
SHA-10331FCCB6E1AAE318D10075DAE1D2F3C4AEF6301
SHA-2561260AAD346756293892CC2E63C51EBEF7627B3580F8994FAF62D83AE8E5973F4
SSDEEP192:7TDXwbPSB51wUc6VVFphxNBwVlJb5RDzJbM5QHN5EDZJPZTt75hZXxDq:7TDXwL451wUc6VVFphxNBwVlJb5RDzJj
TLSHT16EE193F3A7E5757746638DDAA1F1E32930E381CAC902484CF6B80EDB9F98F535902549
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Utils-String.html
FileSize1230
MD50AA7A1DBD923EAD4671AEAB93E645880
SHA-1038F1D083D4A803A114F5C5B775CCDF56A9C84E0
SHA-256B28F7A7B88388A25D633C72354871C467FFF4248C3DD2BD677B8EA96FF4C14D4
SSDEEP24:hMNmVpksvJ21wnkR+VMiTEJUBIyUUBIIySBInVN8BIEBEyjSa:Im3vJ2eTEJUBIOBI0BInVKBIsNjr
TLSHT1AA21E036FF94A99241475FD9F1FEEB582493818AC4020C8CF5A419CBCFC9E9684013A5
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Builtin.html
FileSize83468
MD52099F3F67079D508735A2CC8CBDF0AA5
SHA-103955139A9717799341537C0049B57B024B49E9F
SHA-256D9FA785C44A6D73145C071A024FED6CB761B9D41003F213D99F2AF227D28CCD0
SSDEEP768:jWRjlaoRAuou8AfvbUy/qNmRp6Lo4WwTRwrJ2RmxgtIvc1ArKz6IiE4YEXeZ0ihq:SRjlspI7
TLSHT140836CB2A7C4A07BD2325E84D9F07B2DB2833CF6D1428A1D70F459A7EB5DF5414221A7
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Interaction-InteractionTop.html
FileSize71501
MD58BF99315FCE2661546E7FBF787093AF9
SHA-104843E560B8FAF071B627FFB68A88F57E8BFF208
SHA-256A92440A0EBE1AC2CB0D8C09290362E8E964C9E9D93AF10756F6A436B221C7E5A
SSDEEP768:bsRBOq6O5FjzYkW+6lqh2ZPGTw+5ejl9I75xQvVOF9Kx5df0T7j3EsjTOc142bdA:YRBaO7Muzx2CKBfIEMqUz5hbA17
TLSHT1506301E1B3C7723A726359C565C2765E7AA328E5D1544A8C3CA89C47CFEEBF41083392
Key Value
FileName./usr/share/doc/libghc-agda-doc/changelog.Debian.gz
FileSize3789
MD5608AF2E3C4C9121245F1C95EC4A41B9E
SHA-105F5AC0E30F290C146A9A04C6B4FCA4E14A934AA
SHA-256936719ECB3E53418EE55FD8895E1794305710E11CCC1A72675DC454A2B10D1C1
SSDEEP96:N2NRBH+9n2i0I8x9WYoSlVl6xWv5vLoNBS:KLs2i0F9W/KloWvRLGS
TLSHT127715BBA5089C4FB16EBA5BA01E30319E0C7A76FC856199A3663417FF60834CB0A585E





metalookup is a service from miwakeru.com