Result for 70D287EB14125C277D14B51D74B414ACAADEBAF5

Search result
Graph view
Children (184)

Query result

Key Value
FileSize9532610
MD5CCB44FF84083B9E996E96A8A567E96E7
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-170D287EB14125C277D14B51D74B414ACAADEBAF5
SHA-256803C487AAB28948B860736105690C05C6D08AC4FF938BCA7948D9007EBFE1C35
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/Syntax/Strict.hi
FileSize9683
MD5AA9BCA5ECAF9A051E91FB868CC7E897F
SHA-100477D5E075581AFE7620BE086195E44B9C52506
SHA-256B0C8C3256E9FD9262D3CCEC2228B4784665CC879847A8784D2B7769580CC6A7C
SSDEEP192:WF+bfP1unvvctwnNXz2GqNUWWwU7N/PQ6YWQR+f9CAwtfMVWI46:Q+DUnvEtwNXJbf9CJtfMVWI46
TLSHT1A012508ADF409D21FCC03E7F48AB03005760D2AAE215D76BA58DE2727E530E95DB3766
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/Utils/Hash.hi
FileSize833
MD556241AC6E8214ACECF6E5403FA214B4D
SHA-102C33A09243625E06C3F9B8906AA93965072E4F1
SHA-25608C65F2639E95DAF7F3B939A2C5C1B4025CEE034371DC3D517E1F8AF935D8001
SSDEEP24:usl55xY6ee2PyE1tA6Gl9/JEys18P/XERy:7l55x3eh1e7/JvT/Iy
TLSHT19001239F1384882FDC810F7260DB1371327177263B87D33B40C449A101C7B807E25596
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Generics.hi
FileSize2459
MD509A08ACAA2E2F9F9AC16C51BD5DEE971
SHA-10589DE16E1783894BAD9945C7E9EA72B02B31E66
SHA-2560F79723F20B4BBD1ACEB30322E825EA273F5C541C53FBD207283A2E0D40A53C4
SSDEEP48:hcwsKhdPxrzdYi//EX3USa5k+tTJuqy/RtNlvN9e:mcrzqi/yKlovLNl3e
TLSHT14C51DE8A9FE4DA2EDC820E71A0B3831137749555E743DA7F62C832921507E901EBAF78
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/State.hi
FileSize15217
MD52B2D9D6EEC3BD76AD11FF71CFFBA76C7
SHA-105F4009889398A4E1FD2A588BAA9AFAC84843BBD
SHA-25659A77E819B835D42B38141F5F2D3B9BF2F294EE4F70AD46168698345B9D17E55
SSDEEP192:uq6kQ+BFTtMW7yw9SNiJAyTwXybK0Xf27z0+iu7GaZMtPh/LilPZ+qytXrtTjWwH:u/k1JMmFLqOA+GQFy1etBurnbfoZsGRT
TLSHT1DC622198CE509836FCDC0ABA8CBF87512B60A69CC531E3E712CDF4271D8789E2C4B654
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Tests.hi
FileSize11170
MD5410CE72E434448197AEA04B73F3D8C7F
SHA-10787AA26C7F74E11C2CE06C4BE85D1BA68523EF9
SHA-256D8CF33A6C4105D7353380B48AFEE6A49E67DCCD479C473D24E8FD6AD54A2639C
SSDEEP192:Tx69UFLcvr6JeytdLjLs9XjZZWdZYdqe+fOtUXrtTjJWwU72Gi/PQqlP1Fru62Or:TxBFLcvr6JemJjLsFZKdyPbfmBUu
TLSHT1A83200986A4D1469FAB40D772CFD8B240B906612D242DBDF21DED0F7294DC6E1DAFA30
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/MetaVars.hi
FileSize25607
MD5A03377D1BE46184D931DE51AEBB12F4F
SHA-1089F68B3A17E3C90FA8F78813E3C34BE8B0B1304
SHA-256E40E148914FB0AA7122B8F990D4A0A20E26DEFA0E74595DAB0D4704B9FBB11F6
SSDEEP384:X0mOA+PIH0aN86C0A+sm4ZrovqrCC0zDB+BHW8Q8+Fa/DKk41Bg+OpPr93klBRnS:kmmG/T8+FnAxB3klffUF
TLSHT14CB23E5AEF68A96BECC80572887B4B143380E58AD150D69B16CEE1517D8FCCEDCD2F06
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/SizedTypes.hi
FileSize12595
MD505FA45E4FDC662989CCC89F96A2FB147
SHA-10AD907508DBDAFDE774E406165052A137215DE4F
SHA-256F7D3E590788DA5521F0F4A8A536600EA584AC0E0007633ACFCA4DEE0FA39D37A
SSDEEP192:cIxSC9X4L0M6IOtYgotuEPN+qNXrtTjWwU7N/PQqlP1FcWhQR+fMSl3NUGRuz5Dd:cIxPXWWIOmTUnbfMmUGRg5Dd
TLSHT1DB42239DCF584827FDC40A7BCCB747112B20E69AD641E7A721CCB452AD5B88D5D83B28
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS.hi
FileSize25877
MD5FE267C59F716F4862C46E3FAD68414E2
SHA-10B6B57308C436AF7BF5E0A9E207EA1A5BAA540D9
SHA-256E6BA1E499A1F2B2379286D7CA37A7DC9B4FB315A97B0D1E206F22E4E7F8DBAAF
SSDEEP768:FNO0OmC2fVuELhZtu9vAkfhjnZ8Ex9ved:DO0fduEMikfAIMd
TLSHT12FC2C685EF1C0825F9E40D7B5CFB470017A4B661D642CBCBBACD9172298F89E0D633A9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Names.hi
FileSize7544
MD5DF40338731EF6E9A049FAFA5A4CAFC16
SHA-10C21B7EB5A3E9177DBBD50CB774A830500ACF605
SHA-256E5413DF17AE28F74CDA98013461C091A6753D69E596A63BD144473BCF2AB3DD9
SSDEEP192:40k9OslOkwTkkpKfs2P+ja2ssYaVswRubZEYaDqNUWFU7N/Q6YKQR+fSMy:Zk9ezIuKUm+jadsYqRubZEYaVbfSMy
TLSHT13EF13E1ADF68B93ACDC88D764CB303112B98F354EA468B9B658DA4321C4F8885D81739





metalookup is a service from miwakeru.com