libssreflect-ocaml_1.3pl4-1_i386.deb


Advertisement

Description

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

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Main i386
Package name libssreflect-ocaml
Package version 1.3pl4
Package release 1
Package architecture i386
Package type deb
Installed size 1.52 KB
Download size 394.84 KB
Official Mirror ftp.br.debian.org
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.

Alternatives

Package Version Architecture Repository
libssreflect-ocaml_1.3pl4-1_amd64.deb 1.3pl4 amd64 Debian Main
libssreflect-ocaml - - -

Requires

Name Value
libc6 >= 2.1.3
libcoq-ocaml-9fp12 -
ocaml-base-nox-3.12.1 -

Provides

Name Value
libssreflect-ocaml-vtgh9 -

Download

Type URL
Binary Package libssreflect-ocaml_1.3pl4-1_i386.deb
Source Package ssreflect

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libssreflect-ocaml deb package:
    # sudo apt-get install libssreflect-ocaml

Files

Path
/usr/lib/coq/user-contrib/Ssreflect/ssreflect.cmo
/usr/lib/coq/user-contrib/Ssreflect/ssreflect.cmxs
/usr/share/doc/libssreflect-ocaml/changelog.Debian.gz
/usr/share/doc/libssreflect-ocaml/copyright

Changelog

2012-06-09 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3pl4-1) unstable; urgency=low
* New upstream release
* Put debian/copyright in format 1.0
* Bump Standards-Version to 3.9.3
2012-04-01 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3pl2-4) unstable; urgency=medium
* Fix compilation with camlp5 6.05 and coq 8.3pl4
2012-03-06 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3pl2-3) unstable; urgency=low
* Recompile with camlp5 6.04 (no changes)
2011-12-25 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3pl2-2) unstable; urgency=low
* Rebuild with Coq 8.3pl3
- cherry-pick patch from coq-contrib to fix FTBFS with Coq 8.3pl3
2011-11-22 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3pl2-1) unstable; urgency=low
* New upstream release
2011-11-03 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3pl1-5) unstable; urgency=low
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)
2011-04-24 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3pl1-4) unstable; urgency=low
* Build theories only when explicitly asked (fixes FTBFS on armel as
a side-effect)
2011-04-21 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3pl1-3) unstable; urgency=low
* Upload to unstable
2011-03-31 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3pl1-1) experimental; urgency=low
* New upstream release
2011-03-15 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.3-1) experimental; urgency=low
* New upstream release, compatible with Coq 8.3:
- remove 0001-Build-as-a-plugin.patch
- add 0001-Fix-tests-Make.patch
- this version is under CeCILL-B only; update debian/copyright
accordingly
* Bump Standards-Version to 3.9.1 (no changes)
* Update debian/watch

See Also

Package Description
libsss-sudo-dev_1.8.4-2_i386.deb Communicator library for sudo -- development files
libsss-sudo0_1.8.4-2_i386.deb Communicator library for sudo
libst-dev_1.9-3_i386.deb State Threads Library - Development files
libst1_1.9-3_i386.deb State Threads Library
libstaden-read-dev_1.12.4-1_i386.deb development files for libstaden-read
libstaden-read1_1.12.4-1_i386.deb Staden library for reading and writing DNA sequencing results
libstapler-adjunct-codemirror-java_1.1-1_all.deb Codemirror JS library for use with stapler
libstapler-adjunct-timeline-java-doc_1.3+dfsg-1_all.deb Documentation for Stapler Timeline
libstapler-adjunct-timeline-java_1.3+dfsg-1_all.deb Timeline visualisation library for use with stapler
libstapler-java-doc_1.182-1_all.deb Documentation for libstapler-java
libstapler-java_1.182-1_all.deb Stapler HTTP request handling engine
libstarlink-ast-dev_7.0.4+dfsg-1_i386.deb Handle World Coordinate Systems in Astronomy (development package)
libstarlink-ast-doc_7.0.4+dfsg-1_all.deb Handle World Coordinate Systems in Astronomy (documentation)
libstarlink-ast-err0_7.0.4+dfsg-1_i386.deb Handle World Coordinate Systems in Astronomy (error reporting)
libstarlink-ast-grf3d0_7.0.4+dfsg-1_i386.deb Handle World Coordinate Systems in Astronomy (dummy 3d routines)
Advertisement
Advertisement