This commit is contained in:
parent
aa2ff7b2f0
commit
27ce25eded
4 changed files with 27 additions and 18 deletions
|
|
@ -1,4 +1,4 @@
|
||||||
version=0.27.0
|
version=0.28.1
|
||||||
exp-grouping=preserve
|
exp-grouping=preserve
|
||||||
type-decl=sparse
|
type-decl=sparse
|
||||||
break-infix=fit-or-vertical
|
break-infix=fit-or-vertical
|
||||||
|
|
|
||||||
|
|
@ -28,5 +28,14 @@
|
||||||
jsont
|
jsont
|
||||||
cohttp
|
cohttp
|
||||||
fmt
|
fmt
|
||||||
|
bin
|
||||||
|
angstrom
|
||||||
|
zarith
|
||||||
|
mirage-crypto
|
||||||
|
digestif
|
||||||
|
duration
|
||||||
|
jsont
|
||||||
|
cohttp
|
||||||
|
ptime
|
||||||
(ocamlformat :with-dev-setup)
|
(ocamlformat :with-dev-setup)
|
||||||
))
|
))
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue