Paketti: libssreflect-ocaml-dev (1.6.1-3) [debports]

[ Source:  ]

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.

Muut pakettiin libssreflect-ocaml-dev liittyvät paketit

• dep: camlp5-9k749

  Paketti ei saatavilla

• dep: libcoq-ocaml-dev-eqz92

  Paketti ei saatavilla

• dep: libssreflect-ocaml-j83f4

  näennäispaketti, jonka toteuttaa libssreflect-ocaml

• dep: ocaml-nox-4.05.0

  Paketti ei saatavilla

Imuroi libssreflect-ocaml-dev

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
sparc64 (epävirallinen siirros)	61.9 kt	363.0 kt	[tiedostoluettelo]