[  etiona  ] [  nabia  ] [  aramo  ]

Links for ssreflect

Trisquel Resources:

• Bug Reports
• Changelog
• Copyright File
• Debian Source Repository (Git)

Maintainer:

• Debian OCaml Maintainers (Mail Archive)

Original Maintainers:

• Debian OCaml Maintainers (Mail Archive)
• Stéphane Glondu
• Enrico Tassi

External Resources:

• Homepage [math-comp.github.io]

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)

libssreflect-ocaml-dev

small scale reflection extension for Coq (devt files)

Other Packages Related to ssreflect

build-depends

build-depends-indep

• adep: debhelper (>= 8)

  helper programs for debian/rules

• adep: coq (>= 8.6)

  proof assistant for higher-order logic (toplevel and compiler)

• adep: libcoq-ocaml-dev (>= 8.4)

  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

  Package not available

• adep: ocaml-nox (>= 4)

  ML implementation with a class-based object system (no X)

Download ssreflect

File	Size (in kB)	MD5 checksum
ssreflect_1.6.1-3build1.dsc	2.2 kB	c0adc5580f08a2fa41321d26288672fc
ssreflect_1.6.1.orig.tar.gz	4,581.6 kB	10d8a17134ddb509b4afa8d3243ee1a0
ssreflect_1.6.1-3build1.debian.tar.xz	12.3 kB	7a69df835afe2094ddaea44c7a54eb35

Debian Package Source Repository (VCS: Git)

git://anonscm.debian.org/pkg-ocaml-maint/packages/ssreflect.git

Debian Package Source Repository (Browsable)

http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ssreflect.git