ecosyste.ms

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / Deducteam / agda

Agda is a dependently typed programming language / interactive theorem prover.

JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/Deducteam%2Fagda

Fork of agda/agda
Stars: 0
Forks: 0
Open issues: 0

License: other
Language:
Size: 127 MB
Dependencies parsed at: 46

Created at: over 3 years ago
Updated at: over 3 years ago
Pushed at: over 3 years ago
Last synced at: 2 days ago

.github/workflows/cabal-test.yml actions

actions/cache v2 composite
actions/checkout v2 composite
haskell/actions/setup v1 composite
styfle/cancel-workflow-action 0.6.0 composite

.github/workflows/cabal.yml actions

actions/cache v2 composite
actions/checkout v2 composite
haskell/actions/setup v1 composite
styfle/cancel-workflow-action 0.6.0 composite

.github/workflows/deploy.yml actions

actions/checkout v2 composite
actions/download-artifact v2 composite
actions/upload-artifact v2 composite
dev-drprasad/delete-tag-and-release v0.1.2 composite
haskell/actions/setup v1 composite
nick-invision/retry v2 composite
styfle/cancel-workflow-action 0.6.0 composite
svenstaro/upx-action v2 composite

.github/workflows/haddock.yml actions

actions/cache v2 composite
actions/checkout v2 composite
haskell/actions/setup v1 composite
peaceiris/actions-gh-pages v3 composite

.github/workflows/lint.yaml actions

actions/checkout v2.3.1 composite
rwe/actions-hlint-run v2 composite
rwe/actions-hlint-setup v1 composite

.github/workflows/stack.yml actions

actions/cache v2 composite
actions/checkout v2 composite
haskell/actions/setup v1 composite
styfle/cancel-workflow-action 0.6.0 composite

.github/workflows/test.yml actions

actions/cache v2 composite
actions/checkout v2 composite
actions/download-artifact v2 composite
actions/upload-artifact v2 composite
haskell/actions/setup v1 composite
styfle/cancel-workflow-action 0.6.0 composite

.github/workflows/user_manual.yml actions

actions/checkout v2 composite
actions/setup-python v2 composite
actions/upload-artifact v2 composite

.github/workflows/whitespace.yml actions

actions/cache v2 composite
actions/checkout v2 composite
haskell/actions/setup v1 composite

Agda.cabal hackage

src/agda-bisect/agda-bisect.cabal hackage

src/release-tools/closed-issues-for-milestone/closed-issues-for-milestone.cabal hackage

src/size-solver/size-solver.cabal hackage

Agda ==2.6.3
base >=4.9.0.0 && <6
containers >=0.5.7.1 && <0.7
mtl >=2.2.1 && <2.3
parsec ==3.1.*

test/Bugs/Issue4569/HelloWorld.cabal hackage

doc/user-manual/requirements.txt pypi

Sphinx >=1.8.3
sphinx_rtd_theme *