github.com/pachyderm/pachyderm@v1.13.4/doc/Pipfile (about) 1 [[source]] 2 name = "pypi" 3 url = "https://pypi.org/simple" 4 verify_ssl = true 5 6 [packages] 7 mkdocs = ">=1.1" 8 mkdocs-exclude = "*" 9 pymdown-extensions = ">=7.0" 10 markdown-include = "*" 11 Pygments = ">=2.4" 12 markdown = ">=3.2" 13 mdx_truly_sane_lists = ">=1.2" 14 mkdocs-git-revision-date-localized-plugin = "*" 15 mkdocs-pachyderm = ">=1.2.8" 16 mkdocs-minify-plugin = ">=0.2" 17 18 [dev-packages]