= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
[@@deriving hash]
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
Authors
Maintainers
Sources
ppx_deriving_hash-0.1.1.tbz
sha256=bdaaac5ab278eee6ded154e405eb7fa8a2dd2b7483032628ce56ef21ae062f24
sha512=2f19db33fe08c7deb196c7040d649713e5a45389b4cc4074f49b25c9744cd9c70fcd6cdb4814981418d4a7120eecddbeabb7f63688080517c777000dba857655
Description
Deriver for standard hash functions without extra dependencies.
Published: 26 Jan 2022
Dependencies (3)
-
ppx_deriving
>= "5.0"
- ppxlib
-
dune
>= "2.8"
Dev Dependencies (1)
-
odoc
with-doc
Used by (1)
-
goblint
>= "2.0.0"
Conflicts
-
None
On This Page