Result for 41FD0E77A0860A12B167001F779577D3598A1728

Search result
Graph view
Children (228)

Query result

Key Value
FileSize15569896
MD517CA1FF96007D48CFEA3B67151559F47
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.2-1
SHA-141FD0E77A0860A12B167001F779577D3598A1728
SHA-256A1FF7EA8BB5140335BCE7F09E9AE5E3B1374427CFDD07418AC98EB904D1853D8
hashlookup:children-total228
hashlookup:trust50

Network graph view

Children (Total: 228)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/Substitute.hi
FileSize119310
MD52D45FDB12227AB4E35C01024DAF7B019
SHA-10059134E5A06715673E04AB2E66F783B7C63AC87
SHA-256FE57266C473275DA50DAFC52CA3119473AFE528E96293736F9E444F2BFC6B9F1
SSDEEP1536:ZvzQX24Or0/CCN9YDnZsZZCQOl+sMX6le2ALWSfY3Z8sC5H9zRg/zBgazh19U9ff:xsX22/lNiDnZsZZCQOl+sMXue2IW0
TLSHT1FBC3FD2BFF19E602DC340BB140B62B047B21D9C636679B6B644E2970FD931E62DA74CD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Compiler/MAlonzo/Pretty.hi
FileSize13567
MD5D103F9FDCD653F9D43676E720BAC7140
SHA-1026CB33ED2EC31C655211AAF815CFF27950494BF
SHA-256A746A49481B7CFFE27FCD9C7770EE34270B16A2C67EE9C68F57FC1499B371C1F
SSDEEP192:ZST/LB06syNlrlMQ9PwJWK1iAir5Z/1QjYdqetUOnTurtTjJW/qHU72Gi/PQ5F1n:ZgTB06s7QBy1i15gPf6uJBJe
TLSHT140520365EF084961FA310E765DFE8B112B90AA934243C7DF11DAD1A3395ECAE0CE3671
Key Value
FileName./usr/share/doc/libghc-agda-dev/changelog.Debian.gz
FileSize1799
MD529A0F6076D7058A5DB491A292979D96D
SHA-103994E3F239B03A0B62637DD014F1584E44DDA91
SHA-256BAF1648E5FC046576D6E4B630A8988ED27FFB844BD8D71E9A433BBEE1E2B1363
SSDEEP48:XgLndVAV1Bz/j/p/wUdfJ2D9831dGQHL0EUcQ:wrMBX/tiDkdfL0ELQ
TLSHT1B4312BB40A7AD1AA95C0618763465852AFC22D1532487113EB1C96DED853A385EF0A32
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Utils/Pretty.hi
FileSize6007
MD54E82F9D84D1302C6D37F30EC53F23BE9
SHA-104173A23B9E1A0EF4255E185B338D60628ACD582
SHA-256239593152DEED594D9AD49C74B84A989834786425E4939ECB7F589B8FD7748B6
SSDEEP96:ZGME0BHblNFC7YiRKmUUHznP9FFoKJmqyYj8b+0J/ra0O6j90nIvc:ZGME0Zbo/RKrUD6+mdM8bP/ra0O6j90L
TLSHT199C11D55CF14CB36D86C0771CC7A4202BA20AEF4A9E3E353559F56222C971E42DF4D9E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Compiler/HaskellTypes.hi
FileSize22851
MD59EC7F8F13AF7C517CACD096A7657CD4D
SHA-1060B651005B0B6211424B40E5B758D8499F183AB
SHA-256365341F062C9DA505E7D4075DF7FCE70F9F7795E0692C7CABDCEDFE04D24AD48
SSDEEP384:ZstQFlzidza0ehoVbkuGQCFr+99gwTYNI7ttvhqf65j+nOf6L6Vlk:ZstQrOaS5dYctpUfoNi+G
TLSHT17CA297B8EF0CD616F9644D328CF74B00B720FED34661D797489A92732D5B4A80CB29E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Compiler/Epic/CaseOpts.hi
FileSize9161
MD53311D3FE070071BA8B9E86FD3EF09BE5
SHA-1067EF055C8D3C57E1736258FAAE971059A35DEED
SHA-256A42DDD2E925113743677493AE8B5307C98E8F62F474D6D0CD3736E6DF742C020
SSDEEP192:ZFgJFQTvZwY0yTYXT/NlSPMTi6/1Ymv5+qNPnxrtTjW/HU72q/PQ5F1FlUeCBr+E:ZxTvZwY0yUXTNlSPMTietvrqf6plQnY
TLSHT147126279DE180676FA500E774CFF8B006B60ADA39902DBEF15D5E2A3240DC6D4CA39B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Syntax/Parser.hi
FileSize10481
MD5CE5323697E70A728674592D284D632E0
SHA-107CA86377F4B3066EC85DB72A7F7C2E2BDEF4598
SHA-256EF294257BDF02FF7275B96DEA5780D782B91FCC0F42C5656EE9FC9C91C71597A
SSDEEP192:ZPLvwbNp40Mrcm3hES1euUA+mhVbL7Pn2q5usTeBD+qynrtJFU7N/PQqFceh+f6j:ZDyS0Mxxl1e4+mhVbL7PnL5PC0f6dmaX
TLSHT1222243A4CF18C315D83C0EB64CB70701B730EF85B565C7AB5988B6837D536AE2DB2899
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Interaction/MakeCase.hi
FileSize20996
MD590B1CA07C8983976B99BAC2EB8887FD6
SHA-1082864A146089DB9D3FAC284EAB3274634FF07AB
SHA-2564BAB7AED090C3FE8CC78511DFE7090DCFED28393B598848717F8B6804847A776
SSDEEP384:ZGuonyO3/DIZ0rXt2PaV9yPV6+nVRx5gr59qf6cEv8r6rlMp:ZPUtIZOQPEUPTV4ofXQOp
TLSHT18B929768AF0C5661FA200D764CFE87006B50AED38556DBDF01EAD1B3294ECAD1CB35E5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Syntax/Abstract/Copatterns.hi
FileSize49444
MD561830C57A007AEE458AB494601577487
SHA-10891430F4DEC010435036E1AFA1CCBF50535DEF1
SHA-256BCBEA6A981C01FC49DED7F1A77360EB6CDC5B7B89E833149E40DFCA90CC02883
SSDEEP768:Zoib0+lgh2xhNCyXVKAiXvu50E+RkDxEfcLzGffgCWnzxl:Zodt2xhNNGOxEfc1
TLSHT18D23107BFF15DA1BDC251A7A8CB207607721E9D25932CB67688D26306D931F42CB34CA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/Rules/LHS/Unify.hi
FileSize151926
MD5C3F6A81AECFD6878DAE637246A06A76F
SHA-1091E009F5A4D2EA15084D0EC2894A9C0183D6848
SHA-256377BE683EDDCFADA1BDCFC7336431A9DF24E567BFD9C25BABB338906DBC3F694
SSDEEP1536:ZmOxWrIhN6uEbTikCA/0aiyXzoH1jjIw8jP3I+6epGfKX2zHbleQzmS720XMcP/M:woWrygbTxCsyfTwpA/olVKLfbTTyZ
TLSHT128E3EF3AFF09A31BE4242B7188B73796B714DCC60929CA57560D3223F6A28F15D276C7





metalookup is a service from miwakeru.com