Skip to content
Sections
>> Trisquel >> Packages >> etiona >> ocaml >> libssreflect-ocaml-dev
etiona  ]
[ Source: ssreflect  ]

Package: libssreflect-ocaml-dev (1.6.1-3build1)

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.

Other Packages Related to libssreflect-ocaml-dev

  • depends
  • recommends
  • suggests

Download libssreflect-ocaml-dev

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 58.9 kB360 kB [list of files]
i386 58.9 kB360 kB [list of files]