Result for 82705C39E1F07EB181B259A4EE42BE5FF1FFF1D6

Search result
Graph view
Children (228)

Query result

Key Value
FileSize13600354
MD5717DB4CFAA04E311F72548B2BB0DDA33
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-182705C39E1F07EB181B259A4EE42BE5FF1FFF1D6
SHA-256BB9796448CD736294CC1524ECBBAAC15E33DC4FC38712425AEF878A8272420B0
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/Compiler/MAlonzo/Primitives.hi
FileSize108529
MD594B14DE14F2357F26EE92D19817C9D14
SHA-100A15E47BDB2EF30556544DB60C36C6442A2727C
SHA-256A6FB4FB6D19F4D91956014616738E2E9E2E76606C535468498E7D5AE65684881
SSDEEP1536:TfIb8EQdWepRC16iqTpNfl2fGeckqNK8m6Ju:UKWepRC0rTjfl9WN
TLSHT13CB3ACA5FF0DA31BD8289A78887A4714F724FDC38E74C71BD98B135B59234640DB68CA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Utils/Function.hi
FileSize1091
MD52935A6DC130B425952070589FF68DA70
SHA-101783C646AD8118B39E24E9F10D822FA403BB2F7
SHA-2564893A18D6D85FAE5608AA2D90BC198C7F38732728885012A8EF2BB1B15CB5E7D
SSDEEP24:TUZF1yZkECNYplqhTWM4N8Wmg4oOlVCVJntZ/jf:TG/y6VYpYhw8qK4JnP/jf
TLSHT17111AF9B07149F1AEA1A4BF988FB43A03231B1E7A923CFC3A3C5B5805F435F86C60414
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/Irrelevance.hi
FileSize18536
MD5C8338BD8EAA1E729531B5CF542D1801E
SHA-105393EB18B891C7D24314F7AFCEE44C106049CCE
SHA-2565E3DD03225ECFD90BF7580C64F7168CCF82F8C7E35A4E76CB9115D78F9DDF731
SSDEEP384:T5qhRf/H4/lH6HBJeM8au+88Qc05mIZeSU8mamDhaqf6IJf6543VMvS:T8hR3w5c8dSfnJi543Vj
TLSHT1FE82B6A5DF14C626FE200D378CBB47006720EDD68117EBEB1589E0732D478EEADB15A9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/MetaVars/Mention.hi
FileSize17377
MD59E502585DC29F419CD6A157EF2E2CBDD
SHA-106B196B86F08182AC08D3C2089DB52BCA328431E
SHA-256E5E6BF6F335EEA7DB225C0093041E9601F33D06143AA6C79A2E1B188FA59664E
SSDEEP384:T6739kbwtqkd5ilcUkQvOZvrqf6989hJ7MN:Tg3+qqk/iQGf/ht6
TLSHT1147210919FA8EA30EA320E374DBA470A1B70FDD71212D69B558985223D1FCEE0CE2194
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Compiler/Epic/ForceConstrs.hi
FileSize10868
MD52CC5D41180DD0BB4FD40EED98725BB60
SHA-109759BB0DA5B073BB79F5258F07A84792EC79566
SHA-2566726F5C828261FC0713961200D29537AC35506FD572FB90E7B925850829E2867
SSDEEP192:TUtjPzuz1bcL6gXI4TISqU/1f+v1+qNPnxrtTjJW/HU72q/PQ5F1FlUeCBr+f6ar:TQjPqhbcLS4TxqAwvhqf6awlw
TLSHT1AB2283B4DE180921FA500E374CFF8B017B90BAA39652CBDB51C6E1A3294DC6D0DB7975
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Auto/Typecheck.hi
FileSize37268
MD58091C7F46F33FABD239084720AC9547E
SHA-10A9DC25F39C63063EEDB764B2F15714AFD63C2DC
SHA-256FEEBCC0FC3CFB00E60DBB0ACC84490DA9646A2BA94906B528681474B274D0CFA
SSDEEP384:TawstkKPnOq+c2FO+SDLE6CCypBdXVBdXQOBdXe/XCAFGjfNJ7PvwmTvuuCVRVt0:TawsCoOlz2TtdZVSP9BQUBCLQ
TLSHT1C9F28969EF27F707D92469774832DF80B721E9DA1AF2CB63644B16512D238F01CB68C9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/Monad/State.hi
FileSize28311
MD52E2578EA8211E6EF5517A2EF82ED741B
SHA-10C586D4E942DDFE5E08C45A6544A79CC26E31FE8
SHA-2561BA9FC44E106323EB0B47A6D3025B996DE9BA0627B6BEDA98670A27421187470
SSDEEP384:Tl0jbqk5NgYnyl6xdYNCS08R+k3S+VgNXCT6kIMOz90J0S8uhGJNHY3Hrc1qf6bP:TCbyQxd/2R+kzIMOzQXfKFIqExiln
TLSHT1ACD22A79CE25D726ED160EB28C734B0AB730FDCA1375EB57068E522269534F50CE28CA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Compiler/MAlonzo/Compiler.hi
FileSize62028
MD5662543B3731E90B01875F9A6CD803189
SHA-10D61E42D21AC88FB3DB163B7DF5DA8071D82EAE9
SHA-2569B5EBC587CCD88D0B65EFF264F1825B623DE9A0BB9E94ADBBBADE8F2158849FB
SSDEEP768:TDk+HL53pc3X82JmpVTT09tMZ6vtI3KqyROfFOMJfrJ25iChY6CdJroS:TDk+rD12JAVTSljqyR8FFJfrDcveoS
TLSHT1E0538265EF0CEB27ED380BB588F64700BB21ECD25A25C79B648E617729574F40C721EA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/CompiledClause.hi
FileSize42918
MD5D931F86D0B18332EABFC1107086782D5
SHA-10F99AD2E477F8944BFC7392BA60C6C416BD42A10
SHA-2567CBE420C135916F58102851203CA7C33AEFC12D63B5C1B213A4C9F16A02F468E
SSDEEP768:TGYh0KkXg1q/PhmrAThUUnuKJOlFSPhLVo3GQQnzdz2FinB8QS7MGDvNp43B+7Nt:Tv1kXg1qBms+gcxDP4EQr90fo2
TLSHT14613ED29CF0DE302D928067184B907CD7311DDD8A536DB9B9A9E2F207E33DE56CE2199





metalookup is a service from miwakeru.com