Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / theoremprover / Civ
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/theoremprover%2FCiv
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Haskell
Repo Size: 64.3 MB
Dependencies:
117
Created: about 9 years ago
Updated: over 8 years ago
Last pushed: over 8 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
Civ.cabal
hackage
- Civ *
- acid-state *
- aeson >=0.6 && <0.9
- ansi-terminal *
- array *
- base ==4.*
- base *
- blaze-html *
- blaze-markup *
- bytestring >=0.9 && <0.11
- classy-prelude >=0.10.2
- classy-prelude-conduit >=0.10.2
- classy-prelude-yesod >=0.10.2
- conduit >=1.0 && <2.0
- containers *
- data-default *
- directory >=1.1 && <1.3
- fast-logger ==2.2.*
- file-embed *
- hjsmin ==0.1.*
- http-conduit ==2.1.*
- lens *
- mime-mail *
- monad-control ==0.3.*
- monad-logger ==0.3.*
- mtl *
- persistent >=2.0 && <2.2
- persistent-mysql >=2.1.2 && <2.2
- persistent-template >=2.0 && <2.2
- random *
- safe *
- safecopy *
- shakespeare ==2.0.*
- template-haskell *
- text >=0.11 && <2.0
- time *
- unix *
- unordered-containers *
- vector *
- wai *
- wai-extra ==3.0.*
- wai-logger ==2.2.*
- warp ==3.0.*
- yaml ==0.8.*
- yesod >=1.4.1 && <1.5
- yesod-auth >=1.4.0 && <1.5
- yesod-core >=1.4.6 && <1.5
- yesod-form >=1.4.0 && <1.5
- yesod-static >=1.4.0.3 && <1.5
- Civ * test
- base * test
- classy-prelude * test
- classy-prelude-yesod * test
- hspec >=2.0.0 test
- monad-logger * test
- persistent * test
- persistent-mysql * test
- resourcet * test
- transformers * test
- yesod * test
- yesod-core * test
- yesod-test >=1.4.3 && <1.5 test
_old/Civ.cabal
hackage
- Civ *
- aeson >=0.6 && <0.9
- base *
- base ==4.*
- blaze-html *
- bytestring >=0.9 && <0.11
- classy-prelude >=0.10.2
- classy-prelude-conduit >=0.10.2
- classy-prelude-yesod >=0.10.2
- conduit >=1.0 && <2.0
- containers *
- data-default *
- directory >=1.1 && <1.3
- fast-logger ==2.2.*
- file-embed *
- hjsmin ==0.1.*
- http-conduit ==2.1.*
- monad-control ==0.3.*
- monad-logger ==0.3.*
- mysql *
- persistent >=2.0 && <2.2
- persistent-mysql >=2.1.2 && <2.2
- persistent-template >=2.0 && <2.2
- regex-base *
- regex-tdfa *
- safe *
- shakespeare ==2.0.*
- template-haskell *
- text >=0.11 && <2.0
- time *
- transformers *
- unordered-containers *
- vector *
- wai-extra ==3.0.*
- wai-logger ==2.2.*
- warp ==3.0.*
- yaml ==0.8.*
- yesod >=1.4.1 && <1.5
- yesod-auth >=1.4.0 && <1.5
- yesod-core >=1.4.6 && <1.5
- yesod-form >=1.4.0 && <1.5
- yesod-static >=1.4.0.3 && <1.5
- Civ * test
- base * test
- classy-prelude * test
- classy-prelude-yesod * test
- hspec >=2.0.0 test
- monad-logger * test
- persistent * test
- persistent-mysql * test
- resourcet * test
- transformers * test
- yesod * test
- yesod-core * test
- yesod-test >=1.4.2 && <1.5 test