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.2.0.tar.gz
sha512=eeca9af5b7a8799a35fb37f61f17b7672e8393c2019d3bb925f7929cdf0dbccd835a97e223f66017f1a53aca1df70311f58a7757327338b63b9dfe1321670977
Description
Dependencies (6)
- ocaml
-
coq-list-string
>= "2.0.0" - coq-function-ninjas
- coq-error-handlers
-
coq
>= "8.4pl4" & < "8.14" -
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