Publishing details
Changelog
ssreflect (1.6.1-3build1) bionic; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Sat, 28 Oct 2017 16:41:34 +0200
Builds
Built packages
-
libssreflect-coq
small scale reflection library for Coq (theories)
-
libssreflect-ocaml
small scale reflection extension for Coq (plugin)
-
libssreflect-ocaml-dbgsym
debug symbols for libssreflect-ocaml
-
libssreflect-ocaml-dev
small scale reflection extension for Coq (devt files)
Package files