Result for BBC92C160DD270317FFC29AD839EFC34490826C5

Search result
Graph view
Children (649)

Query result

Key Value
FileSize12849694
MD528770D42ECA79C1217B01C416A0E33E5
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.1.1-3build3
SHA-1BBC92C160DD270317FFC29AD839EFC34490826C5
SHA-256BAFD2F7CAFEA84055BA582E0910055CED44A14F844269567C68A6D71D6DB166D
hashlookup:children-total649
hashlookup:trust50

Network graph view

Children (Total: 649)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_hi
FileSize56377
MD5700027512C42CEE0CD50A100BA9C696F
SHA-1009DB223C36C7D83B24DB87F624FD042D3C1DF54
SHA-256B9F2CABE7492FEF24F2D0EF6D63B44A5F0BBFDBE4A097B5CF49E3AFABB4F4853
SSDEEP768:xjC6A3p3MhDrH3z63m37z3W3f2eWovK2LLS2x6msH3m3S2dhtH3m3UQGF43W3q5m:w6PhDrXnwLvTH7gJg3TQGFOuX6Af7
TLSHT12C43BE26BF09C616D8241FFB89BB4304F728ECCA16269B53250DB632DDF65D41E326D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Serialise/Instances.hi
FileSize28196
MD5E8FDB8F05AEC897F29EF88C1CE8C59DF
SHA-100CFC03225F0EA93F3C993993201B36C38E2D3FD
SHA-2566F85DFBA62F350A42F5D8F23FF9EF73910A1FC54312FE8E3DA0BD5D27FC22C9E
SSDEEP768:9v5KO3b3tymBmcExmmXg84/XVViAfRp+NDe:V5IxmmXg84/XVViAfr
TLSHT149C22219EF08C511E4281B75DDB64704B764B9CA1102A7EB724CB5329F9F8D92EF32A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Compiler/JS/Pretty.dyn_hi
FileSize17876
MD502CE4B975098350A0140405121BF439C
SHA-100E7BAD641E8C5059FCEB267F4A7562BEE8B379C
SHA-256CF50CF0A5CA0F2173DDE4C95CEC8989691C23494F8C6A1B8254114C7FDA18AF9
SSDEEP384:jRvAxC6TOSThR5TN5+IWD2UeAtUFAFKf6fJB1GNE/8U:jR426QD2UbofSdGNE/8U
TLSHT13E823159EF45C63AD8240BB184B7430A7B38EE9117939F9310487533EC7B6D82E7266E
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdai
FileSize1617
MD55F536625D6FBD677F10C77FA9954ACE8
SHA-10102B85AC67FF0EAC6D5DBA78E3B2C6C71E82CDD
SHA-2561280658E9633804EA1F399803942DCD406890EE8E5AB19D586294F72DFE38949
SSDEEP24:1lFUis71iVZ43qGA7E9uRonumXjhNYnNhc+veDMQZkuKomSVno/sW/fBq+Yz6IMl:1QWv43IE9uRon9XjD0GFRrUnH1GNk
TLSHT1A7310842820A5CC21C0D6E7E290911FB9EDFCF64432E9BB142AAA25B27294C20CC3C27
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Utils/Empty.hi
FileSize5440
MD5E90DE7300BB7B58AFAB4A235996D7D09
SHA-10132125F867116DC6485C36485693C0ADBF85292
SHA-25630E7FD87B7A55B7B4352A98478FFCD99A54B483563E185DCCF929CCE5FFB1D51
SSDEEP96:kSSvtLJaloR0XJdo+M9/yHqsUCEGVglJ8xD/0QG1d/6OsSsFPeFcUwvy5oFM+wW:kSat9P/+nHqsTEppn/6OsSsFPR5
TLSHT1B7B1D806EF48EA3AD8394B35C8BB4345FF34E9823B138B9B50542071FE672C41E756A9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Syntax/Translation/AbstractToConcrete.hi
FileSize136553
MD579064B10EFE4DA02B5C515D33A35AFE6
SHA-10170D9E19EEDB3825C182A64077B2A3E5A29D276
SHA-256E0D2CDE06DF71F958E9C949FBE2ECCE86F79C43E2BFF2506AB5BEBDEF989D373
SSDEEP1536:a7gu8EUILcyM62vZhVWOQTU83nftH+rXmC:dZ8OQTZC
TLSHT1DED3CA66BF42D31AD8255772C8BE974DF724EEC516234B47210C3431AAF26E91E333A9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Implicit.hi
FileSize20809
MD57393E66BA63D07D2CA8467694CB13194
SHA-10188ED7B72B79F670446086200DA5A6027221036
SHA-256937B5868B669F199B5B871AEA50F72708D500E54F6D6723ABEA5DB619831EFF8
SSDEEP384:Dwm3MItC1CUe3g0AczF+jNXBBuxCjvuIeDnf6fJuOWsq:DmIt4CUiaXBBuxCjWIeDnfS4d1
TLSHT11792A769BF089A21FA640B36CCFD43053F74A9919643D7DB0191B073984F8DD2EA36B9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Monad/Statistics.hi
FileSize12776
MD5137EC21C838709E9730763DD223418F4
SHA-101AF723656629595756ACB21FC952619395DA25D
SHA-2567A350CCEB8E043B5BF795F606C6C6FE34056A552B14F75C04D36BF047A0E9B42
SSDEEP192:qlDlNcR431mCqOSwWrXWtoXS1Wci+6WDy5UoUVruN+HIuYKADN9nggARnxrtqJ6v:eo4lrSwIzS1D3nf6fJuQc
TLSHT1F4429698CF08C925F9550B774CFB47007F207A919667EFEB0288A4734D9A8EC1DA2579
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Monad/Caching.dyn_hi
FileSize22105
MD59433E0C77854AE1F0CD930193DEEA6E7
SHA-102729F8E8A3EAF4AB71A99E2D3FEEFA396EA4037
SHA-2560447184A0356917258667305537D0D632C83AF28EA54812D14F0783C5211D893
SSDEEP384:XdKtp0YNSar8GlSL/yShqIlg0SpLSDsSRXtStGT3nf6fJOAbxf6Xv6iE52:XdKtpmlguT3nfS4AbxiJ
TLSHT11CA26499AF08C925DC6D0F728CFB0740BF30DAD54692DBE70144B1728EE64E81E765E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/DeadCode.hi
FileSize13728
MD58D7CBEF51F3AC6299C6C49EBB857BEDD
SHA-1029D3C51B3B546C4B370197D40CAEE8B6FAA3E6F
SHA-2563996910C521D76107C388B85B8851804943FDBB3439D6843D707F8ABFF0B7772
SSDEEP192:mL7E4wzDwb+rB8tlzi902qKGn1lNr43uII+HIuYKADN9nggARnxrtqJ6WjS0ntEv:54wY+retlOZDuILPnf6fJQ
TLSHT1175276585F089429FA640E3A4CFF87006F50E6639643DBEF81C5E1B3944ECDE2DA2676





metalookup is a service from miwakeru.com