Result for 8E1D776782CA49B9AC7B17D580A8086040D13CEE

Search result
Graph view
Children (217)

Query result

Key Value
FileSize17730002
MD580D45461DD8C1B43D6DD189387A4BCCF
PackageDescriptiondependently 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>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.3.0.1-2build1
SHA-18E1D776782CA49B9AC7B17D580A8086040D13CEE
SHA-256BAA70D8BE777FAD4991393590FBBE3A41816A6995D35C1D23EE5AE014E658280
hashlookup:children-total217
hashlookup:trust50

Network graph view

Children (Total: 217)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Termination/Matrix.hi
FileSize118391
MD5CED7CAE31989A3B0F1D3D99605737B45
SHA-1039A6490EE69081E5CF7CC0A6FD6DFC27F975CE1
SHA-256450B98D0859CA6ACDCBB57D9046B8A987D5D0CDB9DFDD9412329A7FA1FD5EF4B
SSDEEP1536:ZmhL02Ewu/VIoRolvEFWGu8kY7cXG6Ke+zV8fudMATieuIX6ewQJ9qu1mBXKhd0T:Yo203RoBEFWGu8kY7cXG6Ke+zuT
TLSHT147C3BD869F01C602FD280ABA559707403FB0BE611EC6C7BFA65966336D135D62E3938F
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Syntax/Position.hi
FileSize105139
MD555344A24EDC497985230FDD364CD91F7
SHA-103B3C8AD1139E31D97C6E4723A4F76DC22798050
SHA-2569CA1CE733EE83A57E9022E5FB4843172798E3D48F2CC184E74FE035129145A60
SSDEEP1536:ZSFS6EArPe0TXoey2msLL9abC1hoe/mKlipzkQqpjfYe:gFSrAre0Uey2msLLNoeeKlezkQaT
TLSHT16BA343425F1AE912EC2C1975D4FB47047B21D9C23E06CB6B955CA1A6BD932C23C73ACE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/MetaVars.hi
FileSize60808
MD57AD19B3966F2EB212043FCBE6D52822D
SHA-1044F2A289482361382B7B1AF67761CA9B7468121
SHA-256ADBF353D6695236A5279680376D0CED9E2E55DDCA6FBDC203ED22E7B705DD4A2
SSDEEP1536:ZSA7PkLXk5ZzVtWz1q/OJ1yY+zwDRN47kwSokf4W/Ba3EfUaW2/pa4:77Pj4a3sxd
TLSHT1975382A41B18BE13DD204735D8D74F847720ECA9BEA1FAFBA19881E35C275D51D230EA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Utils/Fresh.hi
FileSize3013
MD552B3F6E55AFC7A5A37C47A62D4E16200
SHA-104F794A3B6E5629182BE87559282AAF081BC7C1C
SHA-256E85C3D24A47F518BBC71643979625A66CB5C4347E904515BF778B2D4F0938E7C
SSDEEP48:ZtE3V4VlTFxljWARN780eKG7WKlH3J7ZJFzVHs/A9tEU:Z1lnlPTeKG7WKNrzVHMIJ
TLSHT13351ADCBEE948B67D8C90A75A8F50704377DD26B1A43DB8FA38871843EC709D1E1216C
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Abstract.hi
FileSize13007
MD55FAAF24510B16ABE5B190BC269BE6674
SHA-10713B73439324633ED52683808AA2ED97ADC3FE8
SHA-256BC5443A4122FB877D0800A592F39A2291BD1CE295A0E16E68D69886B43FFC1A6
SSDEEP192:ZDBSIkimS+B5Hvs/5BGorEXRpmX9PV+qNXrtTjWwU7N/PQ51FlKDO+f62J7Jw1fU:ZVS/imS+BZvs/5BGoQXz+mf62dJiH0
TLSHT1D84262959F96C691EB640E76CCEF2B082760D315A10AC6EF718EC2527F432EE3FA1451
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Auto/CaseSplit.hi
FileSize21937
MD5CF0C5FBF8BABD593272E167AA99236D7
SHA-1086AA16DF6AD6D731C4B8946ED370FB64EEAA526
SHA-256ED5803C564971AB47A3060DF5C19EFC97CCEBE611C65AA0E7D2B91D2641ACFE6
SSDEEP384:ZE16yfFTdEdvbOMUFSgF2chijmkEpDHRO6GNaOfMAOnqdfZVmwyzLTkbFW1dfKSF:ZE1fEdvbUwaLpDHM6GSumJzcw1dSw
TLSHT128A27385DFC4DD0AEC590A32C0F76B403F29E5422B01EB6F61C865E1AD131E9FD65C8A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Compiler/Epic/Epic.hi
FileSize10518
MD5E717A29FD8BBB2A86ACA2AF224E9EF36
SHA-1090177822A3CE970D5D00A26C315A65981ABED00
SHA-256DC8030A88F148DA9813861F8877095DD30E755176FFE3155E42F502E8722CA54
SSDEEP192:Z1Mc9/DPvNvXKN8LE3/fOrA1+qytXrtTjJWwU72q/PQ51FlKDO+f6CI3N:ZTFDP8VvIAXf6p3N
TLSHT15D2231B5560C5961FE740EBB4CFD87402BB1AA139642DBDF20C5D1A3194FC9D1CA2A3D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Rules/Data.hi
FileSize17784
MD55736346335916BC1C954ED5953BC04F7
SHA-10A02904BB0A7B2B6AA87B10765F7D1066A2BD284
SHA-256654E6DED9BFAB54D40D461543C7F4D568F25A271EF8C08B912C530EC34A9E8C5
SSDEEP384:Z0bUAdTo6zF+F7NwLDWMYyf6EePdDJ2H3C6NT:Z0pdTom++uyf8PdkXvT
TLSHT1F482C6E51B181835FF210E378CFE4B115760AA129B87DFEF61D490A31C4EC9E1CA7966
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Syntax/Parser/Lexer.hi
FileSize12184
MD5800438A83E4FD37C7FFD6E5A44E5F845
SHA-10A549D33BDC692E2C7708DC05538D4AEE919EEEA
SHA-256FB527C09B37F0B2CC921773B40014E2AB403CD4B8BD1A92DACF7044F29AADF08
SSDEEP192:Zr4WSPrLGRkR7H4QfSre0ehlI+qNXrtJFU7N/QqFSDO+f6caq/b/XcwYzEhP+:Zr4rLGiuQie0eKf6caq/bXcwYzEB+
TLSHT173421BA60F0C6D2AEA040B3BCC974711AFA0E9766951CFDB7AD865622C075CE5E3051F
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Rules/Builtin/Coinduction.hi
FileSize43788
MD5E493FDCEEBA8E332F1BACD32BD482535
SHA-10C5CD83951D43FAC7AE3EF5032CDF0E63D530AC2
SHA-25660DE8EE2DC7400197253566053049F63B40161F1797D49B124ADDAC207C70F0F
SSDEEP768:ZMI0r9ordqOKCs214kGiT/cdQ1OJXOj3fP/cfD:Z2rmKcm0TU66w3fP/cfD
TLSHT17213A4A1AF1DEF02DD3C2570C8FB4B84B721ED525A89E67F4368A4A76C670C44D934AC





metalookup is a service from miwakeru.com