libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_i386.deb


Advertisement

Description

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

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_i386.deb
Package name libaac-tactics-ocaml-dev
Package version 8.8.0+1.gbp069dc3b
Package release 1
Package architecture i386
Package type deb
Category devel::library ocaml role::devel-lib
Homepage https://github.com/coq-contribs/aac-tactics
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 37.05 KB
Installed size 393.00 KB

Alternatives

Package Version Architecture Repository
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb 8.8.0+1.gbp069dc3b amd64 Debian Main
libaac-tactics-ocaml-dev - - -

Requires

Name Value
camlp5-cunr4 -
libaac-tactics-ocaml-thpp4 -
libcoq-ocaml-dev-35sv0 -
ocaml-nox-4.05.0 -

Provides

Name Value
libaac-tactics-ocaml-dev-thpp4 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_i386.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_plugin.cmi
/usr/lib/coq/user-contrib/AAC_tactics/aac_rewrite.mli
/usr/lib/coq/user-contrib/AAC_tactics/coq.mli
/usr/lib/coq/user-contrib/AAC_tactics/helper.mli
/usr/lib/coq/user-contrib/AAC_tactics/matcher.mli
/usr/lib/coq/user-contrib/AAC_tactics/print.mli
/usr/lib/coq/user-contrib/AAC_tactics/search_monad.mli
/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/copyright
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Aac_rewrite.html
/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/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_extensions.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_Aac_rewrite.html
/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_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

2019-02-17 - Benjamin Barenblat <bbaren@debian.org>
aac-tactics (8.8.0+1.gbp069dc3b-1) unstable; urgency=medium
** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 **
* Team upload
* New upstream release
* Build an unreleased snapshot to support Coq 8.9 (Closes: 919463)
2017-10-09 - Stéphane Glondu <glondu@debian.org>
aac-tactics (8.6.1-2) unstable; urgency=medium
* Recompile with OCaml 4.05.0
2016-12-27 - Enrico Tassi <gareuselesinge@debian.org>
aac-tactics (8.6.1-1) unstable; urgency=medium
* Team upload
* New upstream release
* Remove patch 001-fix-typos, applied upstream
2016-07-23 - Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
aac-tactics (8.5.1-1) unstable; urgency=medium
* Team upload
* Imported Upstream version 8.5.1 (Closes: #813459)
* Use HTTPS for Vcs-* links
* New upstream URL & watch file
* Install .v files
* Fix installed docs
* Fix typos
* Bump Standards-Version to 3.9.8.
No change required
2015-10-14 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.4-5) unstable; urgency=medium
* Recompile with OCaml 4.02.3
2015-08-10 - Stéphane Glondu <glondu@debian.org>
aac-tactics (0.4-4) unstable; urgency=medium
* Fix Homepage URL
* Drop debian/watch
* Bump Standards-Version to 3.9.6
* Bump debhelper compat level to 9
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

See Also

Package Description
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_i386.deb Coq tactics for reasoning modulo AC (plugin)
libaacs-dev_0.9.0-2_i386.deb free-and-libre implementation of AACS (development files)
libaacs0_0.9.0-2_i386.deb free-and-libre implementation of AACS
libaal-dev_1.0.7-1_i386.deb Reiser4's application abstraction library: Development files
libabigail-dev_1.6-1_i386.deb ABI Generic Analysis and Instrumentation Library (development files)
libabigail0_1.6-1_i386.deb ABI Generic Analysis and Instrumentation Library (runtime)
libabiword-3.0_3.0.2-8+b1_i386.deb efficient, featureful word processor with collaboration -- shared library
libabiword-dev_3.0.2-8+b1_i386.deb efficient, featureful word processor with collaboration -- development files
libabw-0.1-1_0.1.2-1_i386.deb library for reading and writing AbiWord(tm) documents
libabw-dev_0.1.2-1_i386.deb library for reading and writing AbiWord(tm) documents -- development
libaccess-modifier-checker-java-doc_1.14-1_all.deb Documentation for libaccess-modifier-checker-java
libaccess-modifier-checker-java_1.16-1_all.deb Maven plugin for custom access modifier checking
libaccessodf-java_0.1.1~b-1_all.deb library for checking accessibility in ODF/ODT documents using Libreoffice
libaccessors-perl_1.01-2_all.deb Perl module to create accessor methods in caller's package
libaccounts-glib-dev_1.23-1_i386.deb Accounts database access - development files
Advertisement
Advertisement