» Ubuntu » Packages » precise (12.04LTS) » Source » math » ssreflect
precise  ] [  trusty  ] [  xenial  ] [  zesty  ]

Source Package: ssreflect (1.3pl2-2build1) [universe]

Links for ssreflect

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

The following binary packages are built from this source package:
small scale reflection library for Coq (theories)
small scale reflection extension for Coq (plugin)
small scale reflection extension for Coq (devt files)

Other Packages Related to ssreflect

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7.0.50~)
    helper programs for debian/rules
  • adep: coq (>= 8.3)
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: libcoq-ocaml-dev (>= 8.3)
    development libraries and tools for Coq
  • adep: dh-ocaml (>= 0.9~)
    helper tools for maintaining OCaml-related Debian packages
  • adep: camlp5 (>= 5.12-2~)
    Pre Processor Pretty Printer for OCaml - classical version
  • adep: ocaml-best-compilers
    virtual package provided by ocaml-native-compilers
  • adep: ocaml-nox (>= 3.11.1-3~)
    ML implementation with a class-based object system (no X)

Download ssreflect

FileSize (in kB)MD5 checksum
ssreflect_1.3pl2-2build1.dsc 2.2 kB b45f4166a106e3fb82221aac393bb713
ssreflect_1.3pl2.orig.tar.gz 815.2 kB 220592455f2076f0d50af2081b31504a
ssreflect_1.3pl2-2build1.debian.tar.gz 12.6 kB 3046fb5ab200e55b2851d1b0aa33ea4e
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)