Result for 2B8828FDBE83625C84C4AF70EC9E8AA476851B56

Search result
Graph view
Children (6)

Query result

Key Value
FileSize7751992
MD55F8D9A83270B77FDE6510D2860D08F5A
PackageDescriptioncommandline interface to Agda 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 command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNameagda-bin
PackageSectionhaskell
PackageVersion2.6.2.2-1.1
SHA-12B8828FDBE83625C84C4AF70EC9E8AA476851B56
SHA-2568E4C39FD316F8B91800BEA9B4AC580FACC23C83030662C928031F1A9C2634466
hashlookup:children-total6
hashlookup:trust50

Network graph view

Children (Total: 6)

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

Key Value
FileName./usr/share/doc/agda-bin/changelog.Debian.gz
FileSize597
MD5D4330EDC24415050AFEF5888152D92B1
SHA-182A1DCB229BCAEAC654CD364057CAD87C50F5034
SHA-2568D996FF23C741EE41740B379E7FED445B9BDC717FB96CFBA29F6C1ED8D8061E5
SSDEEP12:XxUX5aHTN3PSh8RV4rtHKk22O7c56jcyOsjq2Tm4FiPUFp4A+U/:XeX5aHTUORVid22O7c56Yy9pTDVpH+U/
TLSHT1AEF0B7A0CF399E8B40198A7027034B20228035DC50B02D1EC2D192F51B12C30B7377FC
Key Value
FileName./usr/share/lintian/overrides/yi
FileSize30
MD5B120D03F70BA9EC34CE4F632B0CE0D7B
RDS:package_id222721
SHA-153912138BCFE8A1BE136688646EEE0442706D9F0
SHA-2568D328410744938511857EB8786898538A5FE7794B25DC525C07462769FCC1F4C
SHA-512A5A0ECAB6CB0AED68B1A527005092393F27EDB31E4FDF4FDE7DCF80BE2AA2713585E7E7ED14BE1985DE29E32D9EFEA17E14E173D79127F93ADDD57BCEAE1F854
SSDEEP3:/X5YbuDzVK:/pDzVK
TLSH
insert-timestamp1763481567.4138522
mimetypetext/plain
sourcesnap:bPqQ3XNspMLeZJjyB5BsdIoZGop9WIjb_62
Key Value
FileName./usr/share/doc/libghc-agda-doc/changelog.gz
FileSize1313
MD5BB08E24371D822026840FDEAC39F2210
SHA-178C6D4A8312A60B8D1E49DFF37AD7A62591DB220
SHA-2569A8176789EBCC76672B2339DA61C22152F81871C712F7047867860C2385038B9
SSDEEP24:X+ZFtrm1EzFce68tV9EV9OJg8LMY0olhDsWjs0p8QROp04vROfGG7Nf29u/H:XIFICFceNV9E6JXLZ0olhDsWo0POayO/
TLSHT15A21F8235A0870B4792E07322C93499B7298F82B792CFB050D0FA8A969C1DD86AD70C6
Key Value
FileName./usr/bin/agda
FileSize55216696
MD59A8FDE0AB55B68C2146B9D8BFCA55FE7
SHA-18C1C5E2CECA5BE0093D8B494CE4BB020085B2343
SHA-25684709E3F3219B9B9AB8EB487CA598C92DDE3F8B6F3926309D7F57CFC9E340C30
SSDEEP393216:KFHD/IImUpprabcuY3VEQiBjbTqETIeTe9SswVt:2w2prabvMMCBwVt
TLSHT18BC7A52AAE6184DBDD3C14323F5C0EB72251286697466F3316718231BA7B64C59FFEB0
Key Value
FileName./usr/share/doc/libghc-agda-dev/buildinfo_amd64.gz
FileSize6893
MD52994C4818E35A4DC5D7C6FEE24656756
SHA-1CF6F19EE6818CEF500108E3FB680E270F56A95DE
SHA-2562432F76FE1350A55FED954E8CF6FC80CC7546BD11A168CB68FE3EFC8F5F68101
SSDEEP96:BYtZPpXS1Zk+VFOXOG1t3IlRI8MektGIW6qf7OlJ2foDWnzJrhTxxXCuCEP7LBce:6tZPOVFEOWtY4Rtbqf6Tjibntr/C7Xa
TLSHT1D6E1AF61E07C4AFE6ACC84E154FA90C62BB441F7D9C8B5005CDB8389ABC3913255ED59
Key Value
FileName./usr/share/doc/libghc-agda-doc/copyright
FileSize3394
MD58B89259FB7BD8A14F57D63B47F0C3E90
SHA-1B41E5BD2E9351E47EF21AAA975C8D2D527CBE7E0
SHA-256A619A060E5F893CD4D0E780F65C70FFD0F01427DBBFB9707A40362F82444B684
SSDEEP96:MhM5RZ5uvQHoEoc9JQJzabKf3+T3zhINTd:M2AQHPHTUubQ3+T3Ved
TLSHT1DD61D74B23040B9321D627E1655AEDC8B10BE12EBA23AF05786DF289173B92DD4F7454





metalookup is a service from miwakeru.com