aac-tactics 8.9.0-1 source package in Ubuntu
Changelog
aac-tactics (8.9.0-1) unstable; urgency=medium * New upstream release * Update Homepage and debian/watch * Bump debhelper compat level to 12 * Bump Standards-Version to 4.5.0 * Add Rules-Requires-Root: no -- Stéphane Glondu <email address hidden> Sun, 02 Feb 2020 15:16:42 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| aac-tactics_8.9.0-1.dsc | 1.9 KiB | 222812205c8423bbb517f1b7c4f20b0519d8a96e9b2f66849fd7683952532644 |
| aac-tactics_8.9.0.orig.tar.gz | 64.9 KiB | e9ddb31522aa3075c274b65a46fe204d67762b9efc5c59689f521c8180b70821 |
| aac-tactics_8.9.0-1.debian.tar.xz | 3.3 KiB | c45fafdc3e3a69cc4476e37adc27156a151bbcc51ed53dba3ad75aa1e71b8286 |
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-dbgsym: debug symbols for libaac-tactics-ocaml
- 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.
