github.com/cilium/ebpf@v0.15.1-0.20240517100537-8079b37aa138/docs/Pipfile (about) 1 [[source]] 2 url = "https://pypi.org/simple" 3 verify_ssl = true 4 name = "pypi" 5 6 [packages] 7 mkdocs = "*" 8 pymdown-extensions = "*" 9 mkdocs-material = "*" 10 mkdocs-macros-plugin = "*" 11 mkdocs-git-revision-date-localized-plugin = "*" 12 mkdocs-git-authors-plugin = "*" 13 14 [dev-packages] 15 16 [requires] 17 # Whatever Netlify's Ubuntu version uses. 18 python_version = "3.8"