Result for D7D42A96CDED263B44F06EAB4C1CAB490CE7E950

Search result
Graph view
Children (734)

Query result

Key Value
FileSize58006132
MD5974DDC35C7ECF53001AE5B63422BBDF8
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.6.1-1+b4
SHA-1D7D42A96CDED263B44F06EAB4C1CAB490CE7E950
SHA-256C3579700129D8F76D74050170AFBB658E03E08DC1184D583C2A61F88BB2C995B
hashlookup:children-total734
hashlookup:trust50

Network graph view

Children (Total: 734)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/Termination/CutOff.hi
FileSize8670
MD5C0716FA05518E1B12D1FF189E300E6C5
SHA-100439830C6926FD1738877AD2B0DF8F737EBBF66
SHA-2564D1C4B6AFEAD3562F8048C3EC60FAD8B5DA196DD191F62FA8CE8043B46D23199
SSDEEP192:H23+u8R7TqsPnCPQUtOqDTeiytmqlPlO2:HIp+wPTtOmeiytJPM2
TLSHT11202DD6BFF59D023D53D4F7884BB43103B25D88842568F8B624CB6786C632C47F52AAD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/Utils/Lens.hi
FileSize22867
MD5BB712195092D6C5105BE4574BBB2FCAD
SHA-1006388E7FC905F668A739D7DF92C5369DAA3DD03
SHA-256673C647BF4B93354BBD3EC574905994EFABCAB0C8844C54F9CE16C8ABE9476F3
SSDEEP384:HckcQJg4BuqJGSB3JgqtqB1hJG8TqBg2RwDw9JSBLWlJSBp2QJgsSBdBAQ7qJGak:vcQJg4BuqJGSB3JgqtqB1hJG8TqBg2RR
TLSHT195A2D53BEFAEC252C7140DB0877A03196F20DC959989AF036085A1FD9D73AD17F05AE8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/TypeChecking/Rewriting.dyn_hi
FileSize1344437
MD54B81C5EF882342F8D4A5AB16BFCB6639
SHA-1006A60E22D3C53DA060FFE3A313BD3068BFA8F37
SHA-25694999FBCD5FC4ABCD69228F541DD3F961B56825F339673393BFBA5EA8C6B2B11
SSDEEP6144:fYYmDKcaIJcAqBvmpJBZNU9wXdfI4SIKrrfPLVSZd6N/SKS93Pi2pej8O1zpoGpl:g4HLseFH/
TLSHT11655536AFF59E216C8356E78D9F603647710CCC05686EB5322883038DDE72F42FA66D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/TypeChecking/SizedTypes/WarshallSolver.hi
FileSize259113
MD5E8E447ADA4879C48A7178E27A5092DEC
SHA-100C18AD7A2597903119D441992596CC4E26CABC2
SHA-25654805162DBFD8155B9DE91B633DFF655C6582E4BE65C7564192B70BAB1CAD486
SSDEEP6144:SKE1h3cfUjib8sDqvUJ+nF6/+doS2Pg1DkivMeQ6ymzXDycz/r6SSDG5radlHegr:SKE1h3cfUjib8sDq0+nF6/+doS2Pg1Dk
TLSHT16044342FEF4EE116C9350A798BB713287B30D98286896B47114AE17CDD731E03F91AD9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/TypeChecking/Monad/Base.dyn_hi
FileSize4729943
MD5F8D2CB7B85711CF91BB270FBE4C1772A
SHA-10120E1B70BF19C3ABA91A00694E33474E3126D02
SHA-25634713FAB70EDC03A2BDD38D8FE2F441ED3AB239756AD63B45181FB1E1C899F2E
SSDEEP24576:wZzF6yZzMjM4dJ2UUo+S6B+9iycN92/L1h:wZzE72U6nB+9iycN92/L1h
TLSHT1DA26A92BFF4B8111DB340DB8DA7A13396B21EC818559EF43A14962BD8D735D13F81AE8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/Utils/Functor.hi
FileSize16499
MD51AEB0F852C3BAC0B41223659394CCC42
SHA-101545B299462F610021BC984564445C1713B7C90
SHA-2567D864E0491087A6E563733F08E42D78441E07692DA85FD85015E882E47B3B1FA
SSDEEP384:D2/JjJLTJRJqIJjJL0R4JUJqRxKwVhJ1J2J/9MhJ10RA2J/Rb0MyJSJ4lH3zJZJo:EJjJLTJRJqIJjJL0R4JUJqRxKwVhJ1Jm
TLSHT1BD72926BFECE8303C6190AB5D37943096B24C9909F5A6F476005A0FC9D739C93F12AE9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/TypeChecking/Positivity.dyn_hi
FileSize419849
MD54BF79497540650B8FC822B15B266F203
SHA-101A34B7E6E7E514CB7301AFA6F9992ECAC2B9FEA
SHA-256FFDA6BDDC6FB2D7FC91321EF6818A7EF828C7B7A9C60FABFC5AE92743406B5B9
SSDEEP3072:q7hQiLiKSfnBLMAoRg3sRf9w1sSovzRbstet4vHTI80fHM1ujYm2MGkH:q7pLiKwBQXRWqw15HTX0vM1ujYm2s
TLSHT18D94736BFF19E217C9346F30CCF71319B360C884564AAB57054971ACECA71E12FA29E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/TypeChecking/Conversion.dyn_hi
FileSize783813
MD59C693B357F1E3E9425DB6CEC1917F1A1
SHA-101CE7C7628826E6A168F493C9137A2554783CCC9
SHA-2562AAE3C94A4ECC0D1D5A4DB847A8B4DCEC5117ECA130F2160625B90153216D286
SSDEEP6144:m4Sx4NcMVYUktnopg7mWfxsbflPclgWLTBHhKqyL+TP:m4Sd8WfxsbflPclgWBHf
TLSHT1BCF4442BBF29C203D9344F7888F71326B321DCD11A4597AB1A59213CEDE75E02FA65D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/Syntax/Internal/Generic.dyn_hi
FileSize62420
MD5DEF43EF95C7C05823753020F77F77CB4
SHA-10212E0C75492E81297AFF98ECC81AD809D2F5D55
SHA-2565044C05795BDE8C899933F192A1B2B1A063614D9D09826377A441FAC294FA34A
SSDEEP768:aMXSHJ5OBY8JoNhixvJHJ5W4NJ8JoJhiu5sEh5OSowW/5jJ+opJR5aTEfR5ahzoe:4e58M20biNg9/
TLSHT1B853466FFF95C116CA280971DE7613842B30E4C5994ABB47600DA1BDDEB3DD43E81AE8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/Utils/SemiRing.dyn_hi
FileSize9582
MD50DFDE4EAA61FA7D2D66A441F103955C9
SHA-102613C758A7369C44B0B9CE37E83BD6E841CB111
SHA-2566F06DEBB67A1E3A522DE32E89811D893B03918AFE90D3DC88FE183D945FED4E1
SSDEEP192:YePA4KRuQx+xZuy24WEfjo37nuUCSootiUpFLI8y:YePA4KRuQx+xZuy24joLnfxo8pFLY
TLSHT19212FD9BFF49D877C6381631D5B243192B56D8C9921AEF0B2048627BCC332C16F56A6E





metalookup is a service from miwakeru.com