aac-tactics 0.4-2 source package in Ubuntu

Changelog

aac-tactics (0.4-2) unstable; urgency=medium


  * Recompile with coq 8.4pl3
  * Bump Standards-Version to 3.9.5 (no changes)
  * Update Vcs-*

 -- St├ęphane Glondu <email address hidden>  Mon, 20 Jan 2014 08:22:59 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers on 2014-01-20
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release on 2014-01-21 universe math

Downloads

File Size SHA-256 Checksum
aac-tactics_0.4-2.dsc 2.1 KiB 5dcb8dd334283b7722313048244578bf6da042b21435d8b91dd2517dec36f6a7
aac-tactics_0.4.orig.tar.gz 75.5 KiB 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e
aac-tactics_0.4-2.debian.tar.xz 2.8 KiB ca3821d829cb1e0650b6b37a74c2080dc387f823257d803355b362d52d523dbc

Available diffs

No changes file available.

Binary packages built by this source

libaac-tactics-coq: No summary available for libaac-tactics-coq in ubuntu utopic.

No description available for libaac-tactics-coq in ubuntu utopic.

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

 This Coq plugin provides tactics for rewriting universally quantified
 equations, modulo associative (and possibly commutative) operators.
 .
 This package provides the plugin itself.

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

 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.