agda.readthedocs.io/en/v2.6.1/tools/package-system.html

Preview meta tags from the agda.readthedocs.io website.

Linked Hostnames

3

  • General Meta Tags

    7
    • title
      Library Management — Agda 2.6.1 documentation
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1.0
    • readthedocs-project-slug
      agda
    • readthedocs-version-slug
      v2.6.1

  • Link Tags

    7
    • canonical
      https://agda.readthedocs.io/en/v2.6.1/tools/package-system.html
    • index
      ../genindex.html
    • next
      performance.html
    • prev
      generating-latex.html
    • search
      ../search.html

Links

3