Binary package “libssreflect-ocaml-dev” in ubuntu trusty
small scale reflection extension for Coq (devt files)
This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides the static native-code library, needed
to build custom toplevels, and the compiled interface.
Source package
Published versions
- libssreflect-ocaml-dev 1.5~rc1-3 in amd64 (Proposed)
- libssreflect-ocaml-dev 1.5~rc1-3 in amd64 (Release)
- libssreflect-ocaml-dev 1.5~rc1-3 in arm64 (Proposed)
- libssreflect-ocaml-dev 1.5~rc1-3 in arm64 (Release)
- libssreflect-ocaml-dev 1.5~rc1-3 in armhf (Proposed)
- libssreflect-ocaml-dev 1.5~rc1-3 in armhf (Release)
- libssreflect-ocaml-dev 1.5~rc1-3 in i386 (Proposed)
- libssreflect-ocaml-dev 1.5~rc1-3 in i386 (Release)
- libssreflect-ocaml-dev 1.5~rc1-3 in powerpc (Proposed)
- libssreflect-ocaml-dev 1.5~rc1-3 in powerpc (Release)
- libssreflect-ocaml-dev 1.5~rc1-3 in ppc64el (Release)