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
Component:
main
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 MD5 Checksum
aac-tactics_0.4-2.dsc 2.1 KiB 23d9a1d6b6aa5bbe3636ca49036dc8df
aac-tactics_0.4.orig.tar.gz 75.5 KiB 6ea20f8288d6870d3baba0b5c940a9d4
aac-tactics_0.4-2.debian.tar.xz 2.8 KiB dabe46c2116ca2c60400d26cea44a08f

Available diffs

No changes file available.

Binary packages built by this source

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

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

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.