aac-tactics 8.15.1-1 source package in Debian
Changelog
aac-tactics (8.15.1-1) unstable; urgency=medium * Team upload. * New upstream release. * Rename the libaac-tactics-coq binary package to libcoq-aac-tactics to follow the rest of the ecosystem in Debian. -- Julien Puydt <email address hidden> Sun, 03 Apr 2022 21:57:56 +0200
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 |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aac-tactics_8.15.1-1.dsc | 2.2 KiB | db9e7cbd428e3bb24df2e5d5e77b4a9ae9c133cf82b864714557919cfd99f0c5 |
aac-tactics_8.15.1.orig.tar.gz | 66.7 KiB | 6072291617423404da8941e0f885dd985ccc8900b085ad71c46cad18f84653c1 |
aac-tactics_8.15.1-1.debian.tar.xz | 3.6 KiB | e3266ccd8c8b18c97d65e70bd3f5456be1f2d678056b5a36b087fa3d100317da |
No changes file available.