Result for FED29DAC002F5B41C20706F0C35398679C8511D3

Search result
Graph view
Children (44)

Query result

Key Value
MD511336D21C75D61AF424ED7DB11A98CBE
PackageArchx86_64
PackageDescriptionAgda is a dependently typed functional programming language: It has inductive families, which are similar to 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 includes both a command-line program (agda) and an Emacs mode. If you want to use the Emacs mode you can set it up by running 'agda-mode setup' (see the README). Note that the Agda library does not follow the package versioning policy, because it is not intended to be used by third-party packages.
PackageMaintainerhttps://bugs.opensuse.org
PackageNameAgda
PackageReleaselp150.1.17
PackageVersion2.5.2
SHA-1FED29DAC002F5B41C20706F0C35398679C8511D3
SHA-25634FF3E50C7679EA3B4AA262608EC00ABF365D36C1DF18403E2F1903DFC9DD2BB
hashlookup:children-total44
hashlookup:trust50

Network graph view

Children (Total: 44)

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

Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agda
FileSize1206
MD5E69234B5CD8A9775E7E3A277A041D9C4
SHA-111D7DC3726893C442B133767EA24C293A2D65C19
SHA-256D886DB839095FDA0F41A746C71A2A794C9E626D18C31D6FD28CA8CCA5AC77E01
SSDEEP24:3rMV97XFzg8KWcCRTXU2rl7pLotfwHTPoc8bnvxt:3rI5XFzgpnCxXzFxoVwHTPocCnvxt
TLSHT15F217A9E4A96FD5F0A0E2009FB90156FD69A18DD6B3834987A0D41151B2B1EFFA226C3
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection.agda
FileSize8983
MD57910AA3300892517D372095954D0E86C
SHA-11639ABE5DBCE6FD2889A643F0373B12FC030EE8B
SHA-2568DE05DFA83A99E40EA66403F042B2839F4B3C2355C34901D70D332D1BED9DAB6
SSDEEP192:0WI5U1U1msaZaTl1IyjdiO0sNMRC4Wa+TDXKBIlCmHDDidI0DBDjc6ytyWIaWMke:2haZaTlC0d5MsnPrNItaM2ES
TLSHT10B02BD23B34C7736A6EA4E61B5D31631F844DC14BEF5A339B0CEB3241341B957251AAB
Key Value
FileName./usr/share/doc/packages/ghc-Agda-devel/CHANGELOG.md
FileSize249530
MD5F156D3F4825EC1694FD38B58D7C919C1
SHA-128ED06A841A35E0635AB59732F8BBA1E2AA8F595
SHA-25672FD62B58ADDB5301B1C0B41682510D7855414205BE6DB7B94C906316F9CD4BC
SSDEEP6144:fiQWWyJDGF8TGC8IJFT451TBjFDy7U/P3B7roiQBsZwQ56rB3RmaC5Ni3Ad4Fah6:fiQzyJDnGC8IJFToJVyY/P3B7roZBsK3
TLSHT13E34185B3F1423B22A6384B1F5CE1592D720E4697F78665530CD82A82B07B7093FFAD9
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agda
FileSize422
MD52499BE0813BF999A8B21608DBE919F7A
SHA-132DED263397762B20FB76199409227626024910C
SHA-256DE2CB5F0614A4F70D0377299884457CE43DD126664EC339D2F82CE494A5BA85D
SSDEEP12:FJtLAQyxx2xFzMF1cfMLM9WFHMmHrM7uYHMO/MmMyn:3+tv2c1cmTMmHrOB9P
TLSHT19FE02B43B3095311D49C4584E92542A457959D02BFB036FCDF8DD7019BD6105843D7DF
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agda
FileSize168
MD50932EB5CEDA375F51346D275A293FE00
SHA-1333CD11180A59B2F501E756385AC4C8F2A26C68C
SHA-2562D77525DDB3D1F0102A972B87035C65ABE15C1A9651B8B848ACD6F14C513E885
SSDEEP3:XSrPRID3mEIwErNqvzoyHbGgGDRXqFfve9QvzGIYvlT1sOhKkxMHvzNnCn:iI3tANqvRbGgGDx+fGKCP1jKkxMbdCn
TLSHT1EDC012B3B73C6A224C618A90A1044306EEA16130EDE882D8025CA3901A94AC9624A6F7
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda
FileSize803
MD5DC12D5F40B74251DB31F85C2B5446BC2
SHA-13408A47E0268DE8157F457A7AC50A4C73AD6098A
SHA-2563F0588389A39C1DD925C1365BB1B7E15E5C0CB28847AC5E6EBB7CC46779ACF76
SSDEEP12:kKWQyIruOvNrEscPw8mGwR3q6Az+IxTLvgt6flol:kHQbaANlWERW+IBjlfw
TLSHT1A30170316ED9352A0051DD12F50B9261CFB058D6695063FDA1CC3B98671B95C71CF5A3
Key Value
FileName./usr/share/Agda-2.5.2/uhc-agda-base/src/UHC/Agda/double.c
FileSize188
MD5E0F70550DF57015CD315F539E24058B2
SHA-1365ED6CCA07D25DD258961A5566144FBB40B6436
SHA-2564726267F25841D37EBD142A92E52C0E0BD97DD7B57F4F363D7BC7D5E43DA126E
SSDEEP3:XBAjWgt5eMKhCwBOFnedFQ8YwvNAlkGdAQHqc2xTCEFpFAXq4KxTCxDxdFBFYiAL:RAqgtkMKhCw4wQJw6yKAS2hCr5KhCdiP
TLSHT138C0226C71F83C218B20C2A7160692C0F23A120224CCC1CC0ECDE0C2BA0169EA692BC1
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agda
FileSize684
MD5194F4BC8F5AF864EEC41F4B528EF72D5
SHA-13F11F8785E481CBA327E0DD2824164F82F93608D
SHA-256B747D371B3D83273F5635C6B9682B7EB7BB2671B93C84046A251B4E65753AC84
SSDEEP12:FZDyZK9MFBKLWxH4GTcZyHyGA41B+KtByr6WG4L145gMaLakY:P+8egL3dySh4OKtBy64Z45RaE
TLSHT16E0194477748323550853E2079490399F679DC68F5E51BB8524E63A327B36C8C1298FF
Key Value
FileName./usr/share/Agda-2.5.2/MAlonzo/src/MAlonzo/RTE.hs
FileSize2333
MD5490DEB3DD1D878691A5431EDFCB4432F
SHA-144E6390215AFD570BBFE7EA3830B3AEC6132F351
SHA-256545ED55BDACD572A571A40C682E73C96DAF458CD1C836D4A2C107EE5C3F8535B
SSDEEP24:hpRLD79mdRSMimQlabU0R+vs91FShvn54rFqcrFqP6va3d1nsStxcwNtWKBc9erz:RxMUFQo0R+pV54rFqqf25RH/qMa0r
TLSHT145418BFC33D63137202D78916A18B09BBC1A21898BE67499744C94B877E9F49DB11E93
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/agda2-abbrevs.el
FileSize2623
MD594610C601CB939C369C2E84D88F22E50
SHA-147E6DA23D77EA814D79D2F4C920B561EC4D03BC8
SHA-25608E0FA9651600BC47B8E02DE76EB0AE1246BA4049E536E8AB6644ADE50DF8058
SSDEEP48:zGPPGBme3L7CBxYPzroIbWLVtTmS2JvOzYYoQbQGU7RwC3jfHXm4:zGz8LWBZm7JvOfQ5zJ
TLSHT1D2516F10EE3ADB859E070050D44FD3129A6D9BE78E99289C398E9794B70CC5DC3D4B8F
tar:gnameroot
tar:unameroot





metalookup is a service from miwakeru.com