Opam Package ff-pbt.0.6.1

Package info

opam-nameff-pbt
opam-version0.6.1
synopsisProperty based testing library for finite fields over the package ff-sig
descriptionProperty based testing library for finite fields over the package ff-sig
authors
  • Danny Willems <be.danny.willems@gmail.com>
homepagehttps://gitlab.com/dannywillems/ocaml-ff
licenseMIT
changes-fileCHANGES.md
readme-fileREADME.md
deps (6)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

ff-pbt

Package files

lib/ff-pbt/opam
lib/ff-pbt/ff_pbt.ml
lib/ff-pbt/ff_pbt.cmxs
lib/ff-pbt/ff_pbt.cmxa
lib/ff-pbt/ff_pbt.cmx
lib/ff-pbt/ff_pbt.cmt
lib/ff-pbt/ff_pbt.cmi
lib/ff-pbt/ff_pbt.cma
lib/ff-pbt/ff_pbt.a
lib/ff-pbt/dune-package
lib/ff-pbt/META
lib/ff-pbt
doc/ff-pbt/README.md
doc/ff-pbt/LICENSE
doc/ff-pbt/CHANGES.md
doc/ff-pbt