Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / np / agda-git-experiment
darcs-bridge experiment with Agda repository
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/np%2Fagda-git-experiment
Stars: 1
Forks: 0
Open Issues: 0
License: other
Language: Haskell
Repo Size: 49.7 MB
Dependencies:
51
Created: over 11 years ago
Updated: over 4 years ago
Last pushed: about 11 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
Agda.cabal
hackage
- Agda ==2.3.3
- QuickCheck >=2.3 && <2.7
- Win32 >=2.2 && <2.4
- array >=0.1 && <0.5
- base >=4.2 && <4.7
- base >=3 && <6
- binary >=0.4.4 && <0.6
- bytestring >=0.9.0.1 && <0.11
- containers >=0.1 && <0.6
- deepseq ==1.3.*
- directory >=1.0 && <1.3
- directory ==1.2.*
- directory >=1.0 && <1.2
- epic >=0.1.13 && <0.10
- filepath >=1.1 && <1.4
- geniplate >=0.6.0.3 && <0.7
- hashable >=1.1.2.3 && <1.3
- hashtables ==1.0.*
- haskeline >=0.6.3.2 && <0.8
- haskell-src-exts >=1.9.6 && <1.14
- mtl ==2.0.* || >=2.1.1 && <2.2
- old-time >=1.0 && <1.2
- parallel <3.3
- pretty >=1.0 && <1.2
- process >=1.0.1.0 && <1.2
- text ==0.11.*
- time ==1.4.*
- unordered-containers ==0.2.*
- xhtml ==3000.2.*
- zlib >=0.4.0.1 && <0.6
src/hTags/hTags.cabal
hackage
- QuickCheck ==2.4.*
- base >=4.2 && <4.7
- containers >=0.4 && <0.6
- fgl ==5.4.*
- ghc-prim >=0.2 && <0.4
- incremental-parser ==0.2.*
- mtl >=2.0 && <2.2
src/transl/agda1to2.cabal
hackage