Result for 4EA326670E9FF90D52B79218B32309D39CE63503

Search result
Graph view
Children (251)

Query result

Key Value
FileSize9747194
MD5B54B566916657FB0277DB1721AD9AD95
PackageDescriptiondependently typed functional programming language 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 provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.4.0.2-2
SHA-14EA326670E9FF90D52B79218B32309D39CE63503
SHA-25618ABBF56A19E8FA2312CA242D5E2321B7EC33F5B65704CBF9A234F84C9F3D716
hashlookup:children-total251
hashlookup:trust50

Network graph view

Children (Total: 251)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Case.hi
FileSize16106
MD5D77C53515A1B486C42D698462C671DD7
SHA-1004977B7B88978BB13C055096540CE1A162151DC
SHA-2568E1B3EFA1C9E18A89D320E7E305111CFBA07A4AA7042773720EAE40125B09FA0
SSDEEP384:To1o/S3YwpPYEnJsRIeiGV2eTNPOjr1jBRyR9KS7t/e1Uf+XVQ7ZJTEVP:TUPYAK7f+XVQ1JTEVP
TLSHT1BC726710CF04C721DE7846B548B607427721EED2AB21DB57A68FA526AE534F41CF2CEE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract.hi
FileSize114131
MD5C66695AAA85A5764187CD80314CCB34B
SHA-1008694D811B734C88BAB977D6C47B38FD83F70C0
SHA-25612F78484297D891361D774196504963530E26D78711ADF1BB86F4C81BF4D641E
SSDEEP1536:THMoJcwJcBeQuDe1Qqni35ZjX0bmkXGf/t+uCiL/7JUUrSv+yGpgbmuLZB:bMoJcwJcnbg5Zwbmq/bn
TLSHT176B3302AEF54E793E838033604F517027B21E4C3A722C397954A2231BE535F5ADA79DB
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Name.hi
FileSize39079
MD5261268A841CDC35E6001B1FCF1CDE177
SHA-100DD0BA9311644E7E665E290376CBDD1AFB20B7A
SHA-25675D9FFCCC42C6A6E47E5D54421AFFC71D4493EFC3C4BD9B3E2056E0B1C145731
SSDEEP768:TZdshaEp5iDAq67ZS/XoBSfvPfcXJDQGS:T4TiU/OfTF
TLSHT1C9032F12EF59DB22E92D563550B61701F720FDC29B23C75BDA8F61A67C231A03CA21DE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Precise.hi
FileSize94272
MD592A9ED091B3A94B490D87A4EC4FFBC48
SHA-101E0053A4ED923BD257DACE7D320F675C905E56A
SHA-256937E34C201855EC5981D7718507197D930C17287B6EEAA6BBF0A58BD1B848651
SSDEEP768:To+4ggPOs19YksdArKT7bpx6p1ViMNpOc7lzWF3z39dqgZRqUVML4vQX26HLZZx5:TjgPNYkgA2P/qVr6BqFNfvbAb7nC
TLSHT12B931F56EF1AC307E8395B3504F71310B721ECD29A23CB6796065621AE631F93D728DB
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Debug.hi
FileSize1417
MD5440DAFAB664FDDE45BE82E7201BC3C59
SHA-10251FD05EB767893CB2670E648CB890560D66C1A
SHA-256FC8C243857EA08E96F59B87F14399973722C43883C66ADA516D311A2C5D5BB3E
SSDEEP24:T+A/gR3DTo+6TECNY3JaLyXOH0IMd7rdiwDZhBaD4yevcllcgs:TB4R3DToZVYgLyXOUIMZZZraD6vUlcgs
TLSHT1872100578FA0C777E3620B77C5FA8340B328E9D27927C98378D5711028877D85EA2568
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/CallGraph.hi
FileSize24443
MD549103D9C07A229940C3BDFAA82C6668B
SHA-1025A88A5CF0F1DA694481EFEACF931FCF7700CCC
SHA-2565B89FF8F6B85C06F82D1E61A720B278E4FEDF8EF0CB17A43BBEB285B90825011
SSDEEP384:TNLaAMvMBpU+nG7miyyy3mizdQ768md0DELww6M6KShB/b8jmiOnduTkdBw95IAg:TNbMvMBpUUKmiyyy3miJQ768md0QWh+a
TLSHT1C8B2101ADF24D715D826267238FA5F0037A0FCE6113ECB8B979965207E236F11CF199A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Termination.hi
FileSize36600
MD558B2203843D10F680070656BCF4AC1EC
SHA-102A70287D59D85127FE1E1683D635C50BD80186E
SHA-256ABED0F3ECB16AF6F587A563349AAAA3F717FE007C5F9866D9F0E2220A0359237
SSDEEP768:THZccXKWKpyyRJnKQ87KcYKPWKBcKWKZBnKNKNKDKGvKNXKTKTzkNKlKoS2zftGE:T4hpyyRJK0cjPhBXhZBKggGGyw2TzBYK
TLSHT115F2776BDF2FE719DC3D48364875A7917363ECE75822871B60CD026A69A30B60E850ED
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete.hi
FileSize109140
MD5DB657ABBB9A8977B02243F1A11C344B1
SHA-103E0E1AE014B9EA856BBC054A04A598F3EC272BC
SHA-256C79472F3FD66D38B3D46D4749A5DBAE528C9FE7068E886F23F2DEEE860687654
SSDEEP1536:TqpwxXOfKeXXmWJEqPuuSjmC0ioymf/KlmlNkHLSps+mf7kk3zQSHTycidVC:OCxXOSeXXmWJEqGu+mCRmZps5idk
TLSHT13EB31F9AEF24D347D8661B3948FB17003721C6D92222C7BBE29D69247E534F27DA20DD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Copatterns.hi
FileSize50568
MD5FA220505717762B2006B317D0AD088DB
SHA-103F53D2B803D3E6110DDD2F535A209A1F4AD8F92
SHA-256DDC18E8C1889875EBBD3BA1DEC131D8210C9AB6A74C1E7F789399FDA7F4DC734
SSDEEP384:TNVTE95d5QqFNsBFkLpQTeQpQST6hiU9XXYkxjZxC/CTtaK0t9CT8CTACTHCTRCS:TNVlq280U9B0h6WQ4HfuBz+XfDC1zal
TLSHT1FA331E7BFF15C617D8691A7A48F647107722D8C35932CB67658E2A306E970F42CB34CA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Positivity.hi
FileSize71381
MD5FEE36DCCA7763963D28685E0A16B9B04
SHA-1048EFBF4A337C1237C3864E28F356D60D9A46E42
SHA-25634956BF0CEA48C1D5D3C0BBFEA1ED5C97AE577713307E2E5D970C4588C0F8774
SSDEEP768:TdoAK+LXTYQbGdI8nYft+iH0yI0JodQhUNleYvHTHlD/ioLxaHiBnj4vnIOfN27X:TSA3TiICYEsosnnIOfN2fbX/
TLSHT159636366FF18C613E828577248F72300B711EDC21665CB9B548D7232BE835FA1EB64DA





metalookup is a service from miwakeru.com