debian-coq-tools
various tools to manage Coq-related Debian packages
Those tools make it easier to track package dependencies
and possible breakage and maintain the whole Coq-in-Debian stack
sane:
- coq-planif-transition: find out which packages depend on some
others for transition planification.
- coq-wanna-build: compute the dak script for a planned transition.
libppx-base-ocaml
base set of ppx rewriters (runtime files)
This package provides the base set of ppx rewriters,
used to build various other Jane Street packages.
libppx-assert-ocaml
provide assertions in OCaml (runtime files)
This package provides extension nodes to compare
values and raise useful errors if they differ.
libppx-cold-ocaml
provide the @cold annotation for OCaml (runtime files)
This package provides the @cold annotation to program in OCaml
to disable a closure optimisation.
libwolfssl42
wolfSSL encryption library
wolfSSL is a small, portable, embedded SSL/TLS programming library
targeted for use by embedded systems developers. It was formerly
known as CyaSSL.
python3-pyequihash
python bindings for libequihash: memory-hard Proof-of-Work
Equihash implements the algorith as described in "Equihash: Asymmetric
Proof-of-Work Based on the Generalized Birthday Problem" by Alex Biryukov and
Dmitry Khovratovich, 2016, DOI:10.14722/ndss.2016.23108. This code, by Stefan
Marsiske, is a fork of an ealier implementation by Khovratovich at
https://github.com/khovratovich/equihash/ ; it provides a library, a C API and
Python bindings. The cryptographic password storage SPHINX (pwdsphinx and
libsphinx) depend upon equihash.