libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_i386.deb


Advertisement

Description

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

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

Alternatives

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

Requires

Name Value
libc6 >= 2.1.3
libcoq-ocaml-35sv0 -
ocaml-base-nox-4.05.0 -

Provides

Name Value
libaac-tactics-ocaml-thpp4 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libaac-tactics-ocaml_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 deb package:
    # sudo apt-get install libaac-tactics-ocaml

Files

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

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
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
libaccounts-glib-doc_1.23-1_all.deb Accounts database access - documentation
Advertisement
Advertisement