Result for 4841DC26228BD3283BA1962B86BC89045A74BD55

Search result
Graph view
Children (647)

Query result

Key Value
FileSize19959608
MD5D4EDC1273A771193BD0DFF63363D25A5
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.5.2-2build1
SHA-14841DC26228BD3283BA1962B86BC89045A74BD55
SHA-2566697C44ADA09584EC9ECAF02A22113DA694E96C87A93D866649F042A77B9DF8C
hashlookup:children-total647
hashlookup:trust50

Network graph view

Children (Total: 647)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/Primitive.dyn_hi
FileSize268834
MD59F3B51DF0EA03CF1E09B9CBD4C52A8FF
SHA-10044E3A3C0E4F38B30284BA1D4C0F7E5FE3FF594
SHA-256293B430DB5550561C0A1ABD848C4A736AE2476DCE9A323916B12DDC0C8540F75
SSDEEP3072:gM7rq7gfxRRwfpOQlP4+rYlt4ryNWT6cE4iD:L7PfxRRKNFByl
TLSHT1F8444315BF09E626D8394FF4CCFA2345B73ADCC56612476711083931DDFA2E81EB26A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Interaction/InteractionTop.dyn_hi
FileSize214572
MD5A75D01E26AE9964E2B5BBF8C73FFD2E4
SHA-10050C856CF5EF7848A48A81AF26D0AB1E995F1BE
SHA-25638B78CF25D3C49A6F0D393143D386119FBCB8232D9950EACF814A84521AAC79D
SSDEEP3072:whjBJW+gq2C4qUVZmOnrpgScsb4O/o+40JiSjt44ThIz8hqv4:Q2+mFD/o6Th
TLSHT1A524ED21EF0AD216DC390BB5C8FA8309B738ED9126125B5F11183539DEF75E82EB3259
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/Epic/Static.hi
FileSize44547
MD53B59B70FFBBEB93278098439D1C8013C
SHA-10071DC49A701757A9155D2BB20E30AFD75622855
SHA-256C30D1D2C176A7BA28AB2996A73F8381C10547C25173D7572451C675CE07470B3
SSDEEP768:6b9tTyXWUoUQ1QknkSF752cTz1TzJTpdrKIWt4r5bcfSSExF0ziQ5g:6DyX1Q1QkBF752cTz1TzJTkt4r54faNN
TLSHT10C132E45BF11C964DC7407B2CCFE4B45FB20E9D01642876B125CB632EBE65E82EA71E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/Treeless/Identity.dyn_hi
FileSize13085
MD5343220C09BD41D76DEECF813BACF18E3
SHA-100771A827C3CC186D2EEF01A7042DDB7E7CF961C
SHA-2569EF3E43BD107D616D35614AACF7C17CB5E3F08A52D4A73765AD617E27C65D7C7
SSDEEP192:RIkjku4QyVDpczfXrXpC+HIuYKADN9nggARnxrtqJ6WjS0nk/HudF/PRF1Sxy2Ik:Kk5RyVDpcBdzbcf6fSo61bU
TLSHT1A342E799AB4855A5FA650D3B9CFE83006B50A713D593DBEF01C8D1A31D8ECCD1DA3638
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Syntax/Fixity.hi
FileSize75616
MD513D2473DC5B85189E6E7C2EEEECF8918
SHA-100AC2B0DA945B4E96AE8E166F37FE7EF73D66B0F
SHA-256EF3FFB9601DE764290E4915C80FE75E777BC42EAC5296FE6AD776AF2791ED359
SSDEEP1536:KeZzXjO8ZFbl8IfPPLuXicA0DxArS2gY/4y64+TDI:KMO8ZFbl8cPqXicA0Da/4y64+TDI
TLSHT1C673FD56FF59D226D93D4BB988FA030A7734E9C11B178B574009B035ECB32D52EA21EE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/MAlonzo/Misc.dyn_hi
FileSize39439
MD5D528ECEEDD2A5049EEEAD58A1EAC8E3C
SHA-100E5AEC40407730A43F5E97931C3CD6C2F7E5ECB
SHA-256405AC841D14B2F37ED2DB63259A5F6EA112CF3A3123EB62E39FA1AA0C991675A
SSDEEP768:DbtzmJ1hjP1M7DAiDfpYcit44qeNvfRSMz6w9l9:QU3it44qe9fR2o9
TLSHT11E036255BF089526E9240F728CFE47017B70EAD25747CBDB0089A076DDDE9E80DB62E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/Treeless/Builtin.dyn_hi
FileSize16345
MD5896456994625D4BC1B0634766AEA5DBA
SHA-10119D9CDEE41B60717B30CDDBC6196488FB899E4
SHA-2564281DC2693B8C9BB54B16422B4238C086C96EEF92F8F7F615605556B9C6F9733
SSDEEP384:ZAk/AIRktygN2SJdzbcf6fSowAC1KNg0zZys72:HQth7zbcfSSiKKNgN
TLSHT1AF72B9A89B158471FA500ABB8CFE43056B709E539943EBEF1194D0B30D9FCDE1CA25B9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Utils/Pretty.hi
FileSize15887
MD593C69961284A20F6386937AACFADD9A7
SHA-101FF1C040016E67C6A2B7DB5B542A35BC0FF2F3C
SHA-2564B4D2CE188F3156E7C438B063269CC2059C75EF4F0090B51677AE288C9962D94
SSDEEP192:iQoOanETrloMRNkHsIgE1G6krs8z0dArNAr8nv4JRhser42RPOW+L8qa8ndHGhkY:idOtOarKr2giQRPOW+LNFndHGQ7l9xa
TLSHT15B62FE55EE54C326D8790BB588B5434A7B38ECD2AF53C74351093932EC276D02E7AA3E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Syntax/Scope/Monad.hi
FileSize101000
MD5E417EFCB4C7778AE6C70A23CA2EB9358
SHA-1025795F1610A634A5C1628EC8B3296F87BD03563
SHA-2560BF80F57DE3C13B99A2368AE94A194A16C88D7D0A677EBD291FDB29097650227
SSDEEP768:AyiuZK1tMMQl9PhvW70rI9BDjhGXvukR0Tlxub2N0t00ZFdeSppKzGkO5OCL4ar5:AyHZKpQl9PhG0OG0W7Hz4fH471vuxUZ
TLSHT10EA31016BF59D21AE8291FF488FA1300FB38EEC21716875391843936EEF61E41D762D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/Monad/Local.hi
FileSize14526
MD5607028BCAF143D306220E6EA0AD1C62D
SHA-102587921E2FC46BC82481F89831FC7D964E4C81B
SHA-256521B39CCB3A697D2F004EDE389181E07A20ECD1CDB7F9730B8DDEEF352B9A216
SSDEEP192:2eKWthJoLXLtKWPSXKWYitqVbqVIplOlfDby2frr7d+HIuYKADN9nggARnxrtqJ0:ZRtYLtDS6NiYV+VIpwlfDyzbcf6fSoW+
TLSHT15B62C7A85F048A25FD940E378CFF47047F20E6929593ABEB05C8E0F359D98CD1DA3568





metalookup is a service from miwakeru.com