libaac-tactics-ocaml_0.4-3_amd64.deb


Advertisement

Description

libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin)

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libaac-tactics-ocaml
Package version 0.4
Package release 3
Package architecture amd64
Package type deb
Installed size 673 B
Download size 125.30 KB
Official Mirror ftp.br.debian.org
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
This package provides the plugin itself.

Alternatives

Package Version Architecture Repository
libaac-tactics-ocaml_0.4-3_i386.deb 0.4 i386 Debian Main
libaac-tactics-ocaml - - -

Requires

Name Value
libc6 >= 2.2.5
libcoq-ocaml-arxq9 -
ocaml-base-nox-4.01.0 -

Provides

Name Value
libaac-tactics-ocaml-re315 -

Download

Type URL
Binary Package libaac-tactics-ocaml_0.4-3_amd64.deb
Source Package aac-tactics

Install Howto

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

Files

Path
/usr/lib/coq/user-contrib/AAC_tactics/aac.cmo
/usr/lib/coq/user-contrib/AAC_tactics/aac.cmxs
/usr/share/doc/libaac-tactics-ocaml/changelog.Debian.gz
/usr/share/doc/libaac-tactics-ocaml/changelog.gz
/usr/share/doc/libaac-tactics-ocaml/copyright

Changelog

2014-07-30 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.4-3) unstable; urgency=medium
* Recompile with coq 8.4pl4
2014-01-20 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.4-2) unstable; urgency=medium
* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update Vcs-*
2013-12-05 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.4-1) unstable; urgency=low
* New upstream release
2013-05-09 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.3.pl1-1) unstable; urgency=low
* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Upload to unstable
2012-09-22 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.3-2) experimental; urgency=low
* Fix FTBFS without natdynlink
* This version requires the bugfix introduced in coq 8.4dfsg-2
2012-09-21 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.3-1) experimental; urgency=low
* New upstream release
2012-06-09 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.2.pl2-7) unstable; urgency=low
* Recompile with camlp5 6.06 (no changes)
2012-04-01 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.2.pl2-6) unstable; urgency=medium
* Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)
2012-03-05 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.2.pl2-5) unstable; urgency=low
* Recompile with camlp5 6.04 (no changes)
2011-12-25 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.2.pl2-4) unstable; urgency=low
* Rebuild with Coq 8.3pl3 (no source changes)

See Also

Package Description
libaacs-dev_0.7.1-1+b1_amd64.deb free-and-libre implementation of AACS (development files)
libaacs0_0.7.1-1+b1_amd64.deb free-and-libre implementation of AACS
libaal-dev_1.0.6-1_amd64.deb Reiser4's application abstraction library: Development files
libabiword-3.0-dev_3.0.0-8+b1_amd64.deb efficient, featureful word processor with collaboration -- development files
libabiword-3.0_3.0.0-8+b1_amd64.deb efficient, featureful word processor with collaboration -- shared library
libabw-0.1-1_0.1.0-2_amd64.deb library for reading and writing AbiWord(tm) documents
libabw-dev_0.1.0-2_amd64.deb library for reading and writing AbiWord(tm) documents -- development
libaccess-modifier-checker-java-doc_1.4-2_all.deb Documentation for libaccess-modifier-checker-java
libaccess-modifier-checker-java_1.4-2_all.deb Maven plugin for custom access modifier checking
libaccessors-perl_1.01-1_all.deb Perl module to create accessor methods in caller's package
libaccountsservice-dev_0.6.37-3+b1_amd64.deb query and manipulate user account information - header files
libaccountsservice-doc_0.6.37-3_all.deb query and manipulate user account information - documentation
libaccountsservice0_0.6.37-3+b1_amd64.deb query and manipulate user account information - shared libraries
libace-6.2.8_6.2.8+dfsg-1_amd64.deb C++ network programming framework
libace-dev_6.2.8+dfsg-1_amd64.deb C++ network programming framework - development files
Advertisement
Advertisement