Result for 339F07620681C2101D6E40D07E89424F24B1CC13

Search result
Graph view
Children (628)

Query result

Key Value
FileSize15974848
MD570D3EEB306019359C1D9C75A7800A98E
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.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.5.3-3+b2
SHA-1339F07620681C2101D6E40D07E89424F24B1CC13
SHA-256F52C10506F4E60D114F2634514EDEADDF041FF41558BCEEC7397299A7D740B90
hashlookup:children-total628
hashlookup:trust50

Network graph view

Children (Total: 628)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS/Agda/Syntax/Parser/LexActions.hi
FileSize23818
MD51DF8434DA7D0095BD554BC1F65C24DED
SHA-100316E6DCE5C94B5564598DFA91EF6502FB088C2
SHA-256187FAB1BF10CD1B84ABA2BE93E67BA14AD6DB52A3E16FE2970AB887320B29C63
SSDEEP384:KFIPgQVLjLr/e4hg/2ye8T1GDofVohoVbceHO2mdGexxOpKU1FesxOdyexxORe2e:KUPvKooF3pJ+83RZ3qPV3aifSSJ
TLSHT187B23F6EFF04C612DC180F7598FA03017B74EAE22A078B2B1148B576FDF75D41DA2699
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS/Agda/Utils/Parser/ReadP.dyn_hi
FileSize58076
MD5EB053618A536E2569A7B70CB38B15461
SHA-10056049F6F6B1116BFD13192617406BB8A32714E
SHA-256E9F1D55D5AB0A4A4452278EEF9C162DF99A16E5536D09F7F2D1F981B6740CCAA
SSDEEP768:T8rsuOL182ctB+o0CWuP2PzOgUA1pDjJimaUGLpm+rEdRTHy9PiNpy:tvB1s
TLSHT1F9436F55EF83F71AD81686719A7DE74CBF24DBC066219B4B4009387CAC36B8B2D7131A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS/Agda/Syntax/Concrete/Name.hi
FileSize114189
MD50A8AEDEA639A39B4AD8EBBB5AB317BEF
SHA-10087391A6D588D9B84FD853C6DC6E1815F542DB0
SHA-25641CAF6E405C0739136BBA6E1886B1D66B57ED840A1626ABC193BF23B25E5E02E
SSDEEP768:bUEVj3z3L853g3n8stpjW7kLZ8e3c33ZHvak3Y3KtjcUDS9trGiEvoUYfi3Dr5G/:bUEDawqDRdGQGdkM7ZhfEE
TLSHT16EB3A746FF8AD717DC294B7184BA9309BB39EAC01722C74B90087570FC776D82E7529A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS/Agda/Utils/Size.hi
FileSize9798
MD5AAEC3CAB45AEE66B9AD357E60EE8A3DA
SHA-1008FFD4CA0ECDA76000AC9D6BCFDFE91B0DF42D6
SHA-256FD9E4118B59E99AF03ACD94670459D95E59F6321ED02A36D2A775E4C9F06D67B
SSDEEP192:U8o+hZcTsLiuF0ewWy8MD5dTum/rkN5tCY6SoOq+AwhTbt:U8oMZziueey90oDlSoz+AwhTJ
TLSHT1C612D04CBF86E71EE4654632C47AC30D7724EAE16622AF8700843630DC73ADC5E7666E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS/Agda/Auto/Syntax.dyn_hi
FileSize89970
MD5FDC3105A1A3C425189B41C45A3CDE1C8
SHA-101488AD284864169D69489EC9284D6258968D7C1
SHA-2562C070C2A6564D4D250F2BF4385FC53318AFFB53DD20A4C499928C799BEF6F597
SSDEEP768:yGV1h1LIz404bEa3pMDCezwxJ5SAkYKKHpL/dYzU26xCifSS+It52+XWHD+G3dRM:yGfOweMxaAKKZ26xrfAFGgGWWmBO
TLSHT164930C1AFF47E26BD96A8A76C4B91709B739CAC123229F8340593130ECB33C55EB516D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS/Agda/TypeChecking/Serialise/Instances/Highlighting.hi
FileSize81688
MD56B0C92EDD884E5C568CAFA93B5A44DBE
SHA-101B2ABB710A07B015AEF3B86656571C2F0C07FBA
SHA-256678E68E4CBBF210E83DFFE5BB08F3D82DB83CFDA9DF284CCF54BBF3330D3EDE4
SSDEEP768:Xi3y33w3ZxIbJ0353JzLTuGRzj23h3fOxlSRz4573B3UjVB9HRpg2IAU0jao3J3l:y3eqb64068LuZAqzH6Gg6fymi
TLSHT1AF839625BF498315E8244FF28CB65304F738EDC916669767210C7532EEF6AE41E722E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS/Agda/TypeChecking/Polarity.hi
FileSize42923
MD58325C54DC0B98EF2A34C0DF6F130A714
SHA-102DCD65F91B0B45E6397B7AB1EAEF94CEC23E179
SHA-2569F65F6987E0C7BC74A83F5C0129E065E46FAA23F4895D98BFF672FA531742741
SSDEEP768:nAXnaVBBetZb0vt4pDMnfSSpeowf42F5e3:inaVetRKt4pDWfDeowj5c
TLSHT14413E954BF04D225E8640F75CCFA6704BB29EDC16312975B01447632EDFA9E82EBB1E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS/Agda/Compiler/Treeless/Pretty.hi
FileSize10136
MD56E53E39A38F3F3CB02B5A0614576721E
SHA-102E79554AB17AFC84F57A76229AD58F3B6C0882A
SHA-2560020F4DA1654AB95053DB136C2365C46146584C4B1BE655615A274BAF1CFEDF1
SSDEEP192:UyVj+DbHi5aKiUkC+Fwk6DN9n5tJS0nni/y7atl+f6fSofA1PHVKGRE1QQZ:vjgzi5aKELwOif6fSofA1fcJQQZ
TLSHT15A22A4AC9F04D22DE4640FB2CCB78346B734EE9226439F871184B4224DA36D82F7757A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS/Agda/Syntax/Concrete/Definitions.hi
FileSize314772
MD5DF3A56BD639908F44707A128EF046AC9
SHA-103D90158C29B30FE3974A4F9962A4744F82C1D43
SHA-2560AA188DBAF23CFBF9DDB5F1D4800291BE4D3E1C075AEF93564394ABE667D2A09
SSDEEP3072:m3NwbaldBFcZChH/8ukV56cpu6o1zIARw6Z5xZvhqa1cyc+hT7960YNZ9gBe3tk3:QNw2FzL+An1zpRw6ZFhdh
TLSHT19664AA12BF47D325E4265736C8F9930CBB25DAC026618B17604C7171BAF6BC93EB229D
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdai
FileSize2264
MD569992600C2F3EB198848D4F0ED614906
SHA-104A92CE5B1573B7EE69F37E5B02D6CCF58814F32
SHA-256CD3CD26AEC2D52D1B205936CD857CE5D60840460B0CCB8D2A772F4C0F14D0765
SSDEEP48:6OWK1blpNPaysm3Px1Pes+/qMbqHYCqKAC6kYjQ14q4sN5O0n:6OvXtP1fZ+CMbGYCq1C2jQa5j0n
TLSHT1DE412B08974150EDD4261E2D984CCF01A7D44AC5810AC1D7FFBFD2531C28D8DBA4E422





metalookup is a service from miwakeru.com