Ecosyste.ms: Repos

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

GitHub / KislyjKisel / agda

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

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KislyjKisel%2Fagda

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

License: other
Language: Haskell
Repo Size: 119 MB
Dependencies: 126

Created: almost 2 years ago
Updated: over 1 year ago
Last pushed: over 1 year ago
Last synced: about 1 year ago

Files

Readme

Dependencies

.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
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

Agda * build
Agda *
STMonadTrans >=0.4.3 && <0.5
Win32 >=2.3.1.1 && <2.13
aeson >=1.1.2.0 && <2.2
array >=0.5.1.1 && <0.6
async ==2.2.*
base *
base >=4.9.0.0 && <4.18
binary >=0.8.3.0 && <0.9
blaze-html >=0.8 && <0.10
boxes >=0.1.3 && <0.2
bytestring >=0.10.8.1 && <0.12
case-insensitive >=1.2.0.4 && <1.3
containers >=0.5.11.0 && <0.7
data-hash >=0.2.0.0 && <0.3
deepseq >=1.4.2.0 && <1.5
directory >=1.2.6.2 && <1.4
dlist >=0.8 && <1.1
edit-distance >=0.2.1.2 && <0.3
equivalence >=0.3.2 && <0.5
exceptions >=0.8 && <0.11
filepath >=1.4.1.0 && <1.5
ghc-compact ==0.1.*
gitrev >=1.3.1 && <2.0
hashable >=1.2.1.0 && <1.5
haskeline >=0.7.2.3 && <0.9
monad-control >=1.0.1.0 && <1.1
mtl >=2.2.1 && <2.4
murmur-hash ==0.1.*
parallel >=3.2.2.0 && <3.3
pretty >=1.1.3.3 && <1.2
process >=1.4.2.0 && <1.7
regex-tdfa >=1.3.1.0 && <1.4
split >=0.2.0.0 && <0.2.4
stm >=2.4.4 && <2.6
strict >=0.4.0.1 && <0.5
text >=1.2.3.0 && <2.1
text >=1.2.3.1
text-icu >=0.7.1.0
time >=1.6.0.1 && <1.13
time-compat >=1.9.2 && <1.10
transformers <0.6 || >=0.6.0.3
transformers >=0.5 && <0.7
unordered-containers >=0.2.5.0 && <0.3
uri-encode >=1.5.0.4 && <1.6
vector >=0.12 && <0.14
vector-hashtables ==0.1.*
zlib ==0.6.*
Agda * test
QuickCheck >=2.14.1 && <2.15 test
array * test
base * test
bytestring * test
containers * test
directory * test
filemanip >=0.3.6.3 && <0.4 test
filepath * test
mtl * test
process * test
process-extras >=0.3.0 && <0.3.4 || >=0.4.1.3 && <0.5 || >=0.7.1 && <0.8 test
regex-tdfa * test
strict >=0.3.2 && <0.5 test
tasty >=1.1.0.4 && <1.5 test
tasty-hunit >=0.9.2 && <0.11 test
tasty-quickcheck >=0.9.2 && <0.11 test
tasty-silver >=3.1.13 && <3.4 test
tasty-silver >=3.3 test
temporary >=1.2.0.3 && <1.4 test
text * test
unix-compat >=0.4.3.1 && <0.7 test
unordered-containers >=0.2.5.0 && <0.3 test
uri-encode * test

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

ansi-wl-pprint >=0.6.7.3 && <0.7
base >=4.9.0.0 && <4.18
directory >=1.2.6.2 && <1.4
filepath >=1.4.1.0 && <1.5
optparse-applicative >=0.13 && <0.18
process >=1.4.2.0 && <1.7
time >=1.6.0.1 && <1.13
unix >=2.7.2.0 && <2.8

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

base >=4.13.0.0 && <4.17
bytestring >=0.10.9.0 && <0.12
github ==0.28.*
text >=1.2.3 && <1.3
vector >=0.12.0.3 && <0.13

doc/user-manual/requirements.txt pypi

Sphinx >=5.0.0,
sphinx_rtd_theme >=1.0