Result for 11D8B93027080E2A596C732CA58370C9D31BA064

Search result
Graph view
Children (734)

Query result

Key Value
FileSize57990816
MD54AB11FEAB32442BC7B0D4854EFB8FD2D
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+b3
SHA-111D8B93027080E2A596C732CA58370C9D31BA064
SHA-2568177E67DF94971CAF5EDC7EB6CD0B15897236B60FA3FBFB68400DEB8B1EF465A
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/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/Utils/SemiRing.dyn_hi
FileSize9582
MD50DFDE4EAA61FA7D2D66A441F103955C9
SHA-102613C758A7369C44B0B9CE37E83BD6E841CB111
SHA-2566F06DEBB67A1E3A522DE32E89811D893B03918AFE90D3DC88FE183D945FED4E1
SSDEEP192:YePA4KRuQx+xZuy24WEfjo37nuUCSootiUpFLI8y:YePA4KRuQx+xZuy24joLnfxo8pFLY
TLSHT19212FD9BFF49D877C6381631D5B243192B56D8C9921AEF0B2048627BCC332C16F56A6E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/TypeChecking/Rules/LHS/Problem.dyn_hi
FileSize195410
MD54F747FFF7B177FEF05423779A9C28656
SHA-103745C033FDD9AD592BDEA1BCF73E1E598C8FEBA
SHA-256F85A0688A4B509EBF366A5BB984EE928C3869B1FD33A16DDD44E4B315BF56DA4
SSDEEP3072:5Db6id/1oih6u5ITustZWiQOPuu3dvoeowjxyat4vHE1Md:5Dbfd/1xh6u5gu8YHZd
TLSHT12B14BA1FFF0CD052C9380E7489BB531AB750D8918A0EAB67640D326ADEE75D02F95ADC
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN/Agda/Compiler/Treeless/GuardsToPrims.hi
FileSize9573
MD52BE3AFDA3D3849877C21075DD0D98577
SHA-103D7B1444B460900E1035EB94CFC715D7A354857
SHA-256274797F075511FFB1F7983DCDC74D940EB8FB76E9BB4133DDD19B5D6F8D82F16
SSDEEP192:HEVi81ZX/Ew2W7P1+djoz7eE9n5tqJSvxlmti/yFj2Ps0vSSmqLhtXnxO1k5EyNx:uFdEw2st+JI7272EaS3q1u1k5EyNEPUf
TLSHT1811293EECF1CD82AC57E08B1487653003F30F6B281C7AF93129891654D53AE86F81AF8





metalookup is a service from miwakeru.com