aac-tactics 8.8.0+1.gbp069dc3b-1build4 source package in Ubuntu
Changelog
aac-tactics (8.8.0+1.gbp069dc3b-1build4) eoan; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Wed, 21 Aug 2019 19:02:25 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Eoan
- 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.8.0+1.gbp069dc3b.orig.tar.gz | 64.4 KiB | 2a4273bfcd7be376077c8160f949272e0028b66d69bfaddce66129b47267a95f |
| aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz | 3.5 KiB | 2892a77b83ecef757e7c447da14fd88c711017246fd758394db28b4d6ff8e4d7 |
| aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc | 2.2 KiB | 0d111f0df5167f42e17fad45ba4de08218b4fba7b00a25733a8bf66669c74f0c |
Available diffs
Binary packages built by this source
- libaac-tactics-coq: No summary available for libaac-tactics-coq in ubuntu eoan.
No description available for libaac-tactics-coq in ubuntu eoan.
- 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: No summary available for libaac-tactics-ocaml-dbgsym in ubuntu eoan.
No description available for libaac-
tactics- ocaml-dbgsym in ubuntu eoan.
- libaac-tactics-ocaml-dev: No summary available for libaac-tactics-ocaml-dev in ubuntu eoan.
No description available for libaac-
tactics- ocaml-dev in ubuntu eoan.
