Result for CE89033AB2522BCF1A61CCC4C55A4CCD9CF8CF26

Search result
Graph view
Children (625)

Query result

Key Value
FileSize16133444
MD585C119435E76788BBCC3A41E78160E65
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.5.3-5build3
SHA-1CE89033AB2522BCF1A61CCC4C55A4CCD9CF8CF26
SHA-2565F00753E6E4EE24E87B4D2E50CCBADC6D577EB2D2E59196ECCC3139558D57B9D
hashlookup:children-total625
hashlookup:trust50

Network graph view

Children (Total: 625)

The searched file hash includes 625 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.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/SizedTypes/Utils.dyn_hi
FileSize10750
MD5BC8F7F26D4245E9955DEB4132CB9D763
SHA-100BE61DB6F1ADE2B631435A7F989569EB4CF3CDD
SHA-25634954FCB745907BE549F884CACC4FA2899E61E3B0EC6D84FE9510259F53A94B0
SSDEEP192:MPcy+NaUZazpMiLE65k8r1dw+eQ5DQbS7zy/nPLRTDajGRxM:MPGNU/Z7snP9M
TLSHT10122DE29AB89AA26D5394076C5B643117B38DC00665BFF8760D4623CCCBB3D43F15AAD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Compiler/Treeless/EliminateLiteralPatterns.hi
FileSize17058
MD5D5F35573C27A31E6ABE882A75D51ED68
SHA-100D98DBABFC6BC76294E5030A9C0E460B1139DA5
SHA-2568B67A381B90D40DF19BFAF4CFC442539B8FE74FFFDBC3A4A9A621C74A686F98D
SSDEEP384:h7puBluPEObbs2t4zMvd/W2E0SoA1a1eeyYan:BA08wXt4Qvd/W2bS71SIln
TLSHT14F72B768AF080526F9600D778CFE83017F609A529683EBDB01C5D1BB4D9FE4E2EA2575
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Compiler/MAlonzo/Pretty.dyn_hi
FileSize61778
MD5143C0B2C7C4D02FC876A5CE298A71011
SHA-100F3ED7942210689A405D16D4DB01D21C1919D80
SHA-256FFC8A2271E75438CC84A2C00BC825062914944B90E14C1BF583FF39D58F4F9C8
SSDEEP768:RXr9k84TtrNs9QsuvoT1cgGMsht4ETpi/82PS71UQy0HJ1bnQJKmFvxw/3lf6De:1RkG9yvihGMsht4ETp682IbHR
TLSHT187534295EF589116EA341A704CF743243B20D9C16A03E7C710497276EC6F6E82F6AFAD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Syntax/Fixity.hi
FileSize172646
MD5737209B15B196C5008D713E4A3C1E019
SHA-101252714D47FB9DA46D8D68B3E80AACA5CEA7A49
SHA-25688E9167470732AC26AA53C5301C618416C81E8F691D00D9F5C8469428C67D8DB
SSDEEP3072:noWTplkWRzOAuI2FmCZCgu2WvLuuNK9oB/J2YFG8Vu7D1E03Rl8mYBGBGG1q8zuV:nVplkWRLJ5E8VuX1Z8vBGBGG1quuifhi
TLSHT1DFF3A015EF9ED202DE3806B585F943093B34D9C19A8ABF572025A1BCFCB36D07F55A88
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Interaction/Options.dyn_hi
FileSize191770
MD5290E3697B2F54026331D9DAD2E762EC8
SHA-101A15229AA97DA62D73933DF5133D41D7A497CF7
SHA-256E858E498E0DDECA69D067C09378D246C11BE0E8085D87643F9186FB8C7BC6473
SSDEEP1536:aNjL5vwyw9cr9reeia9Mw1vIywAiqIhxV6GjZh+kBlb89sPI5MaEih26T:aFL5v85BS9RMafT
TLSHT15514D935EF099503C86A1E34C5F61310B739DEC12A9A7B930686767DCCF36D5AF92888
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/Monad/Debug.hi
FileSize67317
MD5CDCD1D426F9E97FA0E746CC8FF812884
SHA-102697A5F738AB248D174731DB1982B525D6A2A06
SHA-25627636F126A1EC2F92D902C4B8DBA67EAF11933B59307A2268459D77C259E575D
SSDEEP768:nb8ISv0ofjRm8yCUKnybYEWBd/W2PS71ez54DIwa7i7z0P23L35t:nbOvrfjRm8TnybABxW2qln
TLSHT1F963AC22EF4D8302E92849B2C5B61315BB30CCE26AA6FE871515757CBC73AD93F526C4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Syntax/Concrete/Generic.dyn_hi
FileSize65166
MD556B2B96120A159E65E178A0C0B0E88DE
SHA-1035A349267E2A9AF0CB7D9D48638995FF859DD0A
SHA-256E093C1749FA4756BE0216A68AFF4FBBE19D08CF82E79814D1E4868D7D582F2BD
SSDEEP768:3lYP8uO6cvCLEKzaoDBq61H44Avq2lS71ckqj4WS1RTklbi:1igKVa3q2Lk/VQi
TLSHT1C5536032EF89D103DA2C0AF5D579030C6F21E886A645BA436029717DAC77DD63FD1E8A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Lens/Examples.hi
FileSize5223
MD5F1683C1D34DB52ADF3F34A75D4A9DB7F
SHA-103A02F10CA3EA2EB24E30B7B00D6440D3F80FF3F
SHA-25657D11EF2549FF9FB7A91B8FF87A41D054B6AF23838D6B45196B7F6E848587348
SSDEEP96:Ltoc3CbczGv85Y950RvTneUaxbZ83FnSozGxu5Ij:LtKbcdWITneUa5Z83FnSoyxuc
TLSHT1FCB1C90DDF0DE627D6180ABAC5F983053B30CAA1A74B9F932160A2FD9C23BC57F50959
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Favorites.dyn_hi
FileSize24472
MD5AF65F148CBE272C765C1946210409EBC
SHA-104A45580EF980ECB30ED58ABA69E13BE72A20F49
SHA-25602E5C4CA22DE1EADEBC0EF28EDBA8C18B2CDBECA080D38D10CB25C61E73856FA
SSDEEP384:cVGkegJL7ur8acjdyogl0yPmlZw6H9WL2jA0H/xwPCa5xxw7pPw+sABNp4LJm96u:csMhaSSgpEurDDSP1BhJd1gln0HLc
TLSHT1E6B2AD23EF4B8203D92508B186BB83143F24D996AEA97F031095717DACB37E47F51A9C
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