Publishing details
Changelog
coq-reduction-effects (0.1.5-1build3) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:14:57 +0200
Builds
Built packages
-
libcoq-reduction-effects
reduction effects for Coq
-
libcoq-reduction-effects-dbgsym
debug symbols for libcoq-reduction-effects
Package files