libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb


Advertisement

Description

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

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb
Package name libaac-tactics-coq
Package version 8.8.0+1.gbp069dc3b
Package release 1
Package architecture all
Package type deb
Category math role::shared-lib
Homepage https://github.com/coq-contribs/aac-tactics
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 215.53 KB
Installed size 1.50 MB

Alternatives

Package Version Architecture Repository
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb 8.8.0+1.gbp069dc3b all Debian Main
libaac-tactics-coq - - -

Requires

Name Value
coq-8.9.0+4.05.0 -
libaac-tactics-ocaml >= 8.8.0+1.gbp069dc3b-1

Provides

Name Value
aac-tactics -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_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.v
/usr/lib/coq/user-contrib/AAC_tactics/AAC.vo
/usr/lib/coq/user-contrib/AAC_tactics/Caveats.v
/usr/lib/coq/user-contrib/AAC_tactics/Caveats.vo
/usr/lib/coq/user-contrib/AAC_tactics/Instances.v
/usr/lib/coq/user-contrib/AAC_tactics/Instances.vo
/usr/lib/coq/user-contrib/AAC_tactics/Tutorial.v
/usr/lib/coq/user-contrib/AAC_tactics/Tutorial.vo
/usr/lib/coq/user-contrib/AAC_tactics/Utils.v
/usr/lib/coq/user-contrib/AAC_tactics/Utils.vo
/usr/share/doc-base/aac-tactics-theories
/usr/share/doc/libaac-tactics-coq/README.md.gz
/usr/share/doc/libaac-tactics-coq/changelog.Debian.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/AAC_tactics.Utils.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

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-dev_8.8.0+1.gbp069dc3b-1_i386.deb Coq tactics for reasoning modulo AC (devt files)
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
Advertisement
Advertisement