Result for CA4570C4036CB9F81ED1577CE7CF277EEB025D1F

Search result
Graph view
Children (199)

Query result

Key Value
FileSize10491918
MD507F5E29432FDD0A0707CE291B5B17522
PackageDescriptiona dependently 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>
PackageNamelibghc6-agda-dev
PackageSectionhaskell
PackageVersion2.2.10-1~ubuntu1
SHA-1CA4570C4036CB9F81ED1577CE7CF277EEB025D1F
SHA-2564B2C654F4EBE7425D27ACB9B376AF05F5E185DB51BA7DA322CBFD61853E01758
hashlookup:children-total199
hashlookup:trust50

Network graph view

Children (Total: 199)

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

Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Utils/Tuple.hi
FileSize1345
MD5B61C6143FEA02653A9EACC6559B03B3B
SHA-100F3F9F96F14CDFDCEC6FF3EDFF0C2252A3E6D5A
SHA-2564307A4BB69E42C71E8AB4ED607CF7AC37EEA26842E96F94F96502FECAAA22A67
SSDEEP24:NCfJzP+drB3Tx9qLBE3SEjCeytar/zr++Bv3lyCFd8RZcG8tLgmPFRZJwhcs+UQz:NaJ+9WBa/jCe9i+yCvoZcjFgmPnZJPsW
TLSHT1AD21299F9A99D716FD0809B4C8FD03742620F64F1AB2C94764C7A7247E532A89F30C60
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Utils/Pointer.hi
FileSize2901
MD58BB28FA5BC74784B41F55DF81DE8EED9
SHA-1017E9234FB41344AA9292C40691BC98038801EA7
SHA-25656BB81D720FA544812D193C258571420AE9B432189BB1A16C7EA442B552D4969
SSDEEP48:+A9E3I/C0TCj6GaAlNx+XvItxBXwlNr5sXTGTQKJY4/Atd/cOBfftcXdd6:iI/C0TCjYAlNMAtDAlNGol4lVBfV6dd6
TLSHT177519A9ABDC45A37EC8C2B7104BA5301332CC386DB42C6CFA14BB50A3E570EC2E59267
Key Value
FileName./usr/share/doc/libghc6-agda-doc/copyright
FileSize3421
MD55A828C11D66B7E9AD78BFBB332DE1403
SHA-1020D2741715074B5231ECE54D685507DFF61F836
SHA-256DCF921E14C04A3F335FA5F80E9995036E8F22ACDBBD7ADA9AB778F61985CC8A1
SSDEEP48:guiDoR3M1OSJnlxEzFlQHms52/to3o4FIO9JQJzahVPvKf32sruT32s36t813ofL:gulRsuvQHoEoc9JQJzabKf3+T3zhINTd
TLSHT1D261084E33040BA321D71BA164AA9DD8B11FE12E7A23AF04386DF389033B82DD4FB454
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Utils/String.hi
FileSize3602
MD52EE3D294B6EB1D1EE2CF1CFCD3BCF275
SHA-105AD66F0BB0FE9FA5447441B2A5F12EA16181A94
SHA-2568EB8ED9951ABD79F881D8DAA326A5B215E5FC3223F8BB6B3EFDFF009EE367DF6
SSDEEP96:4GhPA/96Z/Oi/9dsjLO46aku1pykLGIlO:HPlvaCakspyIO
TLSHT17C710E49DEA0EA36C8840B3244E307163BB0E599EB439A67B38811394D4F7D62C5AB69
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Packaging/Monad.hi
FileSize406
MD5F6FE37AA3DBB2CDC9C5CEA78F54531E7
SHA-105D0FB412AB1F2A766B84C10B6748E3FCA570F14
SHA-256C46301F7C8B7EDBE4BE7BB612504C8041A5F14D35FAF19DE439EA6321C344E55
SSDEEP6:gQCt9eHDlpixVqp1Fw1+eQ5FECKPtwG9zlIQnl11o5olllq/Ln:gtYjaxVqveQ59KPtwOlH/1o5oA/L
TLSHT16BE07DFE04AC240FC2D61B728CE743203336B3062BC38DDAB0D5254441187506C06475
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Syntax/Internal.hi
FileSize146259
MD595D5D29E31011481FFF4184A24AECEA6
SHA-1068D452CC13CFC6A5C563BC83738FE36E14FD0D5
SHA-25663B2CC1CA24F88DCAE3A14AB4FCF764C3E51D90A87C8A90FB8040DB03B43E499
SSDEEP3072:H+hxXX9suc9tT3vyJ32qo2cFGYiLsVWPQ/ygOYg:H+/X09Pg
TLSHT178E30D0BEF562913EED80A7604F603543384E9D6D693EA67B65E3121BEC31D22C57ACC
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Syntax/Abstract/Views.hi
FileSize5284
MD52A98B4FC83821B6630CAE820E2483E45
SHA-10699C296DF8B9809509001D2B116D2857E2D0FDF
SHA-256497A3313BD2535BDBD55166D86A9785271A754A39008FFD68FC8E80591C10420
SSDEEP96:VWMzXNrr3Uo3gJRoHRoRRySXlCJYSrY5mTDXqeOUkjFU7N/PQ6/zzhbcYQR+fklz:VWkNDCRoHRoPdXlCJhqNUkjFU7N/PQqa
TLSHT1DDB161A9CF885A27ECC608774CBB03156B20F29AE912DACB9ACDF0522C474DC6C12709
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Auto/Auto.hi
FileSize15271
MD588FD334E2DE21DCD619E25CFD04F2BA3
SHA-107ACA41AC01B0E0CE1BA6E9FCAABF72111164B3A
SHA-25628478DEED40B13EFF086357040A37D6AD3A3FDC12CFF9AD2321A2793D4C49605
SSDEEP192:z8jpXRJi7EYHLQw1/C1cV8qNEdATGwUtCxSjpsUZ/1QYdqexOtXrtTjJWwU72Gi9:wpXX+EgycEdATGw8C3Up6Pbfdh61EDD
TLSHT1AA62B6E55B4829B4FAA10D7B6CFD8B111B906A229683D7DFA1D5D1E3148CC9F0CA3B34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/TypeChecking/Monad/Exception.hi
FileSize20810
MD532F8BAA5ACD1E5EB0B959F2D20525464
SHA-107DB3123D551190CA351EF4A897D7E1CD63916CC
SHA-256CD70CD4E0BB41D535DA0A621717DBEDF637D8B51D783B72B29B4AEA8390AE361
SSDEEP384:uVarEwLCq9w9e949S9w9S9X6Se2mhe09lgH/9yTriCbfgfiYaugFlXblxoK8izlD:u8rEwLCqyM+8aUZ6Se2mhe09KH/cvfg2
TLSHT1C2924251CECA6716FCC809BEA8B95F412356F18BF059E1D796AFB6223C079E4CC53212
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/TypeChecking/UniversePolymorphism.hi
FileSize13069
MD5815F8190D3B7F1E3895F2102F944F117
SHA-1085CF2418783F6D922DE7AD84BB1E1D1E2EC5C10
SHA-256C9C94AE79AB074B020DD3786E7992BEC84170DFB2D6448EDE87DEA13958E27BE
SSDEEP192:E/Dk4HcW2h5Dg/bOgA1+qytXrtTjJWwU7pi/PQ51Fru6c0QR+fSZ/Nh56iu:N4F2h5Dg/FAhbfSZ/Nh56iu
TLSHT17F4242AE990C4867EDE00A374CFE8B113B606912D541DBDB62CDE5B328CF89E1D53724





metalookup is a service from miwakeru.com