-
Notifications
You must be signed in to change notification settings - Fork 123
Insights: GaloisInc/cryptol
Dependency graph
39 Total
- pip · cryptol-remote-api/python/pyproject.toml · Detected automatically on Sep 18, 2024argo-client >= 0.0.13
- pip · cryptol-remote-api/python/pyproject.toml · Detected automatically on Sep 18, 2024bitvector ^ 3.4.9
- pip · cryptol-remote-api/python/pyproject.toml · Detected automatically on Sep 18, 2024mypy ^ 1.10
- pip · cryptol-remote-api/python/pyproject.toml · Detected automatically on Sep 18, 2024requests >= 2.31.0
- pip · cryptol-remote-api/python/pyproject.toml · Detected automatically on Sep 18, 2024types-requests >= 2.31.0
- pip · cryptol-remote-api/python/pyproject.toml · Detected automatically on Sep 18, 2024typing-extensions ^ 4.1.1
- pip · cryptol-remote-api/python/pyproject.toml · Detected automatically on Sep 18, 2024urllib3 >= 2.2.0
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · BSD-2-Clause AND BSD-3-Clauseargo-client 0.0.13
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · Python-2.0bitvector 3.5.0
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · MPL-2.0certifi 2024.7.4
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · MITcharset-normalizer 3.3.2
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · BSD-2-Clause AND BSD-3-Clauseidna 3.7
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · MITmypy 1.10.0
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · MITmypy-extensions 1.0.0
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · Apache-2.0requests 2.32.0
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · MITtomli 2.0.1
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · Apache-2.0types-requests 2.31.0.20240406
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · Python-2.0 AND Python-2.0 AND BSD-3-Clause AND Python-2.0 AND BSD-3-Clause AND 0BSDtyping-extensions 4.11.0
- pip · cryptol-remote-api/python/poetry.lock · Detected automatically on Sep 18, 2024 · MITurllib3 2.2.2
- GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 17, 2024abatilo/actions-poetry 2.0.0