ssreflect 1.4-2 source package in Ubuntu


ssreflect (1.4-2) unstable; urgency=low

  * Bump debhelper compat level to 8
  * Bump Standards-Version to 3.9.4
  * Upload to unstable

 -- St├ęphane Glondu <email address hidden>  Thu, 09 May 2013 13:36:48 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers on 2013-05-09
Uploaded to:
Original maintainer:
Debian OCaml Maintainers
any all
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section


File Size SHA-256 Checksum
ssreflect_1.4-2.dsc 2.2 KiB fa416bc385e10c9db196840821ffb60c9a01f55342abf6a990dbb18c7d6dce3a
ssreflect_1.4.orig.tar.gz 975.2 KiB f044de8f75008000caf0ad61829f936384ee2d4b5fa40630352826c07b125dfb
ssreflect_1.4-2.debian.tar.gz 12.0 KiB a4b5bfb83b5f9af958b1d60b5a34ffbaabb1503ee3bdd6adcc80262ca6baecd9

No changes file available.

Binary packages built by this source

libssreflect-coq: small scale reflection library for Coq (theories)

 The name Ssreflect stands for "small scale reflection", a style of
 proof that evolved from the computer-checked proof of the Four Colour
 Theorem and which leverages the higher-order nature of Coq's
 underlying logic to provide effective automation for many small,
 clerical proof steps. This is often accomplished by restating
 ("reflecting") problems in a more concrete form, hence the name. For
 example, in the Ssreflect library, arithmetic comparison is not an
 abstract predicate, but a function computing a boolean.
 The Ssreflect distribution comprises two parts:
 * A new tactic language, which promotes more structured, concise and
   robust proof scripts, and is in fact independent from the "reflection"
   proof style. It is implemented as a linkable extension to the Coq
 * A set of Coq libraries that provide core "reflection-oriented"
   theories for basic combinatorics (roughly: arithmetic, lists, and
   finite sets).
 This package installs the full Ssreflect distribution.

libssreflect-ocaml: small scale reflection extension for Coq (plugin)

 This package is part of Ssreflect, the small scale reflection
 extension for Coq. It provides a new tactic language, which promotes
 more structured, concise and robust proof scripts, and is in fact
 independent from the "reflection" proof style. It is implemented as a
 linkable extension to the Coq system.

libssreflect-ocaml-dev: No summary available for libssreflect-ocaml-dev in ubuntu saucy.

No description available for libssreflect-ocaml-dev in ubuntu saucy.