This package is a plugin that allows the export of locked packages to various formats. This plugin provides the same features as the existing export command of Poetry which it will eventually replace.

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.

Similar to Protocol Buffers, Cap'n Proto is an efficient means of serializing structured data to be transferred across a network or written to disk. Users write a Cap'n Proto definition file that drives a code generator, which in turn emits C++ code for encoding & decoding messages in the Cap'n Proto format.

pyside6 provides Python bindings for Qt 6.x framework.

A macro processor that is used automatically by the GNU C compiler to transform programs before actual compilation.

This package provides the base set of ppx rewriters, used to build various other Jane Street packages.