Result for 62C987936C2155EBAF0F4EF6F49A1FE44F75E870

Search result
Graph view
Children (184)

Query result

Key Value
FileSize17717096
MD5343E35413150B6E3655D157850051A15
PackageDescriptiona dependently typed functional programming language - development libraries 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 contains the normal library files.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc6-agda-dev
PackageSectionhaskell
PackageVersion2.2.6-3
SHA-162C987936C2155EBAF0F4EF6F49A1FE44F75E870
SHA-256222BAF6B57C2AF7B199775C4345A4CEBF5CFA2A8F3F490CDE795387C65107E9C
hashlookup:children-total184
hashlookup:trust50

Network graph view

Children (Total: 184)

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

Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/InternalToAbstract.hi
FileSize30605
MD52518828C871D23DFEE12C748F8938262
SHA-104084656639AEFD790BA81C90F9A672637EC2C2F
SHA-25636781F258ACF8FAC08475F902DC5B8D9B1CCD244A240201A55B79C32FD7D8CDC
SSDEEP768:sWm7pdHNDDBpVNN3T1lx/fOR1GCAirTGjaroCf8WkDXrb7S00Bvm:eDS/ri7Cf+bam
TLSHT17CD2A5DBEF988C3AEDC40A7A58FE17056790D186C11AC79BB08EB9213DCB4D90C536D9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Scope/Monad.hi
FileSize49506
MD5D1A6A5C87AB66926B72D59BC56E3286B
SHA-105FB9ADA364023AC3D9B0C98842D045D870D1944
SHA-256DE8BBFDDEA18D6FE5A3A0A8AA304DAC11ED55AC479438C8B17945C2F21570DFA
SSDEEP768:pdzQ5g+N0BtNB5BlkmlTMXeOMRtZfU9EM+A:w5BeLhfe5
TLSHT19323102ECF2CA81BEDD54AB748FB130537949751EA36E7E7365C2121198B0DE0D236D8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Options.hi
FileSize53617
MD504A721CC19E3129946393554ACCD029F
SHA-10960A7980CDAD4BAE1DC8C5C36E088D4EAF4D2F1
SHA-256C17A37D3AF850D572A1F8D52677683E4B1F937641B7264FB153BDE9A65DEB7DB
SSDEEP768:MnGDwehfVhuUh+nJrtrvLiBqjLBfC0vwd:Mveh+UYJRLiBKLBfRvq
TLSHT11E334284CF70B51ADBE50A75CC9A2B602379E740D633AE67214EE132DDDF09AAC172D1
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/QuickCheck.hi
FileSize5107
MD5CFBB1931BB7857111DDF2529D076651D
SHA-109C6385A3C830437A86B67ED09991EF813943C8C
SHA-2561C57575DBA2D23770322D148E4FD9624A5A52B0A65ABA9C3EA9F7D2CE3E27FAD
SSDEEP96:UXhr9dH4Vp0/VW/8LG7uBQe+fTsOVI9cG0xk6pveOUc5pOpYBkO4S4r30Uup:UXd9xdLG7u2e+fTsOVI9cGUk6pmOUwIm
TLSHT1FDB143CA4F801D1BFDE40A7040EA4A263F306AB5B627E75735F575210DABA943DA7704
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal.hi
FileSize124682
MD52B0211CC450BC182FB2F987B094DFAF5
SHA-10A2FD9F8496B67D10466AFB9B3328D198917B7BC
SHA-256D5F516126BA43192228DA714A315D8051647EE011F3A32573F8A24A54CAD1AB3
SSDEEP3072:6ZAjhcunbxa+j/GQJWp9X+dMX+pwzq1+vLHuo2cFGYiLsVWPQ/ygO3K:6ZAlcubxnPK
TLSHT1ADC32D2BDFA43913EDC8637E09F903547764D18EE552E663A10E36267EC74E61C232CA
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/libHSAgda-2.2.6.a
FileSize45927700
MD5DDF25D3FA4F488E045D9E3D625BB62C6
SHA-10A83844508AB04C133532D3DED3AD3BB251BDA31
SHA-2562723E63D781EB36697C08CE6C750A985A6DF7598B565BEEA1BFECA807C812AA2
SSDEEP98304:vB/5VLdmIz010A9ny9IEFrxzVU3SgEciRuoSJnd9DTgU6YciAynXV7yZz5wJP+Nr:x5egzA8Tz6iR947/dAywz29s4W
TLSHT147A753B153A74F7BD2240730E2EA670A7B234DB5161687DBD7EEA60C78C21681633F94
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Tokens.hi
FileSize12603
MD56FFF310AB49D646B2DB13CF68E5E17F6
SHA-10B216215C2AA7C4BCCCD16C946124F6CF5AE59C3
SHA-256F93223A27B758773BB9A441C8CE3F7FDB01D3687DC5C9D9572015CDB5F0FA6A6
SSDEEP384:CMDIwYa6IvUzvhIQVjbfbtYTXftkQV7ASt0c:C0z8IaCQpfbtYxB7ASV
TLSHT11A424185CF88783BDDDC0B328CAA13217318E652F652DB9B668DE4711E8B48C5C9371B
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract/Pretty.hi
FileSize6225
MD518E687C258E54BF99B0E67CE91BFD222
SHA-10DB7781D4327F4E80FD60570D86BAF1DEE7A6FDB
SHA-2568448219C7F3BB690D210E7F971F22BB573F9FBCE69B125555041149C767D3E8A
SSDEEP192:4iFbUVKrgCMX+Fap/J+qytXrtTjJWwU7N/PQqlP1FcigQR+fV:FbUVGy3QbfV
TLSHT155D11F649D480995FE950D7B0CFECB101B906A62D642DAEF128AE2931D8FCDE1CD3A34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Term.hi
FileSize46476
MD5C0A241B78773057F68CB51D63BB3CCE1
SHA-10EF83D2F6EEDEDA4006119D5733A27D652DA13AD
SHA-256C7EA9D8A452913D9964A56B59C667632C1D4C1B1931B8D29D3C5F664F1797B44
SSDEEP768:ICwP01apXPPFUG+zZgEaYSqg2JfmY3WsXdE0RxaU2PqlHDbEc:uf38xC2JfNWsfEc
TLSHT1E223306F6F2CE427EBD806334CBB0B007756E511D241D7ABB2CC683858CB88D9D176A9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Pretty.hi
FileSize38065
MD510DB44798DC4310F45260DC4874A07B7
SHA-10F6A8AAC920FA92A85A3E9D93B9314AF43921014
SHA-25690975166875568A10A99F3FBFCEA408C83CF45EFB2123DA9EBB0D7844491A9C3
SSDEEP768:D3ndms0J02H2Dc23xlRo84LdvqHTN9xMfpXlsn4ibubXj4AGEiZ1kXkRb7N0OPOP:DXdsJ/0zsdv4h9+fpXyZ1iA0xl
TLSHT150030D06EF70BD2AEAD08BB404F71391A71AF554E347C297968E67341D4F6990C03EAB





metalookup is a service from miwakeru.com