Result for 83C4DB161AE014375BEE4DF28CE6C194D2AE486D

Search result
Graph view
Children (199)

Query result

Key Value
FileSize11080296
MD5A17CBA1A682910DF0BA96E2ABE89CBE0
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-183C4DB161AE014375BEE4DF28CE6C194D2AE486D
SHA-2569659077D54D093EF0F67A56F4ABFD9641EB77D417443D2920E409C849358F151
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/Compiler/Epic/Epic.hi
FileSize2387
MD54856063BA8F4FAFF9E165BCC1AF9BE99
SHA-10020EF9745BB4AD796ABF04EDB69C81764F0AF9C
SHA-2568D5DEBA244F255A26296F3344000D3ADC35C29334268FBDFA0EFCF92EED32B9D
SSDEEP48:gsUaTmZI/T/0/zJK79JpQyNtmnSGD6J4J0OJmJcJxdJuJlNJVJuJofDHhZJC3f/h:gsPb/0bAftARD6qeOUWFU7N/Q6fzhbcZ
TLSHT1704161789F186A34D98919F74D7317106B207376DA826ADF53C8E643428289E3D13D1E
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Utils/Size.hi
FileSize3356
MD5A1AAEB04E4C80174A345336C0E759594
SHA-1008E404641A814A8D72252500F27914BB80886B4
SHA-2566AE635FF06775BA43A244B5DD83D2B87B3BFDC214E5DDB174B1ACFE61C89C199
SSDEEP48:eKss4tOmI2iZ2OmyU4rI+/djKoPx3HQaXMlQPJonIf/kXJBRPJeUBB8T:e/tOmS4Om74U+/5Kox3HQacWukC7JeUy
TLSHT1D461AD8ADE90DE35E8941F7194F603003738D1AAA383CB97624D3618EE875E01D62B7F
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Termination/Matrix.hi
FileSize88506
MD5EB507BF4E970217D72B4CA0EB6A60945
SHA-10102584A4588E1B3D1D1405EC45C523EDA7DD218
SHA-256C3589219DA6B8B3845E5E9FDF3562A72E1F7BCD746979A6D78B996A56E0DCEF9
SSDEEP1536:PtUXhILrj8BpNf2nQWYuIX6ewmMJ9qu1m1Khd0WhfsQLI+CmRJpw:PtURI3jGp1
TLSHT15D83DA8AEF549A0BDDF80A3624B613203728D589D619F747724E35302E8F5D83E9B7D8
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/IO/UTF8.hi
FileSize2958
MD5D5DA487504521D783B10961B84D49D37
SHA-103D2BC0D5F21CE34B5D66D34728C3DFA4FA66D68
SHA-256022FAAD50BC24DB5AF3EB5C8D1C8024A611001449E385D5A0DAA075A0348D5CB
SSDEEP48:PDqew43ex0a5yC00/z8ghIj6tytUpltCBibTxK6NpcLQKJaJqMf/3sa3/Ni2gtje:L243ex0It00/zzh8UPtCBiXx5NeQbvn9
TLSHT15551BD9E8EE5AE3ECDD84F7695EB46102724A171F986E7A3319C7134000B6D81E1B729
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Syntax/Strict.hi
FileSize9736
MD52EE0391250F4AC99552C052C13A5EC5B
SHA-105F094C26AA7E5D8758058657EBF1EAF16ED9B0A
SHA-256DD0C89A9C23994DCA9F0954A26BFAB2CCB28CFEB360C3B3BFA9B40B83BD842A0
SSDEEP192:bBpO/zcAezJKqtACPWKuwuiqNUWWwU7N/PQ6d9QR+f9CAvtfMVWI46:ygAquCOKtbf9CYtfMVWI46
TLSHT1521241BADF44CE31FCC48D7758B743000760E19AD218D797A18DE262AD874EA9DA3B74
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Utils/Trie.hi
FileSize15360
MD565D90CBC1AB5F87A6C8DE380205E4F2C
SHA-107140A5D68FF6423873EA7FD35CB55BC964585BD
SHA-256A9D18ADED377207824672C8CB4FE0E2A42FC65F0BEB0F6C92E576B37654CAF64
SSDEEP384:hvyc+YDfac4xEl+p5HHiA82fj+EVcvMxHbzv+:hvyiScsp5HCGfj+EVcExHHG
TLSHT19B620219CF55AA6BEDD8073348BA03122B96D016D351CB5B768E71342C8B4FC6E53738
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/TypeChecking/Rebind.hi
FileSize5152
MD5E762B257C7043765FCCA63F8A5F8B23D
SHA-109415109A13A540B57A996F1E193090C6EC15392
SHA-2564D49958F611AD50A2B641E86395C64E07BC435D1BDA335D2AD2244F3211E34F1
SSDEEP96:g7gJnZIxcoLNyabi+7Y5znYf8VDTNk4o6+qy+OXrtTjWwU7N/PQ6k1FcYhbHYQRu:WLLNyabPgx5+qytXrtTjWwU7N/PQ51F4
TLSHT1FEB12FB95A4C15A4FAE50E774CFECB011A906A22D642EBDF20DAE1E3144DC4F1CE3A34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Interaction/FindFile.hi
FileSize14637
MD5579FC15E5C682039DF4CFA03C070725E
SHA-10977ACFC80F902063C2DCD31A9E1CA821F71C34F
SHA-2563285E981979BFAF20EB91E09E2E443F7A31D574647C40FE77A272DE13E4DDA34
SSDEEP192:xsxtbxdvwKib+t7Mx05gONLQL++5a7KWiGdeTBSUvpO1fZh8SKPM+qNXrtTjWwUZ:eLjkmSckTbfaHW7EZf/Zt16ln
TLSHT16A62FE6DDE5C5827DCC40BBB8CBB4B003724E628D601E7AB728CA172285775E6D4BB58
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3/Agda/Utils/Fresh.hi
FileSize2965
MD57906235384546E7701C88DFD17E0C87E
SHA-10A54D7C146E5955CE602BE6C7D02D18B8B4DEB8E
SHA-2560C9B27480010268F49C8A7FC4A45A0529B1AAF787BA907B50FC7FA022B1E5CC6
SSDEEP48:27MpOo70NT/aFvBl/a8eP3su+oH2JQUJ7Zf/oz9/t:27Mu5/aN//a8jUWJnQzFt
TLSHT1895122DAFAC85BB7EC8C2A787ABD13043668D2464547C98FE38AB1C4BF9715D0D1202C





metalookup is a service from miwakeru.com