libaac-tactics-ocaml-dev_0.4-3_amd64.deb


Advertisement

Description

libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libaac-tactics-ocaml-dev
Package version 0.4
Package release 3
Package architecture amd64
Package type deb
Installed size 447 B
Download size 44.25 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 static native-code library, needed to build
custom toplevels, and the compiled interfaces.

Alternatives

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

Requires

Name Value
camlp5-ejbq9 -
libaac-tactics-ocaml-re315 -
libcoq-ocaml-dev-arxq9 -
ocaml-nox-4.01.0 -

Provides

Name Value
libaac-tactics-ocaml-dev-re315 -

Download

Type URL
Binary Package libaac-tactics-ocaml-dev_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-dev deb package:
    # sudo apt-get install libaac-tactics-ocaml-dev

Files

Path
/usr/lib/coq/user-contrib/AAC_tactics/aac.cmi
/usr/lib/coq/user-contrib/AAC_tactics/coq.cmi
/usr/lib/coq/user-contrib/AAC_tactics/coq.mli
/usr/lib/coq/user-contrib/AAC_tactics/evm_compute.cmi
/usr/lib/coq/user-contrib/AAC_tactics/evm_compute.mli
/usr/lib/coq/user-contrib/AAC_tactics/helper.cmi
/usr/lib/coq/user-contrib/AAC_tactics/helper.mli
/usr/lib/coq/user-contrib/AAC_tactics/matcher.cmi
/usr/lib/coq/user-contrib/AAC_tactics/matcher.mli
/usr/lib/coq/user-contrib/AAC_tactics/print.cmi
/usr/lib/coq/user-contrib/AAC_tactics/print.mli
/usr/lib/coq/user-contrib/AAC_tactics/rewrite.cmi
/usr/lib/coq/user-contrib/AAC_tactics/search_monad.cmi
/usr/lib/coq/user-contrib/AAC_tactics/search_monad.mli
/usr/lib/coq/user-contrib/AAC_tactics/theory.cmi
/usr/lib/coq/user-contrib/AAC_tactics/theory.mli
/usr/share/doc-base/libaac-tactics-ocaml-dev.doc-base.apiref
/usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libaac-tactics-ocaml-dev/changelog.gz
/usr/share/doc/libaac-tactics-ocaml-dev/copyright
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Bool.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Classes.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Comparison.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Equivalence.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Leibniz.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.List.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Nat.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Option.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pair.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pos.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Relation.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Rewrite.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Transitive.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Evm_compute.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.CONTROL.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.Debug.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Subst.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Terms.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Print.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Search_monad.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sigma.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Stubs.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sym.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Trans.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_attributes.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_class_types.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_classes.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_exceptions.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_methods.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_module_types.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_modules.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_types.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_values.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/style.css
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Bool.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Classes.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Comparison.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Equivalence.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Leibniz.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.List.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Nat.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Option.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pair.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pos.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Relation.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Rewrite.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Transitive.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Evm_compute.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.CONTROL.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.Debug.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Subst.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Terms.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Print.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Search_monad.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sigma.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Stubs.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sym.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Trans.html
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.html
/usr/share/lintian/overrides/libaac-tactics-ocaml-dev
/var/lib/ocaml/lintian/libaac-tactics-ocaml-dev.info
/var/lib/ocaml/md5sums/libaac-tactics-ocaml-dev.md5sums

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_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
libace-6.2.8_6.2.8+dfsg-1_amd64.deb C++ network programming framework
Advertisement
Advertisement