Result for 25F05C7DEB0519DEE43016A92CC2324F9D93313A

Search result
Graph view
Children (184)

Query result

Key Value
FileSize16641564
MD5743056DC1D8852E6437407290E1983EB
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.6-7build1
SHA-125F05C7DEB0519DEE43016A92CC2324F9D93313A
SHA-2564F5FC9693A214AC7A977D288C1F957DD26F0DE5D30EF50E46B656015B2B8FFC9
hashlookup:children-total184
hashlookup:trust50

Network graph view

Children (Total: 184)

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

Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/HaskellTypes.hi
FileSize26620
MD59B31FF442B655A2B19806E27D515AA6F
SHA-100284F57D9F6E447A49B75A75C9FBCB015C3371A
SHA-256BD08162E774B339593B9E839A6516DC1645F2DFB36848BDE077EBF7B5F7DBDB7
SSDEEP768:rNNC5g9uP705ubDnTkVcOzzTf7Ts7O7Tk7u7fS2TIIjPnfAh:PCS7fdcIjPn4
TLSHT159C2435DDF2C6457EAD8863215BB8B0033605B06C1AAF79B7F6E10718E8B45D0DE3B18
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Version.hi
FileSize1427
MD542D2AB191446BC3AED78E8CB6BFBA7FC
SHA-1009359BDB85C3DA143ECE53152845531DE305123
SHA-2566621341A326C25FE2EDC4C6103665F22889770A57E2924EA532C69273930AB7A
SSDEEP24:kBdb9P7thebj7LbYlxWfxPHs18P/nlNSz/PhVQp:IdBJ1DSfT/nl4rPhV0
TLSHT15621EEAA8AD26D3AD4900F7A94D7132017791A82E9FBDB2F659130350CCD1C82D16636
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.6/ghc-6.12.1/Agda/Syntax/Strict.hi
FileSize9687
MD53BB925245B7E471140B399785BD3C4AE
SHA-102EF7760F8E9FA14871EE9230038901C9EB7F206
SHA-2567188FD5FFA70D1E377DD5B8B492189F28B18FF3C56B1B249871CA973961214DF
SSDEEP192:GR+bMAXhuDYPtMzegX/6GqNUWWwU7N/PQ6YWQR+f9CAwtfMVWI46:s+ngDItMCgXxbf9CJtfMVWI46
TLSHT1F312518ADF409D20FCC03E7F48A703005760D2AAE215D76BA58DE2727E530EA5DB3766
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Options.hi
FileSize53830
MD5E740DBB79549F05B337084915FFD6548
SHA-10880DA80217891AAC9741B97B5A460716AB4CB2F
SHA-256840375C204ABC3F48C5667F8C688674FDCD8EC4A136B6168F1B5C3BF81D17503
SSDEEP768:98zk2y0pn6wtWEPrj+9wbjlnMWHfC0vwd:90km6Sbj57fRvq
TLSHT115334584DF74B519DBE60AB18C962B202339E680E372AF67324FA272DDDF0965C471D1
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/Locale.hi
FileSize1446
MD55B345CB959339B90B1E9D4992793E53E
SHA-1099B58365C3A3B0074BE27642C26858DBF1C6214
SHA-25610825F3F8EC6864B4CC1B3DB2398EE2BC1E6BAD1D38224A36F078EAA71F8AC17
SSDEEP24:qGT5PnDib9jZbSOAaMFDTIFpOJvs18P/DUask1tf9FhHg:/hib9jZbSPLDTIFpOJvT/Aas+tfjhHg
TLSHT1BF31789F2EC49C2FDCC08B72A5D71319223062A6F753C6AB3588613400877482E26715
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Data.hi
FileSize15344
MD5A2992AE144ED1A0C404F25BF087A2014
SHA-10A716C1D928B9C7872AD3EBF87D0E14052AD479D
SHA-2564E54AA5F189345FB820A73D21F7C33E15BD0DB55A4BA05A045969D2ECDB3EFA0
SSDEEP384:NjWcakbvtYd2f1KH0bf3EjRdCJlVXaDX7/mE:Na7+vtKtUf3EjRdCJlVKT7/h
TLSHT1FF6284AAAF181934F9B50DB30CFE4B1017606622D157DBDBB5D9A0B308CDC9E0DA7B64
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Convert.hi
FileSize28175
MD5BA4FA9A442AB59F0785F5A41061B801A
SHA-10B5319951F8EEE8D57D2923197EAD4FCF4CD2103
SHA-256B3C848F0F17A42A60C982C159E5B6424FB95DB215562B2341E69059DD6687E16
SSDEEP384:UBfYk/VCNI/NTRx1VnQ50HKvicquTg+BtghE/3ZEQhPbfxvnEEDxyJEzEA:IWNI/+0dkJrhTfxvnEEDxyJc
TLSHT1D3C26399FF0C9926EDD40E329DFF8F192740A511D243DB9B729C946659CF8CE0C63298
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Operators.hi
FileSize13293
MD5D55DE442E8605C31A47E26655375EA93
SHA-10BB9EACA8E98E02303F629D0506618B006081AAF
SHA-25611D8F89A135E96E759DBE77088B4ED65A6B97AF59705C372294AECDFEABB4F22
SSDEEP192:7kvtSIgXes1DyDX/oi6vS0kJOWXH+qytXrtTjWwU72q/PQqlP1FcWhQR+fCtLEBE:7k1SIgaDX/0kJOMnbfCNZ+s1z8GRb
TLSHT1A352C6A9DF482D29DDC409374CF743103B20E29AC645EBE3A6CDF9626D4B86D9C83B14
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Generate.hi
FileSize15322
MD5D87656D94AB04261620F2259AB560683
SHA-10BF903944FE2637EFEC05FA6454F9834EFDE21C8
SHA-256F5F9A1B053044B23B37C5CE9966B136C009675DA28907B6D9388AB3264B706DD
SSDEEP384:NhIRyj6l4i7LyOUD/vwyavfAqnbfO0DmF/RE+zfoL:NSgCdpuivoifO0DmVRE+e
TLSHT14E62B4E6AF1C1A25FAD50D375CFE87001B507A22D153D6EBA0DDE0A3288DC5E1D83A75





metalookup is a service from miwakeru.com