libaac-tactics-coq_0.4-3_all.deb


Advertisement

Description

libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories)

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libaac-tactics-coq
Package version 0.4
Package release 3
Package architecture all
Package type deb
Installed size 1.38 KB
Download size 208.82 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 Coq support library.

Alternatives

Package Version Architecture Repository
libaac-tactics-coq_0.4-3_all.deb 0.4 all Debian Main
libaac-tactics-coq - - -

Requires

Name Value
coq-8.4pl4+4.01.0 -
libaac-tactics-ocaml >= 0.4-3

Provides

Name Value
aac-tactics -

Download

Type URL
Binary Package libaac-tactics-coq_0.4-3_all.deb
Source Package aac-tactics

Install Howto

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

Files

Path
/usr/lib/coq/user-contrib/AAC_tactics/AAC.vo
/usr/lib/coq/user-contrib/AAC_tactics/Caveats.vo
/usr/lib/coq/user-contrib/AAC_tactics/Instances.vo
/usr/lib/coq/user-contrib/AAC_tactics/Tutorial.vo
/usr/share/doc-base/aac-tactics-theories
/usr/share/doc/libaac-tactics-coq/README.txt
/usr/share/doc/libaac-tactics-coq/changelog.Debian.gz
/usr/share/doc/libaac-tactics-coq/changelog.gz
/usr/share/doc/libaac-tactics-coq/copyright
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.AAC.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Caveats.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Instances.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Tutorial.html
/usr/share/doc/libaac-tactics-coq/theories/coqdoc.css
/usr/share/doc/libaac-tactics-coq/theories/index.html
/usr/share/doc/libaac-tactics-coq/theories/toc.html

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
libaac-tactics-ocaml-dev_0.4-3_amd64.deb Coq tactics for reasoning modulo AC (devt files)
libaac-tactics-ocaml_0.4-3_amd64.deb Coq tactics for reasoning modulo AC (plugin)
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
Advertisement
Advertisement