Result for FDAF36DB2245C328A3F25969BFE3FEDE984119DE

Search result
Graph view
Children (216)

Query result

Key Value
FileSize18722962
MD572E4F99D4BCA1D11280B913692817FFB
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-1build2
SHA-1FDAF36DB2245C328A3F25969BFE3FEDE984119DE
SHA-256CDA84FE2B559F5378149C7077D60EE9D2C3B6F01506E7A9014642C0AF5AB13C9
hashlookup:children-total216
hashlookup:trust50

Network graph view

Children (Total: 216)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser.hi
FileSize11117
MD53B25C0DD2725E1D091BDAE0C3644BEBB
SHA-10083543C6CE7F624578485D4723496BCFC335A50
SHA-256F285D3CFE2053681E5664ABCA70AECBD48539AC7844D2DEDBD169B991253ADDD
SSDEEP192:ZvphxoytFcj3/ASRxWTlrpAzFrzf1z/A9PP+qNXrtJWwU7N/PQqFSDq+f6Ipmrkf:ZhhxPq3/AiIPAFrzdz+pf6WmQXhMi
TLSHT10E3285948E184A01FA74097ACCEB0B416B30B946FD42D7BFA5C8B6D32D135DE5C92C5D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Comments.hi
FileSize10309
MD5B5573302A63556EE6F615E16E5B1C053
SHA-100D74C4758C267592981F423892BC71EF9032113
SHA-25638ED1F2E0829B779C13C375F963698B62E93442AA7C37B0781332C16DBB0E0F7
SSDEEP192:ZlWgUY0TkS54VFe40PkS54hFee8SSx7eWc6NXODhsqNXrtJFU7N/QqFSDq+f6R2y:ZYDRTkS54jexPkS54/exSA1ciihFf6Jb
TLSHT1002294E88F588A29EC240236CCB70B017F30B665F501E6BB03A8F1632C879ED5D5691E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Telescope.hi
FileSize14027
MD5713E54488C1B8B0A4DC3135D67FB98F8
SHA-100FAA26D225F1F78A58ABFB582963D6984A328F1
SHA-256F5E4799DF9216206F06DE7EE75CBEB6E23203B901362DF2D604E11EADBE0DBD6
SSDEEP384:ZBNxMToZV0oQuEAiIbJxFJlpQAtf6jpsUgS:ZXAcmCtJx7tf6sE
TLSHT16352839667084D69FD700A7BCCFA4B01A7A0AB129B46C7DF11C4D1B32D0FC8D2D7666A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/Lexicographic.hi
FileSize33240
MD534875C4DA91F57998C348FEB441084E3
SHA-1021CED7F1DCF19DAB8CEA4F609791F5B703553FB
SHA-256883E1BB0F25572D8F867047A9D2E9D079E91F9E05F5EADE9C340EA94749AF075
SSDEEP384:Z8fMCoVW/e4DbzydIts+mH46fGoRzE5H3+X9vp7buXS5bMKRHq243fSxSravM25M:ZQMCoie4/euXSdqATf+ieEg/FnKFhzUH
TLSHT109E22F865F1A9807FA284539D496172837E0FF322F02D77FB28C67636E134982E7558B
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/NarrowingSearch.hi
FileSize44415
MD5DA2537F992891A367A97B98D406E25C3
SHA-10591AD9EB2D94875DCA762E87E18AA12CC964744
SHA-256B3852673440A405139753DCD0925B8880460869374BD3BF2B3F7B9A122E54A49
SSDEEP384:ZBJO6mEW71pj0auY0rzj2FeHQ+ckK65CnthvelNutQYzSESa9LoE8Z1u80/LdxWe:ZvO6mQQ0rzyMEkeIcFFZ3J
TLSHT1EC138B45DE027B13EA086179D6ABCF4CB322E9C23E54EB7B96A4339FED235E41C52405
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Generate.hi
FileSize17656
MD5505F76CB38DB68C9674818093247FAA8
SHA-106B850DBE87A293383D3255A8E01C31FAD577543
SHA-256DBC8721A55261E49EFF59F558DAC85559D5BC3232001402F8E896B41804E2E06
SSDEEP384:Zh4LbPzVlqmB5EZ0x5qBoP7WL8AVf6eaJtNBDC+:Zh437SYi0x5qB3Vfwr7
TLSHT14A82E8E42B081975FA650D375CFD8B011B607A229947CBDB15C9E1B31C8EC5E0EB7A78
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Primitive.hi
FileSize16725
MD532DA8F7F076EF267FE7DD970051CFE58
SHA-106FE4907D3EB59E9D05DA2C902A1414A172CB83D
SHA-2561782E9B144A13A0A381E3C7E48C26EEF802313215D2389ECC44F5167C226C882
SSDEEP384:ZVb/EpkNeZ+cRKtbIdwP5YgqyTHHAuHN97TfSy2UAtf6Xhq60aW:ZVjok8k7KXtf8hhW
TLSHT1DA72B9D65F089932EA580A76CCFF8B043B20B9516A42E7EF51A492F35C0B5CD1CB353A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Case.hi
FileSize15297
MD52ACDE03BC8086CC18E547DE97532EE33
SHA-10758BB5A1A56C226AB67942C114C7EFCB3405BCD
SHA-2564018CDA0FFE2079F3BF0CF04D406763865110908ACECFBB89F2A1DEBD8B55D28
SSDEEP384:ZAcSyyH3kwA+SfM9dh5Hei1hnSPYhNDEJzf6TXVwPVzitFG:ZAhXP4f8XV0VzitFG
TLSHT1CE62FF4A9F15C823ED3859B3C8DA1B857B22EA126705DB5B72CCA0326E531D87C73C5E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Dot.hi
FileSize11672
MD5BE7F1504423D359533A50D601AB0154E
SHA-1083C6562A906F13CCE13C88FB85D994426DA4A84
SHA-256EAD021128D13E57D0EC1155A9F8B204013F5646C75DEA93F6193C2ECED975A2A
SSDEEP192:Z/XbEmyQm0BUKSKFRkiWDWDCOjTHhR7Z0AwP3J+qytXrtTjWwU72q/PQ51FlKDqU:Z/gGBKRWlHbZ/gdf6odXIat6zI
TLSHT1CD3288754A081E26FA3409BF8CEE87005B60B911A942D7EB52C8E5733D9EC4E1DA36B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation/InternalToAbstract.hi
FileSize48923
MD5AE61C8EAC91EB1A3526192458EB0B4B3
SHA-1086D8304176EA9733D26928D69E7B110C1915CA7
SHA-2568B2ACAF99CDF9165F6C3468074A2B1FB160111811D5B4E45945B05188F8F8072
SSDEEP768:Z4smDBrC0qyoGM2bzfYIvZ8miYaK5NU9nQxwQCngYpf2YVh9dtiJnxoMq403MiQ:ZyDPEizhvZaK5inQxw5ngYpf2yY
TLSHT14723A6D6AF146D23DA381635C8FF4B047320E982BA45CBBB50943193ACD74EA2D779C9





metalookup is a service from miwakeru.com