Result for 23401CFB94F90A7356AD3236A289EFE79E9EF270

Search result
Graph view
Children (228)

Query result

Key Value
FileSize19249514
MD53CC21A5C4590469B9DE5EAFC12CD39FA
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.2-1
SHA-123401CFB94F90A7356AD3236A289EFE79E9EF270
SHA-2563B24A013336DCF55FD02DA3ACDB8D976581F040596259F6948FCEF1C8A19EAB3
hashlookup:children-total228
hashlookup:trust50

Network graph view

Children (Total: 228)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/ProjectionLike.hi
FileSize10249
MD54AFE173966ADABAD1C385E194C1B84CE
SHA-1009DDA8247C5244AFC0B0420568DF62005572397
SHA-256730DA9D07BC1A88E055BBB68C152F5507E7C510B9C03AF87CE554C3B6897D047
SSDEEP192:ZGVsrbgZoRg7JhCf+F1YdqNUOnxrtTjJW/HU72Gi/PQ5F1FlUeCBr+f6V6Z:Zfrbg+RQJ3F4qf6V6Z
TLSHT1BA2283F82A081975FBA10D375CFE8B015B9026228593DFEFA5D9D1A3194CC5E1CB3A35
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Syntax/Concrete/Pretty.hi
FileSize69777
MD56954DD684801DC11A5F0523BCB0177F4
SHA-10166549616915FD58B1ED5C3EA9BAB92413CBB11
SHA-2568E10727EA10979F876602E0985446B17A49623584AB3936A88341124AF5A345D
SSDEEP1536:ZqVmI7/jLfPYcrPNieUV0af4F6l/rzAGZu6yBhiOuTfq4r:8H/7ccLncq4r
TLSHT1EE630E25FF08E706DD3C4BB244F61781B721DDD02612879BAA4E6232AF434E15DA29DF
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Compiler/JS/Case.hi
FileSize15781
MD5D06682B7C0797DA5E9B4F42CB8F7D656
SHA-1018D8B477B7C25E4F9FD092C0B3CE0AF5715DEE7
SHA-256733F10643BFF97AA292987D67F4C7B95B6651734C0D6BC9996044E17E1EF0DC7
SSDEEP384:ZaXEeaVKSMN2dStiTffepBNBgWYI7NgOf9xM83a6NNyLS8q1xNAf6sXVQ7ZJTEVP:ZaUeDpe07TdG2kfFXVQ1JTEVP
TLSHT108622355CF14C716DD3C06B908B707427722DED2AB21DB57A54FA622AF530E82CB2CDA
Key Value
FileName./usr/share/doc/libghc-agda-dev/changelog.Debian.gz
FileSize1799
MD529A0F6076D7058A5DB491A292979D96D
SHA-103994E3F239B03A0B62637DD014F1584E44DDA91
SHA-256BAF1648E5FC046576D6E4B630A8988ED27FFB844BD8D71E9A433BBEE1E2B1363
SSDEEP48:XgLndVAV1Bz/j/p/wUdfJ2D9831dGQHL0EUcQ:wrMBX/tiDkdfL0ELQ
TLSHT1B4312BB40A7AD1AA95C0618763465852AFC22D1532487113EB1C96DED853A385EF0A32
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/Quote.hi
FileSize41273
MD507C780DABD8025436B5416743C05B1F7
SHA-1043BFBCE6E428CCD59C4D441756BEE45F4762D59
SHA-25610C8EA91B5FC93AABF83C7B04FE5D1C0C9F6F4FF4917A810581E22AA9030B5CE
SSDEEP768:Zyt394nG3DpaYrg7ksHgVY2nsRrnVms5Wsd7XShkbAFB/KpjND9sP6hSscLUf2BS:Zst4nGUoJUf2BFVq/pjk44bUi63b
TLSHT1FA036379FF28D212F42D99778CB76710A710ECD146A6CF8BE58E02B32E075B51C621DA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/Rules/Decl.hi
FileSize26006
MD5D1A98B2790465C172AC0FB39A75D7F97
SHA-1047908C481660B246A4C43419082F991C8BAA3DA
SHA-25688AC775C3FBBACA922AAF8B657C4D06CC5483D8A9A1C2EBA4D7A3E5AAFDF4CE5
SSDEEP384:ZIrs4ETccvjb4SEqzu/PprkjGwXJvoA5bVP4xJUWRTY5Zqf6qq2/VBAQriu6KZ:ZIAZAa4SEZnmGwXeMQyMfPL2Q3Z
TLSHT1F4C2D8A8AF185975FD250D368CFE87002760AAD24653DBCF25CE91B3184ECAD0C73AE5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Utils/Warshall.hi
FileSize66064
MD504D853051F6DB849A8FAA6A46A430012
SHA-105BBA1092D52E9AC29FDA609E0E0493B4DA4D5CC
SHA-2568F505564A151B95E0EBA9CA8276D8E4BED2A1CB9131287328A52F895A15C1C37
SSDEEP1536:Z+eLmiAIrFDBMKgkzLHGtgMsT92h5125cXaXiMQBtEH9GsuVWNFGFfqARNzRIpwx:PqvIhDB7gkf2sT92h5125cXaXiM6t09O
TLSHT1C553422AFF15CB16ED28077604B75741B701DDD64622DB6B6A0EB9607F638F02CB24CA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Syntax/Parser/Tokens.hi
FileSize27942
MD548D7E099507A6F549156DA40D16F8694
SHA-105C728781C4E02520E674043241FE077A13E8E56
SHA-256B4040C984540C08B04FE4D4E41126B839A502EE45BF56E4510CD8E798D7911B8
SSDEEP768:Zl+aDaiGxnGlNTDvDd7jtBfzCTTNRzTunNTPaAWudsgcc:Zl+tiGxGTDvpvDf2TTN8Bcc
TLSHT125C20F90EF5CEB2AC87CCA3640B653507331FF81AF61434BDA6605529F538580EF6ACA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/Coverage/SplitTree.hi
FileSize18310
MD5F362C9BEF570EF2894DA6644E1816DCD
SHA-106A300215D5D62D2AB1F1C3402BAEB229CAD7900
SHA-256539100046DD9AA98F3E4D97472CADF2BF7CDEE7181852870273AB75F519445F3
SSDEEP384:ZQPJU4nBedbtTSyKRX3WPxCoUQ/B6249gffzPPf69kbj5:ZuU4sCgfTfekbN
TLSHT1B2824126DF54CB04EC748B7504B9270C7312E9D86622DB9FA78629167E138F87CF21E4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Syntax/Translation/AbstractToConcrete.hi
FileSize91173
MD5F7EC5C814283A524C7C2FBECE98E3863
SHA-106B0F5798C2ACDA9B00831404A6D86863A67A0EA
SHA-256DFDC15228C88F59CD29047B11DB0AC771B27C1A9195099A18BCDC1DED0945E79
SSDEEP768:Z9Fgh2XAnaOLpdIT7CcCs8YBK9CQADIZ4dZ9xfUS/mDiWuL/2C0pbfYTzwNE:ZvHX3OLOCcCZCBxfUS4ur0pbfYTzwS
TLSHT1C793F93AFF109706E86A0A7688B36B307710FDE74A61DA07358D7321ABE74F51C624D9





metalookup is a service from miwakeru.com