aac-tactics 8.17.0-3 source package in Debian

Changelog

aac-tactics (8.17.0-3) unstable; urgency=medium

  * Depend on ocaml instead of transitional ocaml-nox

 -- Stéphane Glondu <email address hidden>  Tue, 12 Sep 2023 07:51:26 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
aac-tactics_8.17.0-3.dsc 1.8 KiB 14463dc429ea62abefef33a7ba8f1d9a6b5b8252f25f4bc7c6a8ed96745edf20
aac-tactics_8.17.0.orig.tar.gz 73.9 KiB 361a5e175d2da10c41bab8863c480af97cd687bed8bbe7df5c41909f30a8a61a
aac-tactics_8.17.0-3.debian.tar.xz 3.6 KiB 08f6579d269a9083a895d76abe1a3c7979e10a996f64055e62e8f7d41bf4a83b

No changes file available.

Binary packages built by this source