Result for 964489B7E00D5812BA359A3E26EDABF0A0CF9494

Search result
Graph view
Children (658)

Query result

Key Value
FileSize16797896
MD55F19E05CC5E8A6173D99C358E7F48670
PackageDescriptiondependently typed functional programming language 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 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-dev
PackageSectionhaskell
PackageVersion2.5.4.1-3+b1
SHA-1964489B7E00D5812BA359A3E26EDABF0A0CF9494
SHA-256454E3F11DD0727B6E149B6D443C8B606D523C553B261BDD401EF8364675AFC26
hashlookup:children-total658
hashlookup:trust50

Network graph view

Children (Total: 658)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/Pointer.dyn_hi
FileSize50268
MD5C957EBB5AB8CFCBD13CE684ADE83D00A
SHA-1003DF1E156DC65C29DBA24272C90F10DED59DE8B
SHA-2565603F44E57E34C11BDD7D1F3A6241C80D7857E77A440C485F7BA13A25813137B
SSDEEP768:kzhjV4mmovz3WgmNp3eMhY5aP49rSa18+ZbyyIZObiVjC:kzlV4RovCgY3eMhY5aP48C
TLSHT149334E26EFDAC213E62841B0C5B92315AF20DCD1AA897F533055A1BCBE73A903F51BD4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Concrete/Operators/Parser.dyn_hi
FileSize70972
MD57ACFFAEB42C3D2FBC09F3F7B8E01CB99
SHA-10041E1CC213402D08672E8457A190BBE0A917517
SHA-2565679FCA6CE76EABB65403F92312FA6EC81EA827C9AE7135C59DF5996B769655B
SSDEEP768:gPXRhBvQ08ngt5QYIAEI3kldxjhoLHJeIvhow/87d2jSW1PB4s0c1cv:+BPQNQ7pid2N45
TLSHT15B63CB25EF84A017FEAD457ECCBA1340B730C4D2A643BBD38454B278DC633E5AE9159A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/Cluster.hi
FileSize7267
MD56B949D4553BF5929DDB139921A4F00FD
SHA-1004D4B611D44546DE58EA339AD398EB2F6C398C9
SHA-256D8F8D978069FC39F2A7714E0ABAD227E05C0E093125FD51DD1E2B77D9399A625
SSDEEP192:6mDBWqDB9/ipVxT1a/fD1cD9SSmqLhtXxayl:6O5e9S3q1uU
TLSHT140E16B5ACF448A1BCA140A71C9F243207A2CDDD0B793BB634394723C8C73BA47FA1996
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Telescope.hi
FileSize54286
MD5859D1E0BCC95F8E8066BC00CE9812B52
SHA-100732EAAAB0BD207BA2A7F1CAEDAB2CDA799D9D4
SHA-25660AC91AE34C0896A93B70527548CC4A2EEB8996DA4DD3B6AA67E7C402101F914
SSDEEP768:RpGOthcD3LGN+IPQaWwJkyk8FBAIlBwD4t4Q2HVA2jSW1AbRJwXV8rGBor:R0QG7LGN7QaP7FBAI/7t4Q2Hu2Ub/zr
TLSHT1F3334026FF585513D9280E76CCFA03057B34E8C17606EF932055317DD8AB6E42FA6AE8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Level.dyn_hi
FileSize46420
MD5C2364BFB545819FB60C9D982ED6EA545
SHA-1009EC1ED0675F6A0FB92722C6763E89B28ACE404
SHA-256A6DB7D1301C07A5E4B2D55A30E89C65A61D7AA787D6F6FE6FE7D5F7DCB77B823
SSDEEP768:a2zhFkh3PaXIMPA9p7cr3uwovExjf8t4A29VA2VSW1a+zoidGk0Xvh+HUNaPzYaN:a29mpPPMPA2tovEp8t4A29u2BzswO6
TLSHT15C235027FF099503D8284D708CFA13107BB0D8C16987AB971185F179DCEB6E92E6BAD4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/DisplayForm.dyn_hi
FileSize60747
MD5316F0CE9C57FDA8ED89926CF696E7E6A
SHA-100C8E01F74ED4F76A969A4B7DFE4F0A17921BC23
SHA-256FDEE3A04DCF97B53E9690026E4D17C5E4769FF319F242E0E654CBA2E2F987BCD
SSDEEP768:71PC+hPRmcxmxK7O9ivFzt4A29VA2VSW1vqNoOlwfeyo/:71PFbaCo2zt4A29u2Re2Y
TLSHT1F253DB52FF485112D9549E30CCB91314A724CDC1A687FB473289B27DEEF76C92F82998
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Serialise/Instances/Common.hi
FileSize333757
MD59278E0277878A81379043EE6E60E7BB0
SHA-10135BBA23A8DACDD9AC82FD156C6EDDD7E8C760A
SHA-256E77D96A6BBDD6DFB8B0792DDDAE34893B5D918D4B3DDD228EEEE1794BE775EC6
SSDEEP3072:mjzZfki+PDdBloNQFh6mU6vWuYQthoaKqz15I2rBRAUPfQx+lxZlVmh6UBFnbkBq:mZkiE4MlXGkBNAd26
TLSHT1E8646736BF895202D93819B585FA1328BB31DC81A9467F532159727CECF76D43F22AC8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Scope/Base.dyn_hi
FileSize367925
MD5420AC122C02347B30917580F4E4C99CC
SHA-1014A4DEE0F6BB620CB239A019FC6D57AD85E9179
SHA-256F3E10BCD721C2B5418B938CD925D1FAA18F719ADE2EE2AF0B3AEB768EDA5B20B
SSDEEP3072:hkrX4D/kCsRsHk/e2senUC/7f8tPMFFdMYmi132+HU:hF/kCsRMk/e2senUC/7f8t+0
TLSHT14774BC21FF89D203C9380AB1C9F613197F24E8C1A6966F53551572BDEC736E43EA1AC8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Monad/Options.hi
FileSize73394
MD528CA7773BA1B3F7573AB68F343BFB93B
SHA-1019317C6AD64AD7D87A240C9DEC9BA14B00AA71F
SHA-256C39F6A5CB799FCE8B1210F3171432D2979CABD3ED49BC700A7D4D3C44EA8B5B1
SSDEEP768:Wf+a1hG/phHs7rmj/Cfc5GT57KB/NI/T+h29VA2VSW1uRdiiu2jcL3N0JLf:WWaPWhsa88GT57Kdi/Tg29u2Ickgra
TLSHT11673EA75BF199A03C8781D7988F62324BB30D9D0A647BBA71144367CD8F76D02F16AE8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Benchmarking.dyn_hi
FileSize60271
MD5EA888C09EF67B36FA0698A0678123C24
SHA-101D4939AF269B3F9D6FF801D7C455304204A952B
SHA-2568CB8BD222B22D6FDF01DD224928F3515017FB482BF62EF06FF44B4B5B470A041
SSDEEP768:RKGSnMTp2uwK14VfzpYnXngSgaHn8y2jSW1fNFp9aORZuzAVav8BWidE32hI76Kl:RXd2uw9VflgXng1K8y27NFvaOi1
TLSHT12243DA6AAB4CD522DA38123681F643447738CD81624E7BC351991239CCA33DABF579EE





metalookup is a service from miwakeru.com