Result for CDBF7009DD2FCF2FD28F0EB3451E03E5B90A5DAD

Search result
Graph view
Children (184)

Query result

Key Value
FileSize13177438
MD55745D2056C854C9EA96B4C37D2844AD0
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-1CDBF7009DD2FCF2FD28F0EB3451E03E5B90A5DAD
SHA-256589410D7A02846096E15E3329336A63A44F3EC49D814A06FD265FB9FCDD1B7C0
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/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Options.hi
FileSize24995
MD51E24AC1D8DFF1F1AE21BE79067C30DE8
SHA-101E97E6C66416AE7B4FF985BE9FCFA19ABE6D4AC
SHA-256E99457C48606ADBA2B9889D39CC64D56765F8893F29405DEDED4A2466F3CCDC4
SSDEEP384:g/Jqj4Zot1L+5WL+fL+6T6TKPlNqOygOMBgQ+85Ml70fq96BnbfoyKYKoWjGRD1p:gEjJ6W8NfvfLse
TLSHT176B261AADF64891BFDD94E72483B071037309199FA21D6D7224EB023ED9B4EC3DD2664
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/Parser/Parser.hi
FileSize13906
MD56A36AE4C82F570C1176CBBB166129AFD
SHA-102948C86EF379E6382BCD12B7E19A29326147C00
SHA-256F6A3FB8D324581DB5D417FD1A41F921C1453FF0A2EA85D44CB51774B8792B29C
SSDEEP384:BAEz8ID7QiftcZGbfUet0ZRLeNt8AZhoj:BzH7QC46fluCNt5Zy
TLSHT11852A59F9F44693AE8E8047B08A713041368B620F50BCFAB79CC75756E8B45F3E97224
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/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/Interaction/GhciTop.hi
FileSize91286
MD5524DE849DD0C43C4D821D9FAAC859839
SHA-108E3FA537F567A3DC6AF6C31CF739267BE6203AA
SHA-2565D57BC05F0A8279DC44729AE69F48F2D01750DE54203F62A2519292AAEA0C1A9
SSDEEP1536:OsfzIS6LynCtMpUbhBUW+Qr7O+XWviUCiCn11fICxYX2priKMZz8hqvYRWksRQ:LfkLyCNbICnWz8hqvYRWw
TLSHT1EE936F48CF587467FCE1033A14F7832A7B20BA65D619DB9F3A8D5132188B4DD1E97B28
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





metalookup is a service from miwakeru.com