Debian
aac-tactics package

aac-tactics 0.3-2 source package in Debian

Changelog

aac-tactics (0.3-2) experimental; urgency=low


  * Fix FTBFS without natdynlink
  * This version requires the bugfix introduced in coq 8.4dfsg-2

 -- Stéphane Glondu <email address hidden>  Sat, 22 Sep 2012 16:08:20 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Experimental
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
aac-tactics_0.3-2.dsc 2.1 KiB b711c064929cc161578c883e96924784aad3b3621073e0f54600a822291549b0
aac-tactics_0.3.orig.tar.gz 72.5 KiB 24504f98e568dab99305cb9a11b678097489ed2561f14e9b24d3483bba67bf99
aac-tactics_0.3-2.debian.tar.gz 2.8 KiB b0b3f379fe9cb44e4858b8fbbefd7310ac1289d037ca163590ea407a9d86608d

No changes file available.

Binary packages built by this source