package coq-moment
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Parse, manipulate and pretty-print times and dates in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
1.21.tar.gz
sha512=003430495e6eacc2d5dbdbf161b2ee0a397eb5dbc8c2c0acad6cd08713a102dbcab699570e2fa704b99d0ccd11578477dce2a946548a5fa80fb7b74c9eb26ab8
Description
Dependencies (6)
- ocaml
-
coq-list-string
>= "2.0.0" - coq-function-ninjas
- coq-error-handlers
-
coq
>= "8.4pl4" -
conf-ruby
build
Dev Dependencies
None
Used by (3)
- coq-chick-blog
- coq-concurrency-pluto
-
coq-mi-cho-coq
>= "1.0.0"
Conflicts
None
On This Page