ssreflect_1.2+dfsg-1_amd64.changes is NEW
(new) libssreflect-coq_1.2+dfsg-1_all.deb extra math
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
This package installs the full Ssreflect distribution.
(new) libssreflect-ocaml_1.2+dfsg-1_amd64.deb extra math
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.
(new) ssreflect_1.2+dfsg-1.diff.gz extra math
(new) ssreflect_1.2+dfsg-1.dsc extra math
(new) ssreflect_1.2+dfsg.orig.tar.gz extra math
Changes: ssreflect (1.2+dfsg-1) unstable; urgency=low
* Initial release (Closes: #508468)
Override entries for your package:
Announcing to email@example.com
Closing bugs: 508468
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.