Publishing details
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by coq-reduction-effects - 0.1.5-4build2
-
Published
Changelog
coq-reduction-effects (0.1.5-4build1) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 02 May 2024 22:10:11 +0200
Builds
Package files