Result for 306EE61D61D0E2DE7D414331A867F247DC48329D

Search result
Graph view
Children (42)

Query result

Key Value
MD532E11682BB55ED686A8A792337A83664
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 package does not follow the package versioning policy, because it is not intended to be used by third-party packages.
PackageNameAgda
PackageReleaselp150.1.2
PackageVersion2.5.4.2
SHA-1306EE61D61D0E2DE7D414331A867F247DC48329D
SHA-2567F961B4B99BF1CC0287DA2A679354F556507A6EA5386EC79845D14D0C38A11AA
hashlookup:children-total42
hashlookup:trust50

Network graph view

Children (Total: 42)

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

Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.0.1/annotation.el
FileSize11860
MD5E5B8C1D2CA20EC6D4A5866B428BDDC8D
SHA-129498F14DCE19D9DA0D9C3498FA63438D34D18D0
SHA-256E8233C132B9115A15BF87BA3EA0CD191355149FFF73234EDE4D8383967D88C4D
SSDEEP192:eamNLqO0c27LKuO4Y9rWXUExLHnEIPbS/20Rch56lLXVXvRYTANVtt:YLqlcsLKuE9rWXUERkwS/HRe56lLl/R3
TLSHT18932629AB780067A9FDF16A3B52E6186CF7474EE61608308305FC1142F56273A3EBD97
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/doc/packages/ghc-Agda-devel/CHANGELOG.md
FileSize331875
MD5764C1F2309E17FA4707FA069F14C6BBD
SHA-12DC555A2382A0B6C8374D717FDEA37277CC956A0
SHA-256B1C063232AC45FB519CCA1A6836637FD90B33CE958431BA31E1892E0CCA4DC35
SSDEEP6144:f0ZUw3QlWHhG7AaiQWWyBDGF8/GC8IJFT451TBjFDy7U/P3B7roi2BsZwQ56rB3H:f0Zp3QlWH87piQzyBDzGC8IJFToJVyYU
TLSHT13C64066B3F1413B22E5284F0F5CD25A6E720E059BF65665970CD83A82706B3093FFAD9
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agda
FileSize524
MD52DCDCED7E7FD4E12E8BB6478B5D6A8FB
SHA-132D37193B9497053FD934982972CEF2102B58A16
SHA-256903E1A73D79915243E689EC60E67A1C27EB04207A34E5B91ECD3DFC8119706C2
SSDEEP12:FZDyZK9MFBKLWo30eo3qF17B+KtByr6WGq7FqT0LakY:P+8egLH9cikKtBy6AFbE
TLSHT153F0C08663843136B0503D34384E22D8F778DC25789513B4230E52E217F35E4C16C8EF
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/Agda-2.5.4.2/emacs-mode/agda2-highlight.el
FileSize19954
MD5A05874A18FA11F6B8EE740FC468B6906
SHA-13472156C589539DD98DB357750B9E7DDA83B7F28
SHA-25621FD9B6EDE4A70E2962FD44130EBD0F55BBA6B355577D653CD486017E90C12A8
SSDEEP192:e5b3N06nJf4fWwUawC/fff91pSndfZ2csc3z6k7ZlhC0wnn/Ym21Eyr:Kb3iUJcWtlmn/chr
TLSHT18E929813CF759825FA630597D09AD328CF04BECBF41552A8726E8159FF8AA2453E3D0E
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agda
FileSize976
MD5C9E2927E66CBED2C66BABAE4E69AB9BD
SHA-13B17C51B5E17E616F9E0B54D5157F4C516369F9D
SHA-2561B75FD92F9255AD0681BBE8F5252909B2A8845B0B3C4DB86FB7F06C75D11E21C
SSDEEP12:FzAQyxFNKVxF9CxFUqOQTPd1Qmk0qViXqVjqVqmqVwztajqVNQ7qVdy2:2tMVUNPdMqNajrz2
TLSHT196115B6B71447A5001483130E8CB1168E1BD942BB5B8B3F9F10CB6A23F764DC503978F
Key Value
FileName./usr/share/doc/packages/ghc-Agda-devel/doc/user-manual.pdf
FileSize640670
MD5FC0DD9B6C7FD9088544039FC5B81B3B1
SHA-1443E7154749683AB4C220A568782307A4A55BDC4
SHA-256846F3403CDE6FB6484A5296601935B999FF9B31AFB868D1638E0428B7A1EA3DE
SSDEEP12288:k9VlzOidbzsUemKwK6df/5PUafAReU4w95Pv39ax6m4vGz8:OzOidbzs5EK61RSRekHta6m4w8
TLSHT189D412DCFA7E95A4ECA00D71B06C17A698E6C1979818247F3C94C993B920D15EE20DFF
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
Key Value
FileName./usr/share/Agda-2.5.4.2/agda.sty
FileSize23792
MD5D8A4BC8EEAE2F369807D7EE7BD1CA6B8
SHA-149F23A65087E3EC5E3617CCC03113EB1562C7FCA
SHA-2564E381F084EBCF71D21FF3B8B6907D81BECCDDC433EEDB408927BBB61A2CB9865
SSDEEP384:hxcBBeZL3LyoNmbxuD4USjsh1Bqek9IQJtMxMZiFKH6q:v6xHgDkDJyWZDH5
TLSHT179B263F3BE7911A3ABC3C579DC496F90DA3AA1BF208481DD3D9D05D88F52410CAED689
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda
FileSize805
MD5799EDC17BDD4A31E8FEBC391C9697739
SHA-15483A245D775F62F5D4976D4B95682FE8E923A6C
SHA-256829A8877DCB66F173131F590F4DD3DAFBFF64FD73D3B82769859D480DAF1838F
SSDEEP12:kKWQyIruOvNrEscPw8mGwR3q6AzwmLvgt6flol:kHQbaANlWERWjjlfw
TLSHT1B701C0316EC8252A0051DD52F50B9220CFB058E76A1063FDA1CC3B98661B85C71CF5A3





metalookup is a service from miwakeru.com