alla flaggor
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Källkod: ssreflect  ]

Paket: libssreflect-ocaml-dev (1.3pl4-1)

Länkar för libssreflect-ocaml-dev

Screenshot

Debianresurser:

Hämta källkodspaketet ssreflect:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Märken: Software Development: Bibliotek, Role: Development Library

Andra paket besläktade med libssreflect-ocaml-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libssreflect-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
armhf 77,9 kbyte251,0 kbyte [filförteckning]