[  squeeze  ] [  sid  ]

Source Package: ssreflect (1.2+dfsg-2)

The following binary packages are built from this source package:
libssreflect-coq
small scale reflection library for Coq (theories)
libssreflect-ocaml
small scale reflection extension for Coq (plugin)

Other Packages Related to ssreflect

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7.0.50~)
    helper programs for debian/rules
  • adep: quilt (>= 0.46-7)
    Tool to work with series of patches
  • adep: coq (>= 8.2.pl1)
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: libcoq-ocaml-dev
    development libraries and tools for Coq
  • adep: dh-ocaml
    helper tools for maintaining OCaml-related Debian packages
  • adep: camlp5
    Pre Processor Pretty Printer for OCaml - classical version
  • adep: ocaml-best-compilers
    virtual package provided by ocaml-native-compilers, ocaml-nox
  • adep: ocaml-nox (>= 3.11.1)
    ML implementation with a class-based object system (no X)

Download ssreflect

FileSize (in kB)MD5 checksum
ssreflect_1.2+dfsg-2.dsc 2.0 kB ba5f93b25816a0bc9f3b871dabd73c77
ssreflect_1.2+dfsg.orig.tar.gz 324.5 kB e0815fa981ea23087f7de90d9487e581
ssreflect_1.2+dfsg-2.diff.gz 11.6 kB 7a979e6918f243c65c6e421e150bf558
Debian Package Source Repository (VCS: Git)
git://git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git
Debian Package Source Repository (Browsable)
http://git.debian.org/?p=pkg-ocaml-maint/packages/ssreflect.git