Result for 3907E7AB8D1C888D6E8EE0D230E009BCE04A154D

Search result
Graph view
Children (217)

Query result

Key Value
FileSize12537544
MD54E631B39A8EC3CD454CB84E55CD1B2BF
PackageDescriptiondependently 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>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.3.0.1-2build1
SHA-13907E7AB8D1C888D6E8EE0D230E009BCE04A154D
SHA-25648953699D22C535604B34FAD122079A069BD9FAB9E37DA108E80A87EBE7C8097
hashlookup:children-total217
hashlookup:trust50

Network graph view

Children (Total: 217)

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

Key Value
FileName./usr/share/doc/libghc-agda-dev/buildinfo_i386.gz
FileSize3998
MD525370793179641E8CD46CCB6ACD2C559
SHA-100D2A511FC1051E861433521E409A38A2FE7AF1E
SHA-25644CCFAC65E8356E4FC385F19F94BC609E7FA9FB823BA3C808CB4A3FEB62B3EAF
SSDEEP96:tekTiiFzteuvjyQ+fAhGfeKzWsXDazn9Sb/zzj4VNnAAodyn8rlJZU33OeURqw:tekTiiFzteuvlxGGDszGnUb/fj4n88n+
TLSHT16D816D5CA025A45A4059F1FA48348785AE02583119CD8577BF78DB1B3A1EF7C44D6B87
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Interaction/MakeCase.hi
FileSize19846
MD557AB3A01413866FC6ED49A52CA6FCA4D
SHA-100FE82F3BFE0C3323CFF007ED592CF1225535D49
SHA-256E80C0F36E18DF6438648667DBF7D200D80DCE19F7D085D8BEA86F43BE5501D79
SSDEEP384:ZxSXMl7oZkNhd/fmVe3xNst9UXf68Ev8+6mh:Zx/7wkNhFNXfb0h
TLSHT1419286991B0D5A61FE200936CCFF8B011B50AA129B87D7EF51D591F32C8EC8E1CB75A9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Syntax/Parser/Monad.hi
FileSize32842
MD5E8A6F291C5C6BBE860FA45367441D65E
SHA-102A90F234A4D498141A6FD5D19A8A352E5320A63
SHA-256DDA8CD3A06FE185449913F8908769F96E73BF6F553E315A900376A907C00AE32
SSDEEP384:ZtB1kfAtudjFjxpfOt5kJPsZBUZSLt9fl8Zj16KYStXE06zin7bZ0Z4ZMwCCvUZl:ZhkfoY9sKlbGCOKZf6yW91Q/2
TLSHT1F4E265C6DF08D508EF7CA67DD88B0B446722C5022B22DBBBA948A0537D934ED5F1785B
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Tests.hi
FileSize17655
MD546C204BD8E9864B9B039176C44CBB058
SHA-104DB6E9D07F4A6275F5B881EBE1FE2CC63A2C483
SHA-25679BC1A9B860E4C6B204B8FAF7F5AD0B3780235FDF6F5846A193544D216B9B8E3
SSDEEP384:Zd98m93/+tVSUpWiXWIacxZSv7/A7f6zF91RklXctNNzO:Zd9T93/e57fIsXctNNC
TLSHT13F8274D94B086A15FF740837CCEB4B0427609A11FE52D7BB52D997E3280F85D1EA2D2D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Polarity.hi
FileSize23851
MD509F144881109EC32308675B7F2E7DEF7
SHA-10779965E25391F782E475E9835E709E111C7F2E8
SHA-256367E92F58A2100D75EDABCA5BF278E95CD737E883C3B642F02FA8066D2B5A3F6
SSDEEP384:ZI8l2ImvJMq0TEFQF/eDX+Du4YND6jIXL7UhetUawf6MGx5fHa/6/Z6Ru:ZI8l2ImvC2/DOT+UhGwf+zfY6/4u
TLSHT17DB2A6D69F088A16ED160936CDDB4F115B10E5526782EBFF4398D2A32C0F8EDAD174E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Utils/Impossible.hi
FileSize6053
MD5B900844D05C2F5090FE1C96DF66BE500
SHA-107C0361A6C14694DCDD2218F0ADDC92E76F70797
SHA-25636B000E92AA0B809F83EF5013D9C8405C7DE00D631392B5E6459C23F45E6DA64
SSDEEP96:ZD7yuolqhP26QWFqpl7SWhKjtnie+9/Fe3txivwB1HMTPNYFaOih/RCH:ZD3ogI6QWFqpBojtW/w3tCwLOlFZCH
TLSHT18FC111068714AE27D6B54B7EC0D2134037B2FA122B53CB6BD8C92613BE433A46E17999
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Interaction/Monad.hi
FileSize13090
MD5D8AB599034CD7E562685F9E3DC5819E9
SHA-1095EB79281FA50A45BBABFDD28B913B46D35D34E
SHA-2562B7BEF1EB1483DB0791046170AFCE7965F15184D11BA9A6D86C13B89018D5C93
SSDEEP384:ZN82mKWgjzewgcNqAi7dRWoMTeUv+Obf6pCeo2LEH8E3WOpFFXRrEwvvr:ZN827qJQvLfQKz
TLSHT10042B8EA4A045A21FE60097ECCFBCB001B54BE05AE82F5FBB5D855631C4B48E8D53A75
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/libHSAgda-2.3.0.1.a
FileSize28007168
MD55EE2C3D6ADDA814B581B2852B0E2E726
SHA-109DBCB2E4FFC3F9C7AFFF93A931E1B7B635AE17D
SHA-2562EB381998CE26F56E26B166BB52306A9E665F1DA5D10F36381FDC4E376D6A64E
SSDEEP196608:JOIgb/DFNlB2ZEfR+dM+HQeq1JS4IR3ddt:JORB2ZyR+dMkQeAS4gjt
TLSHT192578360B7268D7FC53D0D76539EC32C1293AEE81726FB9F158865F868161B81A1333E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Syntax/Concrete/Pretty.hi
FileSize63594
MD57D4398EBD187C45EBCF127FEB05D925A
SHA-109F78705B4BB851CC58920169D919A5B0E4AEC54
SHA-2562F88296D6BC5586926DA87065F2C99B8984FBAA1059F2D083A0B3D631BA464D8
SSDEEP1536:ZnVSm5GhGt8SH7FlUQaf+F6gSZR/sUkiOcq4d:CmlFbFlU0Dgq4d
TLSHT108533117BB59E416ED3C06B6C0EB13857322DAD12A02C79FA54CA372AD930D42D539EF
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Interaction/GhciTop.hi
FileSize111762
MD5A182A7A75D659A4C4E9E30031DBAF4B2
SHA-10A7395830256A3419DB4AE037EA845BF0379DD47
SHA-256D025F79D0EEC76579D3A3AB9D2FC5F32C01FF304ED7EA3C33B2CE8E627444D1B
SSDEEP1536:Zah0oL+kf12kyXel+i6pwjuYEi0zCSoS8MA8xnJrd+QvTEvsNT74TKMSnlyfYvk8:bjk127cS9Xdwz8hqvYRWW
TLSHT114B3F89867096906ED3066BDD4EB4B003720FEE53942E7EF56C413A36DA75E80F631C9





metalookup is a service from miwakeru.com